If you do not find what you're looking for, you can use more accurate words.
الخطوة الأولى هو تحويل P1 و P2 إلى مكافئاتها المتحولية. إذا كان هو حل لـ P1، عندها من أجل أي دالة متصلة يحقق شروط الانتقال الحدي، مثلاً: عند و ، يكون لدينا
(1)
وبشكل معاكس، من أجل قيمة معطاة لـ فإن (1) تكون محققة من أجل أي دالة متصلة وعندها من الممكن أن يبرهن أن ستكون حلاً لـ P1 (برهان هذا ليس بالأمر السهل وهو يعتمد على فضاء سوبوليف).
وباستخدام التكامل بالأجزاء على يمين المعادلة (1) سنحصل على مايلي:
(2)
حيث تم افتراض أن .
من الممكن اعتبار أن هو عبارة عن تابع مستمر مطلق للثنائية بحيث أن عند و (انظر فضاء سوبوليف). مثل هذه التوابع تكون ضعيفة (قابلة للاشتقاق مرة واحدة) وتكشف عن الخريطة الخطية الثنائية المتناظرة ومن ثم تعرف جداء داخلي الذي يحول إلى فضاء هلبرت. ومن ناحية أخرى، فإن الطرف الأيسر هو أيضاً جداء داخلي، ولكن هذه المرة على الفضاء Lp . وتطبيق لمبرهنة تمثيل رايسز على فضاءات هلبرت يظهر أنه يوجد حل وحيد يحل (2) وبالتالي يحل المسألة P1.
إذا تم التكامل بالأجزاء باستخدام مبرهنة غرين حيث نجد أنه إذا كان هو حل لـ P2، فإنه من أجل أي يكون
حيث تحقق التدرج وترمز إلى الجداء الداخلي في المستوي ثنائي البعد.