English

Hierarchical construction of bounded solutions in critical regularity spaces

Analysis of PDEs 2014-09-16 v3 Functional Analysis

Abstract

We construct uniformly bounded solutions for the equations divU=f\text{div}\, U=f and curlU=F\text{curl}\, U=F in the critical cases fLd(Td,R)f \in L^d(T^d,R), and respectively, FL3(T3,R3)F \in L^3(T^3,R^3). Criticality in this context, manifests itself by the lack of linear solution operator mapping LdL^d to L(Td)L^\infty(T^d), Bourgain & Brezis \cite{BB03,BB07}. Thus, the intriguing aspect here is that although the problems are linear, the construction of their solution is not. Our constructions are special cases of a general framework for solving linear equations of the form TU=fT\, U=f, where TT is a linear operator densely defined in Banach space BB with a closed range in a (proper subspace) of Lebesgue space Lp(Ω)L^p(\Omega), and with an injective dual TT^*. The solutions are realized in terms of a multiscale {\em hierarchical representation}, U=j=1ujU=\sum_{j=1}^\infty u_j, interesting for its own sake. Here, the uju_j's are constructed recursively as minimizers of uj+1=arginfuuB+λj+1rjTuLppu_{j+1} = \text{arginf}_{u}{|u|_B+\lambda_{j+1} |r_j-T u |^p_{L^p}}, where the residuals rj:=fT(k=1juk)r_j:=f- T (\sum^j_{k=1} u_k) are resolved in terms of a dyadic sequence of scales λj+1=λ12j\lambda_{j+1} =\lambda_1 2^j with sufficiently large λ1\lambda_1. The nonlinear aspect of this construction is a counterpart of the fact that one cannot linearly solve TU=fT U =f in critical spaces.

Keywords

Cite

@article{arxiv.1003.1525,
  title  = {Hierarchical construction of bounded solutions in critical regularity spaces},
  author = {Eitan Tadmor},
  journal= {arXiv preprint arXiv:1003.1525},
  year   = {2014}
}