Optimal estimates for the inhomogeneous problem for the bi-Laplacian in three-dimensional Lipschitz domains (Q549420)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Optimal estimates for the inhomogeneous problem for the bi-Laplacian in three-dimensional Lipschitz domains
scientific article

    Statements

    Optimal estimates for the inhomogeneous problem for the bi-Laplacian in three-dimensional Lipschitz domains (English)
    0 references
    0 references
    0 references
    18 July 2011
    0 references
    Let \(\Omega\) be a bounded Lipschitz domain of \({\mathbb R}^3\). Let \(B^{p,q}_s\) and \(F^{p,q}_s\) be the Besov and Triebel-Lizorkin spaces of \(\Omega\) or of its boundary. Then there esists \(\epsilon(\Omega) > 0\) with the following property: let \(q \in ]0, \infty]\) and \(s,p\) such that either of the following two conditions holds: \(0 \leq {1 \over p} < {s \over 2} + {{1 + \epsilon(\Omega)} \over 2}\) and \(0 < s < \epsilon(\Omega)\), \(-{{\epsilon(\Omega)} \over 2} < {1 \over p} - {s \over 2} < {{1 + \epsilon(\Omega)} \over 2}\) and \(\epsilon(\Omega) \leq s < 1\); let \(f \in B^{p,q}_{s + {1 \over p} - 3}(\Omega)\) [resp. \(f \in F^{p,q}_{s+ {1 \over p} - 3} (\Omega)\)], \(f_0 \in B^{p,q}_s (\partial \Omega)\) [resp. \(f_0 \in B^{p,p}_s (\partial \Omega)\)], \(f_j \in B^{p,q}_s (\partial \Omega)\) [resp. \(f_j \in B^{p,p}_s (\partial \Omega)\)] for \(j \in \{1,2,3\}\), where \((\nu_j \partial_k - \nu_k \partial_j) f_0 = \nu_j f_k - \nu_k f_j\) for \(j, k \in \{1,2,3\}\), \(\nu\) being the unit normal. Then there exists a unique solution \(u \in B^{p,q}_{s + {1 \over p} + 1}(\Omega)\) [resp. \(F^{p,q}_{s + {1 \over p} + 1}(\Omega)\) if \(p,q < \infty\)] of \(\Delta ^2 u = f, \; \text{tr} \, u = f_0, \; \text{tr} \, \partial_j u = f_j\) for \(j \in \{1,2,3\}\), \(\text{tr}\) being the boundary trace operator. Moreover there exists \(C(\Omega,s,p) > 0\) such that \(|u|_{B^{p,q}_{s + {1 \over p} + 1}(\Omega)} \leq C(\Omega,s,p) (|f|_{B^{p,q}_{s + {1 \over p} - 3}(\Omega)} + \sum _{j=0}^3 |f_j|_{B^{p,q}_s (\partial \Omega)})\) and if \(1 < q < \infty\), \(s, {1 \over p} \in ]0,1[\) and \(f=0\) then \(u(x)=\int_{\partial \Omega} |x-y| g_0(y) d \sigma + \sum _{j=1}^3\int_{\partial \Omega}{{x_j-y_j} \over {|x-y|}} g_j(y) d \sigma\) for \(x\in\Omega\), for some \(g_j \in B^{p,q}_{s-1} (\partial \Omega)\) (\(j \in \{0,1,2,3\}\)).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references