Bất đẳng thức Agmon

Trong giải tích toán học, các bất đẳng thức Agmon bao gồm hai bất đẳng thức nội suy có liên quan chặt chẽ giữa các không gian $L^{\mathrm{\infty }}$ và không gian Sobolev $H^s$, rất hữu ích trong việc nghiên cứu các phương trình đạo hàm riêng. Kết quả này được đặt tên theo Shmuel Agmon, nhà toán học người Israel.

Phát biểu

Cho $u\in H^2(\mathrm{\Omega })\cap H_0^1(\mathrm{\Omega })$, trong đó $\mathrm{\Omega }\subset {ℝ}^k$ với $k=2,3$ khi đó bất đẳng thức Agmon khẳng định tồn tại hằng số $C$ sao cho

• Trường hợp $k=2$:

$\Vert u{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}\le C\Vert u{\Vert }_{L^2(\mathrm{\Omega })}^{1/2}\Vert u{\Vert }_{H^2(\mathrm{\Omega })}^{1/2}$

• Trường hợp $k=3$:

$\Vert u{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}\le C\Vert u{\Vert }_{H^1(\mathrm{\Omega })}^{1/2}\Vert u{\Vert }_{H^2(\mathrm{\Omega })}^{1/2}$

và

$\Vert u{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}\le C\Vert u{\Vert }_{L^2(\mathrm{\Omega })}^{1/4}\Vert u{\Vert }_{H^2(\mathrm{\Omega })}^{3/4}$.

• Đối với trường hợp tổng quát $n-$chiều: chọn $s_1,s_2$ sao cho $s_1<\frac{n}{2}<s_2$. Khi đó, nếu $0<\theta <1$ và $\frac{n}{2}=\theta s_1+(1-\theta )s_2$, tồn tại hằng số $C$ sao cho

$\Vert u{\Vert }_{L^{\mathrm{\infty }}(\mathrm{\Omega })}\le C\Vert u{\Vert }_{H^{s_1}(\mathrm{\Omega })}^{\theta }\Vert u{\Vert }_{H^{s_2}(\mathrm{\Omega })}^{1-\theta }$

với mọi $u\in H^{s_2}(\mathrm{\Omega })$.

Xem thêm

• Bất đẳng thức Ladyzhenskaya

Tài liệu tham khảo

• Agmon, Shmuel (2010). Lectures on elliptic boundary value problems. Providence, RI: AMS Chelsea Publishing. ISBN 978-0-8218-4910-1.
• Foias, Ciprian; Manley, O.; Rosa, R.; Temam, R. (2001). Navier-Stokes Equations and Turbulence. Cambridge: Cambridge University Press. ISBN 0-521-36032-3.