<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>On the regularity of differential forms satisfying mixed boundary conditions in a class of Lipschitz domains</dc:title>
<dc:creator>Tunde Jakab</dc:creator><dc:creator>Irina Mitrea</dc:creator><dc:creator>Marius Mitrea</dc:creator>
<dc:subject>35B65</dc:subject><dc:subject>35F15</dc:subject><dc:subject>46E35</dc:subject><dc:subject>49F05</dc:subject><dc:subject>35B45</dc:subject><dc:subject>35J67</dc:subject><dc:subject>42B20</dc:subject><dc:subject>45B05</dc:subject><dc:subject>differential forms</dc:subject><dc:subject>Sobolev and Besov spaces</dc:subject><dc:subject>Lipschitz domains</dc:subject><dc:subject>regularity</dc:subject><dc:subject>Hodge-Dirac operator</dc:subject><dc:subject>boundary problems</dc:subject>
<dc:description>Let $\Omega \subset \mathbb{R}^n$ be a bounded Lipschitz domain, whose boundary decomposes into two disjoint pieces $\Sigma_t$, $\Sigma_n \subseteq \partial\Omega$, which meet at an angle $&lt; \pi$. Denote by $\nu$ the outward unit normal to $\Omega$. Then there exists $\varepsilon &gt; 0$ with the property that if $|2-p| &lt; \varepsilon$, then the following holds. Consider a vector field $u$ with components $u_1,\dots,u_n \in L^p(\Omega)$ such that \[\mathrm{div}\, u = \sum_{j=1}^n \partial_j u_j \in L^p(\Omega) \] and $\mathrm{curl} \, u = (\partial_j u_k - \partial_k u_j)_{1\leq j,k\leq n} \in L^p(\Omega)$. Set $\nu \cdot u = \sum_{j=1}^n \nu_j u_j$ and $\nu \times u = (\nu_j u_k - \nu_k u_j)_{1\leq j,k \leq n}$. Then the following are equivalent: \begin{enumerate}[label=(\roman*)] \item $(\nu \cdot u)|_{\Sigma_t} \in L^p(\Sigma_t)$ and $(\nu \times u)|_{\Sigma_n} \in L^p(\Sigma_n)$; \item $\nu \cdot u \in L^p(\partial\Omega)$; \item $\nu \times u \in L^p(\partial\Omega)$. \end{enumerate} Moreover, if either condition holds, then $u$ belongs to the Besov space $B^{p,\max(p,2)}_{1/p}(\Omega)$. In fact, similar results are valid for differential forms of arbitrary degree. This generalizes earlier work dealing with the case when $\Sigma_t = \emptyset$ or $\Sigma_n = \emptyset$.</dc:description>
<dc:publisher>Indiana University Mathematics Journal</dc:publisher>
<dc:date>2009</dc:date>
<dc:type>text</dc:type>
<dc:format>pdf</dc:format>
<dc:identifier>10.1512/iumj.2009.58.3678</dc:identifier>
<dc:source>10.1512/iumj.2009.58.3678</dc:source>
<dc:language>en</dc:language>
<dc:relation>Indiana Univ. Math. J. 58 (2009) 2043 - 2072</dc:relation>
<dc:coverage>state-of-the-art mathematics</dc:coverage>
<dc:rights>http://iumj.org/access/</dc:rights>
</oai_dc:dc>