Domínio de Lipschitz

Predefinição:Sem notas Na matemática, o domínio de Lipschitz (ou domínio com fronteira de Lipschitz) é um domínio no espaço Euclidiano cujas fronteiras são "suficientemente regulares" no sentido que pode ser considerada como se fosse o gráfico de uma função Lipschitz contínua. O termo foi nomeado após o matemático alemão Rudolf Lipschitz.

Esses domínios também são chamados de domínios fortes de Lipschitz como contraste dos domínios fracos de Lipschitz, que são uma classe mais geral de domínios. Um domínio fraco de Lipschitz é um domínio cujas fronteiras são localmente planificadas.

Definição

Seja $n\in \mathbb {N}$. Tomamos $\Omega$ como um subconjunto aberto e limitado em $\mathbb {R} ^{n}$ e $\partial \Omega$ denotar as fronteiras de $\Omega$. Então $\Omega$ é chamado de domínio de Lipschitz se para cada ponto Falhou a verificação gramatical (⧼mw_math_mathml⧽: Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle p \in \partial\Omega} existe um hiperplano $H$ de dimensão $n-1$ através de $p$, uma função contínua de Lipschitz $g:H\rightarrow \mathbb {R}$ em cima do hiperplano e os valores de $r>0$ e $h>0$ tal que

• $\Omega \cap C=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ -h<y<g(x)\right\}$
• $(\partial \Omega )\cap C=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ g(x)=y\right\}$

Onde

${\vec {n}}$ é um vetor unitário que é normal à $H$,

$B_{r}(p):=\{x\in \mathbb {R} ^{n}\mid \|x-p\|<r\}$,

$C:=\left\{x+y{\vec {n}}\mid x\in B_{r}(p)\cap H,\ -h<y<h\right\}$.

Mais geralmente, $\Omega$ é dito ser Lipschitz fraco se para cada ponto $p\in \partial \Omega$ existe um raio $r>0$e $l_{p}:B_{r}(p)\rightarrow Q$ tal que

• $l_{p}$ é bijetora;
• $l_{p}$ e $l_{p}^{-1}$ são ambas funções contínuas de Lipschitz;
• $l_{p}\left(\partial \Omega \cap B_{r}(p)\right)=Q_{0}$;
• $l_{p}\left(\Omega \cap B_{r}(p)\right)=Q_{+}$;

onde $Q$ denota a bola unitária $B_{1}(0)$ em $\mathbb {R} ^{n}$ e

$Q_{0}:=\{(x_{1},\ldots ,x_{n})\in Q\mid x_{n}=0\}$;

$Q_{+}:=\{(x_{1},\ldots ,x_{n})\in Q\mid x_{n}>0\}$.

Aplicações

Muitas das desigualdades de Sobolev requerem que o domínio de estudo seja um domínio de Lipschitz. Consequentemente, muitas equações diferenciais parciais e cálculos variacionais sejam definidas em domínios de Lipschitz.

Referências

Dacorogna, B. (2004). Introduction to the Calculus of Variations. [S.l.]: Imperial College Press, London. ISBN 1-86094-508-2