2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 функционал из $H_0^1(\Omega)^\perp$
Сообщение10.04.2010, 18:08 
Пусть $\Omega\subset \mathbb R^3$ --- ограниченная область (с кусочно-гладкой границей, если что).
Пусть $f\in (H^1(\Omega))^*$ --- линейный непрерывный функционал, равный нулю на всём $H_0^1(\Omega)$. Представим ли он в виде $f(v)=\int_{\partial\Omega} g v \, dS$, где $g\in L_2(\partial\Omega)$, а $v$ под интегралом понимается как след $v$ на $\partial\Omega$?

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение10.04.2010, 20:45 
Можно сформулировать вспомогательную задачу: существует ли (определённый хотя бы на всюду плотном множестве) линейный непрерывный оператор $C\colon L_2(\partial\Omega)\to H^1(\Omega)$?
(оператор $C$ будет правым обратным к оператору взятия следа $\cdot|_{\partial\Omega}$)

Если существует, то $f(C\, \cdot)\in (L_2(\partial\Omega))^*$, по лемме Рисса существует $\phi\in L_2(\partial\Omega)$, что $\forall s\in L_2(\partial\Omega)$ $f(Cs)=\int_{\partial\Omega}\phi s \, dS$, и остаётся заметить, что $f(v)=f(C (v|_{\partial\Omega}))$.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 10:02 
Думаю, что представим. Это следует из того, что в $H^1\left(\Omega\right)$ можно, в силу теоремы вложения, ввести эквивалентную норму
\left|u\right|_1=\left({\int\limits_\Omega{\left|{\nabla{u}}\right|^2dx}+\int\limits_{\partial\Omega }{\left|u\right|^2dS}}\right)^{1/2}.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 18:05 
Prokop, если я правильно понимаю Вашу идею, то нужно показать, что норма $|\cdot|_1$ любого элемента $w\in (H_0^1(\Omega))^\perp$ равна (или оценивается сверху) нормой следа $w$ на $\partial\Omega$.
Это было бы так, если бы $\int_\Omega |\nabla w|^2 \, dx$ равнялся нулю. Но ведь это ниоткуда не следует...

(Мы можем лишь записать $\int_\Omega \nabla w \nabla v \, dx=0$ для $\forall v\in H_0^1(\Omega)$)

P.S. Скалярное произведение (которое нужно для определения ортогонального дополнения $(H_0^1(\Omega))^\perp$ ) я понимаю в следующем смысле: $[u,v]=\int_\Omega \nabla u \nabla v \, dx + \int_{\partial \Omega} uv \, dS$. При этом $|u|_1=\sqrt{[u,u]}$.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 18:45 
Да Вы правы. Возможно, это и есть ответ на Ваш вопрос.
Линейный непрерывный функционал наH^1\left(\Omega\right), равный нулю на всём
H_0^1\left(\Omega \right), представим в виде
\int\limits_\Omega {\left( {\nabla w,\nabla u}\right)dx}+\int\limits_{\partial \Omega }{wudS},
где w - гармоническая функция.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 18:50 
nckg в сообщении #308509 писал(а):
Prokop, если я правильно понимаю Вашу идею, то нужно показать, что норма $|\cdot|_1$ любого элемента $w\in (H_0^1(\Omega))^\perp$ равна (или оценивается сверху) нормой следа $w$ на $\partial\Omega$.

Есть нестрогая идея как это доказать: Пусть $w\in (H_0^1(\Omega))^\perp$, а $\varphi_h$ --- функция, равная 1 на $\partial\Omega$, $0$ вне слоя толщиной $h$ вокруг $\partial\Omega$, и линейная внутри этого слоя. Тогда, т.к. $(1-\varphi_h)w\in H_0^1(\Omega)$, $|w|_1^2=|\varphi_h w|_1^2=\int_\Omega |\nabla(\varphi_h w)|^2 \, dx + \int_{\partal\Omega} w^2 \, dS$. И первый интеграл должен стремиться к \mathrm{const} $\int_{\partal\Omega} w^2$ \, dS при $h\to 0$...

Prokop в сообщении #308531 писал(а):
Да Вы правы.
Линейный непрерывный функционал на $H^1\left(\Omega\right)$, равный нулю на всём
$H_0^1\left(\Omega \right)$, представим в виде
$\int\limits_\Omega {\left( {\nabla w,\nabla u}\right)dx}+\int\limits_{\partial \Omega }{wudS}$,
где $w$ - гармоническая функция.

То, что он представим в таком виде - это следует из леммы Рисса. Но почему $w$ -- гармоническая?

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 19:01 
Из равенства
\int\limits_\Omega  {\left( {\nabla w,\nabla u} \right)dx}  = 0
для всех функций u \in H_0^1 \left( \Omega  \right).

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 19:11 
Да, согласен! Любая обобщённо-гармоническая функция - гармоническая.
Большое спасибо, Prokop!

-- Вс апр 11, 2010 19:29:32 --

хотя я немного поторопился, как всегда :oops:. Имеем:
$f(v)=\int\limits_\Omega {\left( {\nabla w,\nabla u}\right)dx}+\int\limits_{\partial \Omega }{wudS}$,
где $w$ - гармоническая функция. Но ведь отсюда ещё не следует, что первый интеграл равен нулю.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 20:27 
Да, не следует. Но ответ на Ваш вопрос получен. Надо к этому интегралу применить формулу интегрирования по частям.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 20:57 
интегрируя по частям, получим $\int_{\partial\Omega} \frac{\partial w}{\partial n} u dS$, но для этого нужно, чтобы существовало $\frac{\partial w}{\partial n}|_{\partial\Omega}$.

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение11.04.2010, 21:43 
Надо обратится к задаче Дирихле
\Delta w = 0 в области \Omega
w = w_0 на \partial \Omega
Оказывается, что оператор, сопоставляющий w_0 нормальную производную решения этой задачи ограничен в L_2 на границе (кажется, это верно даже для липшицевых границ).

-- Вс апр 11, 2010 22:57:57 --


 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение12.04.2010, 13:31 
А где можно об этом прочитать?

 
 
 
 Re: функционал из $H_0^1(\Omega)^\perp$
Сообщение12.04.2010, 16:32 
Это началось с метода потенциалов решения задач Дирихле и Неймана для уравнения Пуассона (в учебниках по мат. физике есть выражения для потенциалов простого и двойного слоя и можно попытаться самому получить нужные оценки). Конечно, это есть в книге Л. Хёрмандера, Анализ дифференциальных операторов с частными производными, т 3, гл. 17.3 и 20 (там же есть и исторические ссылки).

 
 
 [ Сообщений: 13 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group