Solusi kuat dan lemah dari PDE

13

Bentuk PDE yang kuat mensyaratkan bahwa solusi yang tidak diketahui milik . Tetapi bentuk lemah hanya mensyaratkan bahwa solusi yang tidak diketahui milik H 1 .H2H1

Bagaimana Anda mendamaikan ini?

Mohamed Cheddadi
sumber
8
Kelas solusi lemah lebih besar dari kelas solusi kuat (setiap solusi kuat juga merupakan solusi lemah, tetapi tidak setiap solusi lemah juga merupakan solusi kuat).
Christian Clason
1
Tetapi hanya ada satu solusi.
Mohamed Cheddadi
6
Ada satu solusi untuk setiap fungsi sisi kanan (tepat) atau serangkaian kondisi batas (tepat). Ruang RHS atau BC yang tepat lebih besar untuk solusi lemah daripada yang kuat.
Bill Barth

Jawaban:

22

Mari kita lihat kasus persamaan Poisson yang paling sederhana

(1)Δu=f
pada domain ΩRn bersama-sama dengan kondisi Dirichlet yang homogen
(2)u|Ω=0
pada batas Ω dari Ω . Kami berasumsi untuk saat ini yang Ω adalah sebagai halus seperti yang kita inginkan (misalnya, dapat parametrized oleh C fungsi) - ini akan menjadi penting kemudian.

Pertanyaannya sekarang adalah bagaimana menafsirkan PDE (1) murni formal) ( 1 ) . Biasanya, ini dijawab dengan cara menafsirkan turunan Δ , tetapi untuk tujuan kami lebih baik fokus pada bagaimana menafsirkan persamaan .

  1. PDE (1) diasumsikan berpegang teguh pada setiap xΩ . Agar ini masuk akal, sisi kanan f harus kontinu, jika tidak, kita tidak dapat berbicara tentang nilai-nilai titik f(x) . Ini berarti bahwa turunan (klasik) kedua dari solusi u harus kontinu, yaitu, kita harus mencari uC2(Ω) .

    Fungsi uC2(Ω) yang memuaskan (1)bersama-sama dengan kondisi batas (2) searahnya disebut solusi klasik (kadang-kadang, sayangnya, juga solusi kuat ).

  2. Persyaratan bahwa f adalah kontinu terlalu ketat untuk aplikasi praktis. Jika kita hanya mengasumsikan (1) berpegang teguh pada hampir setiap xΩ (yaitu, di mana-mana kecuali untuk set Lebesgue ukuran nol), maka kita bisa lolos dengan fL2(Ω) . Ini berarti bahwa turunan kedua adalah fungsi dalam L2 , yang masuk akal jika kita mengambil turunan yang lemah dan karenanya mencari uH2(Ω)H01(Ω) . (Ingat bahwa untuk fungsiu yang tidak terus menerus, kita tidak bisa mengambil syarat batas(2) pointwise. SejakΩ memiliki nol Lebesgue mengukur sebagai bagian dariΩ¯ , pointwise hampir di mana-mana tidak masuk akal baik.)

    Sebuah fungsiuH2(Ω)H01(Ω) yang memenuhi(1) hampir di semua tempat disebutsolusi kuat. Perhatikan bahwa secara umum perlu dan non-sepele untuk menunjukkan bahwa solusi seperti itu ada dan unik (yang merupakan kasus untuk contoh di sini).

  3. f(1)H1(Ω)H01(Ω)fH1(Ω)L2(Ω)(1)

    (3)Ωu(x)v(x)dx=Ωf(x)v(x)dxfor all vH01(Ω).

    uH01(Ω)(3)

H2(Ω)H1(Ω)

  • (3)uH2(Ω)fL2(Ω)H1(Ω)n=2H2(Ω)C(Ω¯)Ω

  • fL2(Ω)

  • H01(Ω)H2(Ω), atau lebih rumit, persamaan nonlinier; lihat, misalnya, http://www.numdam.org/item/JEDP_2015____A10_0/ .)

Christian Clason
sumber
Saya menemukan jawaban ini sangat berguna. Bisakah Anda memberikan referensi ke bagian terakhir dari jawaban Anda? Saya ingin melihat contoh di mana PDE memiliki solusi kuat yang unik tetapi memungkinkan beberapa solusi lemah. Terima kasih!
Induction601