arXiv subjects

Bruno Poggi

Publications and source records attributed to Bruno Poggi.

14 recordsLinked to original sources

arXiv2026

On Serrin Interior Regularity Criterion for Navier-Stokes Equations

We revisit Serrin's interior spatial regularity criterion for distributional solutions to the Navier-Stokes equations in $\mathbb R^3$ and considerably relax the hypotheses in two main directions. More precisely, we show that if $u\in{L_t^{s'}L_x^s}$ locally is a distributional solution to the Navier-Stokes equations with $\frac2{s'}+\frac3s=1$ for $s'\in[4,\infty)$, then $u\in L^q_t(C_x^\infty)$ locally for all $q\in(2,s')$. If $s'\in(2,4)$, the same conclusion holds provided that in addition $u\in L_t^4(L_x^p)$ locally, for some $p>1$. In particular, we remove any integrability hypothesis on the vorticity, and we reduce the requirement of integrability in time all the way to $L^4$ from $L^\infty$. To achieve this, we employ a new bootstrap argument, distinct from Serrin's, and we argue that a reduction of the exponent in time integrability does not follow from Serrin's original argument.

math.AP↗

arXiv2026

The Dirichlet problem as the boundary of the Poisson problem: A sharp approximation result

On a bounded domain $\Omega\subset\mathbb R^{n+1}$, $n\geq2$, satisfying the corkscrew condition and with Ahlfors regular boundary, we characterize the dual space to the space ${\bf N}_{2,p}$ of functions $u$ whose Kenig-Pipher modified non-tangential maximal operator $\mathcal N_2(u)$ lies in $L^p(\partial\Omega)$, $p\in(1,\infty)$. We find that \[ ({\bf N}_{2,p})^*={\bf C}_{2,p'}\oplus L^{p'}(\partial\Omega),\qquad\text{and that}\qquad L^{p'}(\partial\Omega)=\partial^{\operatorname{weak}-*}{\bf C}_{2,p'}\,/\,{\bf C}_{2,p'}, \] where ${\bf C}_{2,p'}$ is a certain $L^{p'}$-Carleson space and $p'$ is the H\"older conjugate of $p$. This answers a question considered by Hyt\"onen and Ros\'en. Inspired by this result and the recently understood characterizations of the $L^p$-solvability of the Dirichlet problem in terms of the Poisson problem by Mourgoglou, Poggi, and Tolsa, we show a novel approximation result: for an arbitrary elliptic operator $L=-\operatorname{div} A\nabla$ with a not necessarily symmetric matrix $A$ of real bounded measurable coefficients, the solution space to the Dirichlet problem with data in $L^p(\partial\Omega)$ \[ \left\{\begin{aligned}-\operatorname{div} A\nabla u&=0,\quad&\text{in }&\Omega,\\u&=g,\quad&\text{on }&\partial\Omega,\end{aligned}\right. \] lies on the weak-$*$ boundary in ${\bf N}_{2,p}$ of the solution space to the Poisson problem \[ \left\{\begin{aligned}-\operatorname{div} A\nabla w&=-\operatorname{div} F,\qquad&\text{in }&\Omega,\\ w&=0,\qquad&\text{on }&\partial\Omega,\end{aligned}\right. \] with $F\in{\bf C}_{2,p}$, provided that the Dirichlet problem for $L$ with data in $L^p(\partial\Omega)$ is solvable in $\Omega$. This approximation result is sharp and new even for the Laplacian and on the unit ball.

math.AP↗

arXiv2023

The $A_\infty$ condition, $\varepsilon$-approximators, and Varopoulos extensions in uniform domains

Suppose that $\Omega \subset\mathbb R^{n+1}$, $n\geq1$, is a uniform domain with $n$-Ahlfors regular boundary and $L$ is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in $\Omega$. We show that the corresponding elliptic measure $\omega_L$ is quantitatively absolutely continuous with respect to surface measure of $\partial\Omega$ in the sense that $\omega_L \in A_\infty(\sigma)$ if and only if any bounded solution $u$ to $Lu = 0$ in $\Omega$ is $\varepsilon$-approximable for any $\varepsilon \in (0,1)$. By $\varepsilon$-approximability of $u$ we mean that there exists a function $\Phi = \Phi^\varepsilon$ such that $\|u-\Phi\|_{L^\infty(\Omega)} \le \varepsilon\|u\|_{L^\infty(\Omega)}$ and the measure $\widetilde{\mu}_\Phi$ with $d\widetilde{\mu} = |\nabla \Phi(Y)| \, dY$ is a Carleson measure with $L^\infty$ control over the Carleson norm. As a consequence of this approximability result, we show that boundary $\operatorname{BMO}$ functions with compact support can have Varopoulos-type extensions even in some sets with unrectifiable boundaries, that is, smooth extensions that converge non-tangentially back to the original data and that satisfy $L^1$-type Carleson measure estimates with $\operatorname{BMO}$ control over the Carleson norm. Our result complements the recent work of Hofmann and the third named author who showed the existence of these types of extensions in the presence of a quantitative rectifiability hypothesis.

math.AP↗

arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part II: Non-tangential maximal function estimates

This is the final part of a series of papers where we study perturbations of divergence form second order elliptic operators $-\operatorname{div} A \nabla$ by first and zero order terms, whose complex coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness (with natural non-tangential maximal function estimates) of the Dirichlet, Neumann and regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. Due to the lack of the classical De Giorgi-Nash-Moser theory in our setting, our method to prove the non-tangential maximal function estimates relies on a completely new argument: We obtain a certain weak-$L^p$ ''$N<S$'' estimate, which we eventually couple with square function bounds, weighted extrapolation theory, and a bootstrapping argument to recover the full $L^2$ bound. Finally, we show the existence and uniqueness of solutions in a relatively broad class. As a corollary, we claim the first results in an unbounded domain concerning the $L^p$-solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space.

math.AP↗

arXiv2023

Critical Perturbations for Second Order Elliptic Operators. Part I: Square function bounds for layer potentials

This is the first part of a series of two papers where we study perturbations of divergence form second order elliptic operators $-\mathop{\operatorname{div}} A \nabla$ by first and zero order terms, whose coefficients lie in critical spaces, via the method of layer potentials. In particular, we show that the $L^2$ well-posedness of the Dirichlet, Neumann and Regularity problems for complex Hermitian, block form, or constant-coefficient divergence form elliptic operators in the upper half-space are all stable under such perturbations. For instance, this allows us to claim the first results in the setting of an unbounded domain concerning the solvability of boundary value problems for the magnetic Schrödinger operator $-(\nabla-i{\bf a})^2+V$ when the magnetic potential ${\bf a}$ and the electric potential $V$ are accordingly small in the norm of a scale-invariant Lebesgue space. In the present paper, we establish $L^2$ control of the square function via a vector-valued $Tb$ theorem and abstract layer potentials, and use these square function bounds to obtain uniform slice bounds for solutions. The existence and uniqueness of solutions, as well as bounds for the non-tangential maximal operator, are considered in the upcoming paper.

math.AP↗

arXiv2023

On an almost sharp Liouville type theorem for fractional Navier-Stokes equations

We investigate existence, Liouville type theorems and regularity results for the 3D stationary and incompressible fractional Navier-Stokes equations: in this setting the usual Laplacian is replaced by its fractional power $(-Δ)^{\fracα{2}}$ with $0<α<2$. By applying a fixed point argument, weak solutions can be obtained in the Sobolev space $\dot{H}^{\fracα{2}}(\mathbb{R})$ and if we add an extra integrability condition, stated in terms of Lebesgue spaces, then we can prove for some values of $α$ that the zero function is the unique smooth solution. The additional integrability condition is almost sharp for $3/5<α<5/3$. Moreover, in the case $1<α<2$ a gain of regularity is established under some conditions, however the study of regularity in the regime $0<α\leq 1$ seems for the moment to be an open problem.

math.AP↗

arXiv2022

Generalized Carleson perturbations of elliptic operators and applications

We extend in two directions the notion of perturbations of Carleson type for the Dirichlet problem associated to an elliptic real second-order divergence-form (possibly degenerate, not necessarily symmetric) elliptic operator. First, in addition to the classical perturbations of Carleson type, that we call additive Carleson perturbations, we introduce scalar-multiplicative and antisymmetric Carleson perturbations, which both allow non-trivial differences at the boundary. Second, we consider domains which admit an elliptic PDE in a broad sense: we count as examples the 1-sided NTA (a.k.a. uniform) domains satisfying the capacity density condition, the 1-sided chord-arc domains, the domains with low-dimensional Ahlfors-David regular boundaries, and certain domains with mixed-dimensional boundaries; thus our methods provide a unified perspective on the Carleson perturbation theory of elliptic operators. Our proofs do not introduce sawtooth domains or the extrapolation method. We also present several applications to some Dahlberg-Kenig-Pipher operators, free-boundary problems, and we provide a new characterization of $A_{\infty}$ among elliptic measures.

math.AP↗

arXiv2022

Solvability of the Poisson-Dirichlet problem with interior data in $L^{p'}$-Carleson spaces and its applications to the $L^{p}$-regularity problem

We prove that the $L^{p'}$-solvability of the homogeneous Dirichlet problem for an elliptic operator $L=-\operatorname{div}A\nabla$ with real and merely bounded coefficients is equivalent to the $L^{p'}$-solvability of the Poisson Dirichlet problem $Lw=H-\operatorname{div} F$, which is defined in terms of an $L^{p'}$ estimate on the non-tangential maximal function, assuming that $\operatorname{dist}(\cdot, \partial \Omega) H$ and $F$ lie in certain $L^{p'}$-Carleson-type spaces, and that the domain $\Omega\subset\mathbb R^{n+1}$, $n\geq2$, satisfies the corkscrew condition and has $n$-Ahlfors regular boundary. In turn, we use this result to show that, in a bounded domain with uniformly $n$-rectifiable boundary that satisfies the corkscrew condition, $L^{p'}$-solvability of the homogeneous Dirichlet problem for an operator $L=-\operatorname{div} A\nabla$ satisfying the Dahlberg-Kenig-Pipher condition (of arbitrarily large constant) implies solvability of the $L^p$-regularity problem for the adjoint operator $L^*=-\operatorname{div} A^T \nabla$, where $1/p+1/p'=1$ and $A^T$ is the transpose matrix of $A$. This result for Dahlberg-Kenig-Pipher operators is new even if $\Omega$ is the unit ball, despite the fact that the $L^{p'}$-solvability of the Dirichlet problem for these operators in Lipschitz domains has been known since 2001. Further novel applications include i) new local estimates for the Green's function and its gradient in rough domains, ii) a local $T1$-type theorem for the $L^{p}$-solvability of the ``Poisson-Regularity problem'', itself equivalent to the $L^{p'}$-solvability of the homogeneous Dirichlet problem, in terms of certain gradient estimates for local landscape functions, and iii) new $L^p$ estimates for the eigenfunctions (and their gradients) of symmetric operators $L$ on bounded rough domains.

math.AP↗

arXiv2021

Applications of the landscape function for Schrödinger operators with singular potentials and irregular magnetic fields

We resolve both a conjecture and a problem of Z. Shen from the 90's regarding non-asymptotic bounds on the eigenvalue counting function of the magnetic Schrödinger operator $L_{{\bf a},V}=-(\nabla-i{\bf a})^2+V$ with a singular or irregular magnetic field ${\bf B}$ on $\mathbb R^n$, $n\geq3$. We do this by constructing a new landscape function for $L_{{\bf a},V}$, and proving its corresponding uncertainty principle, under certain directionality assumptions on ${\bf B}$, but with no assumption on $\nabla{\bf B}$. These results arise as applications of our study of the Filoche-Mayboroda landscape function $u$, a solution to the equation $L_Vu=-\operatorname{div} A\nabla u+Vu=1$, on unbounded Lipschitz domains in $\mathbb R^n$, $n\geq1$, and $0\leq V\in L^1_{\operatorname{loc}}$, under a mild decay condition on the Green's function. For $L_V$, we prove a priori exponential decay of Green's function, eigenfunctions, and Lax-Milgram solutions in an Agmon distance with weight $1/u$, which may degenerate. Similar a priori results hold for $L_{{\bf a},V}$. Furthermore, when $n\geq3$ and $V$ satisfies a scale-invariant Kato condition and a weak doubling property, we show that $1/\sqrt u$ is pointwise equivalent to the Fefferman-Phong-Shen maximal function $m(\cdot,V)$; in particular this gives a strong scale-invariant Harnack inequality for $u$, and a setting where the Agmon distance with weight $1/u$ is not too degenerate. Finally, we extend results from the literature for $L_{{\bf a},V}$ regarding exponential decay of the fundamental solution and eigenfunctions, to the situation of irregular magnetic fields with directionality assumptions.

math.AP↗

arXiv2020

Carleson perturbations of elliptic operators on domains with low dimensional boundaries

We prove an analogue of a perturbation result for the Dirichlet problem of divergence form elliptic operators by Fefferman, Kenig and Pipher, for the degenerate elliptic operators of David, Feneuil and Mayboroda, which were developed to study geometric and analytic properties of sets with boundaries whose co-dimension is higher than $1$. These operators are of the form $-\text{div} A\nabla$, where $A$ is a weighted elliptic matrix crafted to weigh the distance to the high co-dimension boundary in a way that allows for the nourishment of an elliptic theory. When this boundary is a $d-$Alhfors-David regular set in $\mathbb R^n$ with $d\in[1,n-1)$ and $n\geq3$, we prove that the membership of the harmonic measure in $A_{\infty}$ is preserved under Carleson measure perturbations of the matrix of coefficients, yielding in turn that the $L^p-$solvability of the Dirichlet problem is also stable under these perturbations (with possibly different $p$). If the Carleson measure perturbations are suitably small, we establish solvability of the Dirichlet problem in the same $L^p$ space. One of the corollaries of our results together with a previous result of David, Engelstein and Mayboroda, is that, given any $d$-ADR boundary $Γ$ with $d\in[1,n-2)$, $n\geq3$, there is a family of degenerate operators of the form described above whose harmonic measure is absolutely continuous with respect to the $d-$dimensional Hausdorff measure on $Γ$.

math.AP↗

arXiv2019

Failure to slide: a brief note on the interplay between the Kenig-Pipher condition and the absolute continuity of elliptic measures

In this note, we explore some consequences of the Modica-Mortola construction of a singular elliptic measure, as regards the link between the quantitative absolute continuity ($A_{\infty}$) of their approximations and the suitability of a well-known tool, the so-called Kenig-Pipher condition ($\operatorname{KP}$). The Kenig-Pipher condition is used to ascertain absolute continuity in the presence of some mild regularity of the coefficient matrix. We perform some modifications of the Modica-Mortola example to show the following two statements: (a) There are sequences of matrices for which both $\operatorname{KP}$ and the $A_{\infty}$ condition break down in the limit. (b) There are sequences of matrices for which $\operatorname{KP}$ breaks down but $A_{\infty}$ is preserved in the limit.

math.AP↗

arXiv2019

Exponential decay estimates for fundamental solutions of Schrödinger-type operators

In the present paper we establish sharp exponential decay estimates for operator and integral kernels of the (not necessarily self-adjoint) operators $L=-(\nabla-i\mathbf{a})^TA(\nabla-i\mathbf{a})+V$. The latter class includes, in particular, the magnetic Schrödinger operator $-\left(\nabla-i\mathbf{a}\right)^2+V$ and the generalized electric Schrödinger operator $-{\rm div }A\nabla+V$. Our exponential decay bounds rest on a generalization of the Fefferman-Phong uncertainty principle to the present context and are governed by the Agmon distance associated to the corresponding maximal function. In the presence of a scale-invariant Harnack inequality, for instance, for the generalized electric Schrödinger operator with real coefficients, we establish both lower and upper estimates for fundamental solutions, thus demonstrating sharpness of our results. The only previously known estimates of this type pertain to the classical Schrödinger operator $-Δ+V$.

math.AP↗

arXiv2019

Optimal Stefan Problem

We consider the inverse multiphase Stefan problem with homogeneous Dirichlet boundary condition on a bounded Lipschitz domain, where the density of the heat source is unknown in addition to the temperature and the phase transition boundaries. The variational formulation is pursued in the optimal control framework, where the density of the heat source is a control parameter, and the criteria for optimality is the minimization of the $L_2-$norm declination of the trace of the solution to the Stefan problem from a temperature measurement on the whole domain at the final time. The state vector solves the multiphase Stefan problem in a weak formulation, which is equivalent to Dirichlet problem for the quasilinear parabolic PDE with discontinuous coefficient. The optimal control problem is fully discretized using the method of finite differences. We prove the existence of the optimal control and the convergence of the discrete optimal control problems to the original problem both with respect to cost functional and control. In particular, the convergence of the method of finite differences for the weak solution of the multidimensional multiphase Stefan problem is proved. The proofs are based on achieving a uniform $L_{\infty}$ bound and $W_2^{1,1}$ energy estimate for the discrete multiphase Stefan problem.

math.AP↗

arXiv2017

Optimal Control of the Multiphase Stefan Problem

We consider the inverse multiphase Stefan problem, where information on the heat flux on the fixed boundary is missing and must be found along with the temperature and free boundaries. Optimal control framework is pursued, where boundary heat flux is the control, and the optimality criteria consist of the minimization of the $L_2$-norm declination of the trace of the solution to the Stefan problem from the temperature measurement on the fixed right boundary. The state vector solves multiphase Stefan problem in a weak formulation, which is equivalent to Neumann problem for the quasilinear parabolic PDE with discontinuous coefficient. Full discretization through finite differences is implemented and discrete optimal control problem is introduced. We prove well-posedness in a Sobolev space framework and convergence of discrete optimal control problems to the original problem both with respect to the cost functional and control. Along the way, the convergence of the method of finite differences for the weak solution of the multiphase Stefan problem is proved. The proof is based on achieving a uniform $L_{\infty}$ bound, and $W_2^{1,1}$-energy estimate for the discrete multiphase Stefan problem.

math.AP↗