-
The $L^p$ regularity problem for parabolic operators
Authors:
Martin Dindoš,
Linhan Li,
Jill Pipher
Abstract:
In this paper, we fully resolve the question of whether the Regularity problem for the parabolic PDE $-\partial_tu + \mbox{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic, has bounded and measurable coefficients and its coefficients satisfy a natural Carleson condition (a parabolic an…
▽ More
In this paper, we fully resolve the question of whether the Regularity problem for the parabolic PDE $-\partial_tu + \mbox{div}(A\nabla u)=0$ on a Lipschitz cylinder $\mathcal O\times\mathbb R$ is solvable for some $p\in (1,\infty)$ under the assumption that the matrix $A$ is elliptic, has bounded and measurable coefficients and its coefficients satisfy a natural Carleson condition (a parabolic analog of the so-called DKP-condition).
We prove that for some $p_0>1$ the Regularity problem is solvable in the range $(1,p_0)$. We note that answer to this question was not known even in the small Carleson case, that is, when the Carleson norm of coefficients is sufficiently small.
In the elliptic case the analogous question was only fully resolved recently independently by two groups, with two very different methods: one involving two of the authors and S. Hofmann, the second by M. Mourgoglou, B. Poggi and X. Tolsa. Our approach in the parabolic case is motivated by that of the first group, but in the parabolic setting there are significant new challenges.
△ Less
Submitted 13 January, 2025; v1 submitted 31 October, 2024;
originally announced October 2024.
-
A relation between the Dirichlet and the Regularity problem for Parabolic equations
Authors:
Martin Dindoš,
Erika Nyström
Abstract:
We study the relationship between the Dirichlet and Regularity problem for parabolic operators of the form $ L = \mbox{div}(A\nabla\cdot) - \partial_t $ on cylindrical domains $ Ω= \mathcal O \times \mathbb R $, where the base $ \mathcal O \subset \mathbb R^{n} $ is a $1$-sided chord arc domain (and for one result Lipschitz) in the spatial variables.
In the paper we answer the question when the…
▽ More
We study the relationship between the Dirichlet and Regularity problem for parabolic operators of the form $ L = \mbox{div}(A\nabla\cdot) - \partial_t $ on cylindrical domains $ Ω= \mathcal O \times \mathbb R $, where the base $ \mathcal O \subset \mathbb R^{n} $ is a $1$-sided chord arc domain (and for one result Lipschitz) in the spatial variables.
In the paper we answer the question when the solvability of the $L^p$ Regularity problem for $L$ (denoted by $ (R_L)_{p} $) can be deduced from the solvability of the $ L^{p'} $ Dirichlet problem for the adjoint operator $L^*$ (denoted $ (D_L^*)_{p'} $).
We show that this holds if for at least of $q\in(1,\infty)$ the problem $ (R_L)_{q} $ is solvable. That is, we establish a duality/dichotomy result: Dirichlet solvability implies Regularity solvability in the dual $L^p$ range, or the Regularity problem is not solvable in any $L^p$.
Results like these were only known in the elliptic settings (Kenig-Pipher (1993) and Shen (2006)) but are new for parabolic PDEs. Our result is one of the key components needed for the recent advancement of Dindoš, Li and Pipher in understanding solvability of the Regularity problem for operators whose coefficients satisfy certain natural Carleson condition (called also DKP-condition in the elliptic case).
△ Less
Submitted 21 May, 2025; v1 submitted 13 September, 2024;
originally announced September 2024.
-
On the regularity problem for parabolic operators and the role of half-time derivative
Authors:
Martin Dindoš
Abstract:
In this paper we present the following result on regularity of solutions of the second order parabolic equation $\partial_t u - \mbox{div} (A \nabla u)+B\cdot \nabla u=0$ on cylindrical domains of the form $Ω=\mathcal O\times\mathbb R$ where $\mathcal O\subset\mathbb R^n$ is a is a uniform domain (it satisfies both interior corkscrew and Harnack chain conditions) and has a boundary that is $n-1$-A…
▽ More
In this paper we present the following result on regularity of solutions of the second order parabolic equation $\partial_t u - \mbox{div} (A \nabla u)+B\cdot \nabla u=0$ on cylindrical domains of the form $Ω=\mathcal O\times\mathbb R$ where $\mathcal O\subset\mathbb R^n$ is a is a uniform domain (it satisfies both interior corkscrew and Harnack chain conditions) and has a boundary that is $n-1$-Ahlfors regular. Let $u$ be a solution of such PDE in $Ω$ and the non-tangential maximal function of its gradient in spatial directions $\tilde{N}(\nabla u)$ belongs to $L^p(\partialΩ)$ for some $p>1$. Furthermore, assume that for $u|_{\partialΩ}=f$ we have that $D^{1/2}_tf\in L^p(\partialΩ)$. Then both $\tilde{N}(D^{1/2}_t u)$ and $\tilde{N}(D^{1/2}_tH_t u)$ also belong to $L^p(\partialΩ)$, where $D^{1/2}_t$ and $H_t$ are the half-derivative and the Hilbert transform in the time variable, respectively. We expect this result will spur new developments in the study of solvability of the $L^p$ parabolic Regularity problem as thanks to it it is now possible to formulate the parabolic Regularity problem on a large class of time-varying domains.
△ Less
Submitted 19 March, 2025; v1 submitted 24 August, 2023;
originally announced August 2023.
-
Boundary value problems for elliptic operators satisfying Carleson condition
Authors:
Martin Dindoš,
Jill Pipher
Abstract:
In this paper we present in concise form recent results, with illustrative proofs, on solvability of the $L^p$ Dirichlet, Regularity and Neumann problems for scalar elliptic equations on Lipschitz domains with coefficients satisfying a variety of Carleson conditions. More precisely, with $L=\mbox{div}(A\nabla)$, we assume the matrix $A$ is elliptic and satisfies a natural Carleson condition either…
▽ More
In this paper we present in concise form recent results, with illustrative proofs, on solvability of the $L^p$ Dirichlet, Regularity and Neumann problems for scalar elliptic equations on Lipschitz domains with coefficients satisfying a variety of Carleson conditions. More precisely, with $L=\mbox{div}(A\nabla)$, we assume the matrix $A$ is elliptic and satisfies a natural Carleson condition either in the form that ($|\nabla A(X)|\lesssim \mbox{dist}(X,\partialΩ)^{-1}$ and $|\nabla A|(X)^2\mbox{dist}(X,\partialΩ)\,dX$) or $\mbox{dist}(X,\partialΩ)^{-1}\left(\mbox{osc}_{B(X,δ(X)/2)}A\right)^2\,dX$ is a Carleson measure.
We present two types of results, the first is the so-called "small Carleson" case where, for a given $1<p<\infty$, we prove solvability of the three considered boundary value problems under assumption the Carleson norm of the coefficients and the Lipschitz constant of the considered domain is sufficiently small. The second type of results ("large Carleson") relaxes the constraints to any Lipschitz domain and to the assumption that the Carleson norm of the coefficients is merely bounded. In this case we have $L^p$ solvability for a range of $p$'s in a subinterval of $(1,\infty)$.
At the end of the paper we give a brief overview of recent results on domains beyond Lipschitz such as uniform domains or chord-arc domains.
△ Less
Submitted 1 December, 2022; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Perturbation Theory for Second Order Elliptic Operators with BMO Antisymmetric Part
Authors:
Martin Dindoš,
Erika Nyström,
Martin Ulmer
Abstract:
In the present paper we study perturbation theory for the $L^p$ Dirichlet problem on bounded chord arc domains for elliptic operators in divergence form with potentially unbounded antisymmetric part in BMO. Specifically, given elliptic operators $L_0 = \mbox{div}(A_0\nabla)$ and $L_1 = \mbox{div}(A_1\nabla)$ such that the $L^p$ Dirichlet problem for $L_0$ is solvable for some $p>1$; we show that i…
▽ More
In the present paper we study perturbation theory for the $L^p$ Dirichlet problem on bounded chord arc domains for elliptic operators in divergence form with potentially unbounded antisymmetric part in BMO. Specifically, given elliptic operators $L_0 = \mbox{div}(A_0\nabla)$ and $L_1 = \mbox{div}(A_1\nabla)$ such that the $L^p$ Dirichlet problem for $L_0$ is solvable for some $p>1$; we show that if $A_0 - A_1$ satisfies certain Carleson condition, then the $ L^q$ Dirichlet problem for $L_1$ is solvable for some $q \geq p$. Moreover if the Carleson norm is small then we may take $q=p$. We use the approach first introduced in Fefferman-Kenig-Pipher '91 on the unit ball, and build on Milakis-Pipher-Toro '11 where the large norm case was shown for symmetric matrices on bounded chord arc domains. We then apply this to solve the $L^p$ Dirichlet problem on a bounded Lipschitz domain for an operator $L = \mbox{div}(A\nabla)$, where $A$ satisfies a Carleson condition similar to the one assumed in Kenig-Pipher '01 and Dindoš-Petermichl-Pipher '07 but with unbounded antisymmetric part.
△ Less
Submitted 21 May, 2025; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Regularity and Neumann problems for operators with real coefficients satisfying Carleson condition
Authors:
Martin Dindoš,
Steve Hofmann,
Jill Pipher
Abstract:
In this paper, we continue the study of a class of second order elliptic operators of the form $\mathcal L=\mbox{div}(A\nabla\cdot)$ in a domain above a Lipschitz graph in $\mathbb R^n,$ where the coefficients of the matrix $A$ satisfy a Carleson measure condition, expressed as a condition on the oscillation on Whitney balls. For this class of operators, it is known (since 2001) that the $L^q$ Dir…
▽ More
In this paper, we continue the study of a class of second order elliptic operators of the form $\mathcal L=\mbox{div}(A\nabla\cdot)$ in a domain above a Lipschitz graph in $\mathbb R^n,$ where the coefficients of the matrix $A$ satisfy a Carleson measure condition, expressed as a condition on the oscillation on Whitney balls. For this class of operators, it is known (since 2001) that the $L^q$ Dirichlet problem is solvable for some $1 < q < \infty$. Moreover, further studies completely resolved the range of $L^q$ solvability of the Dirichlet, Regularity, Neumann problems in Lipschitz domains, when the Carleson measure norm of the oscillation is sufficiently small.
We show that there exists $p_{reg}>1$ such that for all $1<p<p_{reg}$ the $L^p$ Regularity problem for the operator $\mathcal L=\mbox{div}(A\nabla\cdot)$ is solvable. Furthermore $\frac1{p_{reg}}+\frac1{q_*}=1$ where $q_*>1$ is the number such that the $L^q$ Dirichlet problem for the adjoint operator $\mathcal L^*$ is solvable for all $q>q_*$.
Additionally when $n=2$, there exists $p_{neum}>1$ such that for all $1<p<p_{neum}$ the $L^p$ Neumann problem for the operator $\mathcal L=\mbox{div}(A\nabla\cdot)$ is solvable. Furthermore $\frac1{p_{reg}}+\frac1{q^*}=1$ where $q^*>1$ is the number such that the $L^q$ Dirichlet problem for the operator $\mathcal L_1=\mbox{div}(A_1\nabla\cdot)$ with matrix $A_1=A/\det{A}$ is solvable for all $q>q^*$.
△ Less
Submitted 1 December, 2022; v1 submitted 21 July, 2022;
originally announced July 2022.
-
The $p$-ellipticity condition for second order elliptic systems and applications to the Lamé and homogenisation problems
Authors:
Martin Dindoš,
Jungang Li,
Jill Pipher
Abstract:
The notion of $p$-ellipticity has recently played a significant role in improving our understanding of issues of solvability of boundary value problems for scalar complex valued elliptic PDEs. In particular, the presence of $p$-ellipticity ensures higher regularity of solutions of such equations.
In this work we extend the notion of $p$-ellipticity to second order elliptic systems. Recall that f…
▽ More
The notion of $p$-ellipticity has recently played a significant role in improving our understanding of issues of solvability of boundary value problems for scalar complex valued elliptic PDEs. In particular, the presence of $p$-ellipticity ensures higher regularity of solutions of such equations.
In this work we extend the notion of $p$-ellipticity to second order elliptic systems. Recall that for systems, there is no single notion of ellipticity, rather a more complicated picture emerges with ellipticity conditions of varying strength such as the Legendre, Legendre-Hadamard and integral conditions. A similar picture emerges when $p$-ellipticity is considered. In this paper, we define three new notions of $p$-ellipticity, establish relationships between them and show that each of them does play an important role in solving boundary value problems.
These important roles are demonstrated by establishing extrapolation results for solvability of the $L^p$ Dirichlet problem for elliptic systems, followed by applications of this result in two different scenarios: one for the Lamé system of linear elasticity and another in the theory of homogenization.
△ Less
Submitted 7 June, 2021; v1 submitted 26 July, 2020;
originally announced July 2020.
-
The $L^p$ Dirichlet and Regularity problems for second order Elliptic Systems with application to the Lamé system
Authors:
Martin Dindoš
Abstract:
In the paper arXiv:1708.02289 we have introduced new solvability methods for strongly elliptic second order systems in divergence form on a domains above a Lipschitz graph, satisfying $L^p$-boundary data for $p$ near $2$. The main novel aspect of our result is that it applies to operators with coefficients of limited regularity and applies to operators satisfying a natural Carleson condition that…
▽ More
In the paper arXiv:1708.02289 we have introduced new solvability methods for strongly elliptic second order systems in divergence form on a domains above a Lipschitz graph, satisfying $L^p$-boundary data for $p$ near $2$. The main novel aspect of our result is that it applies to operators with coefficients of limited regularity and applies to operators satisfying a natural Carleson condition that has been first considered in the scalar case.
In this paper we extend this result in several directions. We improve the range of solvability of the $L^p$ Dirichlet problem to the interval $2-\varepsilon < p<\frac{2(n-1)}{(n-3)}+\varepsilon$, for systems in dimension $n=2,3$ in the range $2-\varepsilon < p<\infty$. We do this by considering solvability of the Regularity problem (with boundary data having one derivative in $L^p$) in the range $2-\varepsilon < p<2+\varepsilon$.
Secondly, we look at perturbation type-results where we can deduce solvability of the $L^p$ Dirichlet problem for one operator from known $L^p$ Dirichlet solvability of a \lq\lq close" operator (in the sense of Carleson measure). This leads to improvement of the main result of the paper arXiv:1708.02289; we establish solvability of the $L^p$ Dirichlet problem in the interval $2-\varepsilon < p<\frac{2(n-1)}{(n-2)}+\varepsilon$ under a much weaker (oscillation-type) Carleson condition.
A particular example of the system where all these results apply is the Lamé operator for isotropic inhomogeneous materials with Poisson ratio $ν<0.396$. In this specific case further improvements of the solvability range are possible, see the upcoming work with J. Li and J. Pipher.
△ Less
Submitted 21 June, 2020;
originally announced June 2020.
-
Extrapolation of the Dirichlet problem for elliptic equations with complex coefficients
Authors:
Martin Dindoš,
Jill Pipher
Abstract:
In this paper, we prove an extrapolation result for complex coefficient divergence form operators that satisfy a strong ellipticity condition known as $p$-{\it ellipticity}. Specifically, let $Ω$ be a chord-arc domain in $\mathbb R^n$ and the operator $\mathcal L = \partial_{i}\left(A_{ij}(x)\partial_{j}\right) +B_{i}(x)\partial_{i} $ be elliptic, with $|B_i(x)| \le Kδ(x)^{-1}$ for a small $K$. Le…
▽ More
In this paper, we prove an extrapolation result for complex coefficient divergence form operators that satisfy a strong ellipticity condition known as $p$-{\it ellipticity}. Specifically, let $Ω$ be a chord-arc domain in $\mathbb R^n$ and the operator $\mathcal L = \partial_{i}\left(A_{ij}(x)\partial_{j}\right) +B_{i}(x)\partial_{i} $ be elliptic, with $|B_i(x)| \le Kδ(x)^{-1}$ for a small $K$. Let $p_0 = \sup\{p>1: A \,\,\text{is}\,\, \text{$p$-elliptic}\}$.
We establish that if the $L^q$ Dirichlet problem is solvable for $\mathcal L$ for some $1<q< \frac{p_0(n-1)}{(n-2)}$, then the $L^p$ Dirichlet problem is solvable for all $p$ in the range $[q, \frac{p_0(n-1)}{(n-2)})$. In particular, if the matrix $A$ is real, or $n=2$, the $L^p$ Dirichlet problem is solvable for $p$ in the range $[q, \infty)$.
△ Less
Submitted 21 June, 2020; v1 submitted 13 September, 2019;
originally announced September 2019.
-
Boundary value problems for second order elliptic operators with complex coefficients
Authors:
Martin Dindoš,
Jill Pipher
Abstract:
The theory of second order complex coefficient operators of the form $\mathcal{L}=\mbox{div} A(x)\nabla$ has recently been developed under the assumption of $p$-ellipticity. In particular, if the matrix $A$ is $p$-elliptic, the solutions $u$ to $\mathcal{L}u = 0$ will satisfy a higher integrability, even though they may not be continuous in the interior. Moreover, these solutions have the property…
▽ More
The theory of second order complex coefficient operators of the form $\mathcal{L}=\mbox{div} A(x)\nabla$ has recently been developed under the assumption of $p$-ellipticity. In particular, if the matrix $A$ is $p$-elliptic, the solutions $u$ to $\mathcal{L}u = 0$ will satisfy a higher integrability, even though they may not be continuous in the interior. Moreover, these solutions have the property that $|u|^{p/2-1}u \in W^{1,2}_{loc}$. These properties of solutions were used by Dindoš-Pipher to solve the $L^p$ Dirichlet problem for $p$-elliptic operators whose coefficients satisfy a further regularity condition, a Carleson measure condition that has often appeared in the literature in the study of real, elliptic divergence form operators. This paper contains two main results. First, we establish solvability of the Regularity boundary value problem for this class of operators, in the same range as that of the Dirichlet problem. The Regularity problem, even in the real elliptic setting, is more delicate than the Dirichlet problem because it requires estimates on derivatives of solutions. Second, the Regularity results allow us to extend the previously established range of $L^p$ solvability of the Dirichlet problem using a theorem due to Z. Shen for general bounded sublinear operators.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Perturbation theory for solutions to second order elliptic operators with complex coefficients and the $L^p$ Dirichlet problem
Authors:
Martin Dindoš,
Jill Pipher
Abstract:
We establish a Dahlberg-type perturbation theorem for second order divergence form elliptic operators with complex coefficients. In our previous paper, we showed the following result: If ${\mathcal L}_0=\mbox{div} A^0(x)\nabla+B^0(x)\cdot\nabla$ is a $p$-elliptic operator satisfying certain Carleson condition on $\nabla A$ and $B$ then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_0$…
▽ More
We establish a Dahlberg-type perturbation theorem for second order divergence form elliptic operators with complex coefficients. In our previous paper, we showed the following result: If ${\mathcal L}_0=\mbox{div} A^0(x)\nabla+B^0(x)\cdot\nabla$ is a $p$-elliptic operator satisfying certain Carleson condition on $\nabla A$ and $B$ then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_0$ is solvable in the upper half-space ${\mathbb R}^n_+$.
In this paper we prove that the $L^p$ solvability is stable under small perturbations of ${\mathcal L}_0$. That is if ${\mathcal L}_1$ is another divergence form elliptic operator with complex coefficients and the coefficients of the operators ${\mathcal L}_0$ and ${\mathcal L}_1$ are sufficiently close in the sense of Carleson measures (considering the differences of coefficients), then the $L^p$ Dirichlet problem for the operator ${\mathcal L}_1$ is solvable for the same value of $p$.
As a corollary we obtain a new result on $L^p$ solvability of the Dirichlet problem for operators of the form ${\mathcal L}=\mbox{div} A(x)\nabla+B(x)\cdot\nabla$ where the matrix $A$ satisfies weaker Carleson condition than in our earlier paper; in particular the coefficients of $A$ need no longer be differentiable and instead satisfy a Carleson condition that controls the oscillation of the matrix $A$ over Whitney boxes. This result in the real case has been established by Dindoš, Petermichl and Pipher.
△ Less
Submitted 19 May, 2018;
originally announced May 2018.
-
Parabolic $L^p$ Dirichlet Boundary Value Problem and VMO-type time-varying domains
Authors:
Martin Dindoš,
Luke Dyer,
Sukjung Hwang
Abstract:
We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition.
This result brings the state of affairs in the parabolic setting up to the elliptic sta…
▽ More
We prove the solvability of the parabolic $L^p$ Dirichlet boundary value problem for $1 < p \leq \infty$ for a PDE of the form $u_t = \mbox{div} (A \nabla u) + B \cdot \nabla u$ on time-varying domains where the coefficients $A= [a_{ij}(X, t)]$ and $B=[b_i]$ satisfy a certain natural small Carleson condition.
This result brings the state of affairs in the parabolic setting up to the elliptic standard.
Furthermore, we establish that if the coefficients of the operator $A,\,B$ satisfy a vanishing Carleson condition and the time-varying domain is of VMO type then the parabolic $L^p$ Dirichlet boundary value problem is solvable for all $1 < p \leq \infty$.
This result is related to results in papers by Mazýa, Mitrea and Shaposhnikova, and Hofmann, Mitrea and Taylor where the fact that boundary of domain has normal in VMO or near VMO implies invertibility of certain boundary operators in $L^p$ for all $1 < p \leq \infty$ which then (using the method of layer potentials) implies solvability of the $L^p$ boundary value problem in the same range for certain elliptic PDEs.
Our result does not use the method of layer potentials, since the coefficients we consider are too rough to use this technique but remarkably we recover $L^p$ solvability in the full range of $p$'s as the two papers mentioned above.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
The $L^p$ Dirichlet boundary problem for second order Elliptic Systems with rough coefficients
Authors:
Martin Dindoš,
Marius Mitrea,
Sukjung Hwang
Abstract:
Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that t…
▽ More
Given a domain above a Lipschitz graph, we establish solvability results for strongly elliptic second-order systems in divergence-form, allowed to have lower-order (drift) terms, with $L^p$-boundary data for $p$ near $2$ (more precisely, in an interval of the form $\big(2-\varepsilon,\frac{2(n-1)}{n-2}+\varepsilon\big)$ for some small $\varepsilon>0$). The main novel aspect of our result is that the coefficients of the operator do not have to be constant, or have very high regularity, instead they will satisfy a natural Carleson condition that has appeared first in the scalar case. A significant example of a system to which our result may be applied is the Lamé system for isotropic inhomogeneous materials. We show that our result applies to isotropic materials with Poisson ratio $ν<0.396$. Dealing with genuine systems gives rise to substantial new challenges, absent in the scalar case. Among other things, there is no maximum principle for general elliptic systems, and the De Giorgi - Nash - Moser theory may also not apply. We are, nonetheless, successful in establishing estimates for the square-function and the nontangential maximal operator for the solutions of the elliptic system described earlier, and use these as alternative tools for proving $L^p$ solvability results for $p$ near $2$.
△ Less
Submitted 24 June, 2020; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Parabolic Regularity and Dirichlet boundary value problems
Authors:
Martin Dindoš,
Luke Dyer
Abstract:
We study the relationship between the Regularity and Dirichlet boundary value problems for parabolic equations of the form $Lu=\text{div}(A \nabla u)-u_t=0$ in Lip$(1,1/2)$ time-varying cylinders, where the coefficient matrix $A = \left[ a_{ij}(X,t)\right] $ is uniformly elliptic and bounded.
We show that if the Regularity problem $(R)_p$ for the equation $Lu=0$ is solvable for some…
▽ More
We study the relationship between the Regularity and Dirichlet boundary value problems for parabolic equations of the form $Lu=\text{div}(A \nabla u)-u_t=0$ in Lip$(1,1/2)$ time-varying cylinders, where the coefficient matrix $A = \left[ a_{ij}(X,t)\right] $ is uniformly elliptic and bounded.
We show that if the Regularity problem $(R)_p$ for the equation $Lu=0$ is solvable for some $1<p<\infty$ then the Dirichlet problem $(D^*)_{p'}$ for the adjoint equation $L^*v=0$ is also solvable, where $p'=p/(p-1)$.
This result is an analogue of the result established in the elliptic case by Kenig and Pipher.
In the parabolic settings in the special case of the heat equation in slightly smoother domains this has been established by Hofmann and Lewis and Nyström for scalar parabolic systems. In comparison, our result is abstract with no assumption on the coefficients beyond the ellipticity condition and is valid in more general class of domains.
△ Less
Submitted 3 July, 2017;
originally announced July 2017.
-
Regularity theory for solutions to second order elliptic operators with complex coefficients and the $L^p$ Dirichlet problem
Authors:
Martin Dindoš,
Jill Pipher
Abstract:
We establish a new theory of regularity for elliptic complex valued second order equations of the form $\mathcal L=$div$A(\nabla\cdot)$, when the coefficients of the matrix $A$ satisfy a natural algebraic condition, a strengthened version of a condition known in the literature as $L^p$-dissipativity. Precisely, the regularity result is a reverse Hölder condition for $L^p$ averages of solutions on…
▽ More
We establish a new theory of regularity for elliptic complex valued second order equations of the form $\mathcal L=$div$A(\nabla\cdot)$, when the coefficients of the matrix $A$ satisfy a natural algebraic condition, a strengthened version of a condition known in the literature as $L^p$-dissipativity. Precisely, the regularity result is a reverse Hölder condition for $L^p$ averages of solutions on interior balls, and serves as a replacement for the De Giorgi - Nash - Moser regularity of solutions to real-valued divergence form elliptic operators. In a series of papers, Cialdea and Maz'ya studied necessary and sufficient conditions for $L^p$-dissipativity of second order complex coefficient operators and systems. Recently, Carbonaro and Dragičević introduced a condition they termed $p$-ellipticity, and showed that it had implications for boundedness of certain bilinear operators that arise from complex valued second order differential operators. Their $p$-ellipticity condition is exactly our strengthened version of $L^p$-dissipativity. The regularity results of the present paper are applied to solve $L^p$ Dirichlet problems for $\mathcal L=$div$A(\nabla\cdot)+B\cdot\nabla$ when $A$ and $B$ satisfy a natural and familiar Carleson measure condition. We show solvability of the $L^p$ Dirichlet boundary value problem for $p$ in the range where $A$ is $p$-elliptic.
△ Less
Submitted 31 March, 2018; v1 submitted 5 December, 2016;
originally announced December 2016.
-
BMO solvability and the $A_\infty$ condition for second order parabolic operators
Authors:
Martin Dindoš,
Stefanie Petermichl,
Jill Pipher
Abstract:
We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic se…
▽ More
We prove that the $A_\infty$ property of parabolic measure for operators in certain time-varying domains is equivalent to a Carleson measure property of bounded solutions. Kircheim, Kenig, Pipher, and T. Toro established this criterion on bounded solutions in the elliptic case, improving an earlier result of Dindos, Kenig and Pipher for solutions with data in BMO. The extension to the parabolic setting requires an approach to the key estimate that primarily exploits the maximum principle. For various classes of parabolic operators, this criterion makes it easier to establish the solvability of the Dirichlet problem with data in $L^p$ for some $p$ (see results of Rivera-Noriega), and also to quantify these results in several aspects.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.
-
The Dirichlet boundary problem for second order parabolic operators satisfying Carleson condition
Authors:
Martin Dindoš,
Sukjung Hwang
Abstract:
We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A\nabla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A\nabla u)=0$ that were established previously.
We establish $L^p$, $2\le p\le\infty$ solvability of the Dirichlet boundary value problem for a parabolic equation $u_t-\mbox{div}(A\nabla u)=0$ on time-varying domains with coefficient matrix $A=(a_{ij})$ that satisfy a small Carleson condition. The result is motivated by similar results for the elliptic equation $\mbox{div}(A\nabla u)=0$ that were established previously.
△ Less
Submitted 28 October, 2016; v1 submitted 31 January, 2014;
originally announced February 2014.
-
The Boundary value problems for second order elliptic operators satisfying a Carleson condition
Authors:
Martin Dindoš,
Jill Pipher,
David Rule
Abstract:
Let $Ω$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A\nabla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in $H^{1,p}(\partialΩ)$ and of the Neumann problem with $L^p(\partialΩ)$ data for the operator $L$ on Lipschitz domains with small Lipschitz constant. We allow the coeffici…
▽ More
Let $Ω$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A\nabla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in $H^{1,p}(\partialΩ)$ and of the Neumann problem with $L^p(\partialΩ)$ data for the operator $L$ on Lipschitz domains with small Lipschitz constant. We allow the coefficients of the operator $L$ to be rough obeying a certain Carleson condition with small norm. These results complete the results of [5] where $L^p(\partialΩ)$ Dirichlet problem was considered under the same assumptions and [6] where the regularity and Neumann problems were considered on two dimensional domains.
△ Less
Submitted 1 November, 2015; v1 submitted 3 January, 2013;
originally announced January 2013.
-
The regularity problem for elliptic operators with boundary data in Hardy-Sobolev space $HS^1$
Authors:
Martin Dindoš,
Josef Kirsch
Abstract:
Let $Ω$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual resul…
▽ More
Let $Ω$ be a Lipschitz domain in $\mathbb R^n,n\geq 3,$ and $L=\divt A\nabla$ be a second order elliptic operator in divergence form. We will establish that the solvability of the Dirichlet regularity problem for boundary data in Hardy-Sobolev space $\HS$ is equivalent to the solvability of the Dirichlet regularity problem for boundary data in $H^{1,p}$ for some $1<p<\infty$. This is a "dual result" to a theorem in \cite{DKP09}, where it has been shown that the solvability of the Dirichlet problem with boundary data in $\text{BMO}$ is equivalent to the solvability for boundary data in $L^p(\partialΩ)$ for some $1<p<\infty$.
△ Less
Submitted 24 October, 2011;
originally announced October 2011.
-
The L^p Dirichlet problem for second-order, non-divergence form operators: solvability and perturbation results
Authors:
Martin Dindos,
Treven Wall
Abstract:
We establish Dahlberg's perturbation theorem for non-divergence form operators L = A\nabla^2. If L_0 and L_1 are two operators on a Lipschitz domain such that the L^p Dirichlet problem for the operator L_0 is solvable for some p in (1,\infty) and the coefficients of the two operators are sufficiently close in the sense of Carleson measure, then the L^p Dirichlet problem for the operator L_1 is sol…
▽ More
We establish Dahlberg's perturbation theorem for non-divergence form operators L = A\nabla^2. If L_0 and L_1 are two operators on a Lipschitz domain such that the L^p Dirichlet problem for the operator L_0 is solvable for some p in (1,\infty) and the coefficients of the two operators are sufficiently close in the sense of Carleson measure, then the L^p Dirichlet problem for the operator L_1 is solvable for the same p. This is an improvement of the A_{\infty} version of this result proved by Rios in "The L^p Diriclet problem and nondivergence harmonic measure" (Trans. AMS 355, 2 (2003)). As a consequence we also improve a result from Dindos, Petermichl and Pipher, "The L^p Dirichlet problem for second order elliptic operators and a p-adapted square function" (J. Fun. Anal. 249 (2007)) for the L^p solvability of non-divergence form operators by substantially weakening the condition required on the coefficients of the operator. The improved condition is exactly the same one as is required for divergence form operators L = div A\nabla.
△ Less
Submitted 27 January, 2011;
originally announced January 2011.
-
BMO solvability and the $A_\infty$ condition for elliptic operators
Authors:
Martin Dindos,
Carlos Kenig,
Jill Pipher
Abstract:
We establish a connection between the absolute continuity of elliptic measure associated to a second order divergence form operator with bounded measurable coefficients with the solvability of an endpoint $BMO$ Dirichlet problem. We show that these two notions are equivalent. As a consequence we obtain an end-point perturbation result, i.e., the solvability of the $BMO$ Dirichlet problem implies…
▽ More
We establish a connection between the absolute continuity of elliptic measure associated to a second order divergence form operator with bounded measurable coefficients with the solvability of an endpoint $BMO$ Dirichlet problem. We show that these two notions are equivalent. As a consequence we obtain an end-point perturbation result, i.e., the solvability of the $BMO$ Dirichlet problem implies $L^p$ solvability for all $p>p_0$.
△ Less
Submitted 30 July, 2010;
originally announced July 2010.
-
$L^p$ solvability of the Stationary Stokes problem on domains with conical singularity in any dimension
Authors:
Martin Dindoš,
Vladimir Maz'ya
Abstract:
The Dirichlet boundary value problem for the Stokes operator with $L^p$ data in any dimension on domains with conical singularity (not necessary a Lipschitz graph) is considered. We establish the solvability of the problem for all $p\in (2-\varepsilon,\infty]$ and also its solvability in $C(\overline{D})$ for the data in $C(\partial D)$
The Dirichlet boundary value problem for the Stokes operator with $L^p$ data in any dimension on domains with conical singularity (not necessary a Lipschitz graph) is considered. We establish the solvability of the problem for all $p\in (2-\varepsilon,\infty]$ and also its solvability in $C(\overline{D})$ for the data in $C(\partial D)$
△ Less
Submitted 30 July, 2010;
originally announced July 2010.
-
The sharp $A_p$ constant for weights in a reverse-Hölder class
Authors:
Martin Dindoš,
Treven Wall
Abstract:
In a recent paper V. Vasyunin presented a proof of the reverse Hölder inequality with sharp constants for the weights satisfying the usual Muckenhoupt condition. In this paper we present the inverse, that is, we use the Bellman function technique to find the sharp $A_p$ constants for weights in a reverse-Hölder class on an interval; we also find the sharp constants for the higher-integrability r…
▽ More
In a recent paper V. Vasyunin presented a proof of the reverse Hölder inequality with sharp constants for the weights satisfying the usual Muckenhoupt condition. In this paper we present the inverse, that is, we use the Bellman function technique to find the sharp $A_p$ constants for weights in a reverse-Hölder class on an interval; we also find the sharp constants for the higher-integrability result of Gehring.
Additionally, we find bounds for the $A_p$ constants of reverse-Hölder-class weights defined on rectangles and on cubes in n dimensions.
△ Less
Submitted 3 September, 2007;
originally announced September 2007.
