Sobolev eşleniği - Sobolev conjugate - Wikipedia

Sobolev eşleniği nın-nin p için ${ displaystyle 1 leq p$, nerede n uzay boyutluluğudur

${ displaystyle p ^ {*} = { frac {pn} {n-p}}> p}$

Bu, önemli bir parametredir. Sobolev eşitsizlikleri.

Motivasyon

Bir soru ortaya çıkıyor sen -den Sobolev alanı ${ displaystyle W ^ {1, p} ( mathbb {R} ^ {n})}$ ait olmak ${ displaystyle L ^ {q} ( mathbb {R} ^ {n})}$ bazı q > p. Daha spesifik olarak, ne zaman ${ displaystyle | Du | _ {L ^ {p} ( mathbb {R} ^ {n})}}$ kontrol ${ displaystyle | u | _ {L ^ {q} ( mathbb {R} ^ {n})}}$? Aşağıdaki eşitsizliğin kontrol edilmesi kolaydır

${ displaystyle | u | _ {L ^ {q} ( mathbb {R} ^ {n})} leq C (p, q) | Du | _ {L ^ {p} ( mathbb {R} ^ {n})} qquad qquad (*)}$

keyfi için doğru olamaz q. Düşünmek ${ displaystyle u (x) in C_ {c} ^ { infty} ( mathbb {R} ^ {n})}$, kompakt destekli sonsuz farklılaştırılabilir işlev. Takdim etmek ${ displaystyle u _ { lambda} (x): = u ( lambda x)}$. Buna sahibiz:

${ displaystyle { begin {align} | u _ { lambda} | _ {L ^ {q} ( mathbb {R} ^ {n})} ^ {q} & = int _ { mathbb { R} ^ {n}} | u ( lambda x) | ^ {q} dx = { frac {1} { lambda ^ {n}}} int _ { mathbb {R} ^ {n}} | u (y) | ^ {q} dy = lambda ^ {- n} | u | _ {L ^ {q} ( mathbb {R} ^ {n})} ^ {q} | Du _ { lambda} | _ {L ^ {p} ( mathbb {R} ^ {n})} ^ {p} & = int _ { mathbb {R} ^ {n}} | lambda Du ( lambda x) | ^ {p} dx = { frac { lambda ^ {p}} { lambda ^ {n}}} int _ { mathbb {R} ^ {n}} | Du ( y) | ^ {p} dy = lambda ^ {pn} | Du | _ {L ^ {p} ( mathbb {R} ^ {n})} ^ {p} end {hizalı}}}$

İçin eşitsizlik (*) ${ displaystyle u _ { lambda}}$ aşağıdaki eşitsizlikle sonuçlanır ${ displaystyle u}$

${ displaystyle | u | _ {L ^ {q} ( mathbb {R} ^ {n})} leq lambda ^ {1 - { frac {n} {p}} + { frac { n} {q}}} C (p, q) | Du | _ {L ^ {p} ( mathbb {R} ^ {n})}}$

Eğer ${ displaystyle 1 - { frac {n} {p}} + { frac {n} {q}} neq 0,}$ sonra izin vererek ${ displaystyle lambda}$ sıfıra veya sonsuza gidersek bir çelişki elde ederiz. Böylece eşitsizlik (*) yalnızca

${ displaystyle q = { frac {pn} {n-p}}}$,

Sobolev eşleniği olan.

Ayrıca bakınız

• Sergei Lvovich Sobolev

Referanslar

• Lawrence C. Evans. Kısmi diferansiyel denklemler. Matematik Yüksek Lisans Çalışmaları, Cilt 19. American Mathematical Society. 1998. ISBN  0-8218-0772-2