• ### Generalized Poisson integral and sharp estimates for harmonic and biharmonic functions in the half-space(1709.03412)

Sept. 8, 2017 math.AP
A representation for the sharp coefficient in a pointwise estimate for the gradient of a generalized Poisson integral of a function $f$ on ${\mathbb R}^{n-1}$ is obtained under the assumption that $f$ belongs to $L^p$. It is assumed that the kernel of the integral depends on the parameters $\alpha$ and $\beta$. The explicit formulas for the sharp coefficients are found for the cases $p=1$, $p=2$ and for some values of $\alpha , \beta$ in the case $p=\infty$. Conditions ensuring the validity of some analogues of the Khavinson's conjecture for the generalized Poisson integral are obtained. The sharp estimates are applied to harmonic and biharmonic functions in the half-space.
• ### Quasilinear elliptic problems with general growth and merely integrable, or measure, data(1708.07432)

Aug. 24, 2017 math.AP
Boundary value problems for a class of quasilinear elliptic equations, with an Orlicz type growth and L^1 right-hand side are considered. Both Dirichlet and Neumann problems are contemplated. Existence and uniqueness of generalized solutions, as well as their regularity, are established. The case of measure right-hand sides is also analyzed.
• ### Second-order $L^2$-regularity in nonlinear elliptic problems(1703.07446)

March 21, 2017 math.AP
A second-order regularity theory is developed for solutions to a class of quasilinear elliptic equations in divergence form, including the $p$-Laplace equation, with merely square-integrable right-hand side. Our results amount to the existence and square integrability of the weak derivatives of the nonlinear expression of the gradient under the divergence operator. This provides a nonlinear counterpart of the classical $L^2$-coercivity theory for linear problems, which is missing in the existing literature. Both local and global estimates are established. The latter apply to solutions to either Dirichlet or Neumann boundary value problems. Minimal regularity on the boundary of the domain is required. If the domain is convex, no regularity of its boundary is needed at all.
• ### Sharp estimates for the gradient of the generalized Poisson integral for a half-space(1703.06333)

March 18, 2017 math.AP
A representation of the sharp coefficient in a pointwise estimate for the gradient of the generalized Poisson integral of a function $f$ on ${\mathbb R}^n$ is obtained under the assumption that $f$ belongs to $L^p$. The explicit value of the coefficient is found for the cases $p=1$ and $p=2$.
• ### A fast solution method for time dependent multidimensional Schr\"odinger equations(1610.08673)

Oct. 27, 2016 math.NA
In this paper we propose fast solution methods for the Cauchy problem for the multidimensional Schr\"odinger equation. Our approach is based on the approximation of the data by the basis functions introduced in the theory of approximate approximations. We obtain high-order approximations also in higher dimensions up to a small saturation error, which is negligible in computations, and we prove error estimates in mixed Lebesgue spaces for the inhomogeneous equation. The proposed method is very efficient in high dimensions if the densities allow separated representations. We illustrate the efficiency of the procedure on different examples, up to approximation order 6 and space dimension 200.
• ### Differentiability of Solutions to the Neumann Problem with Low-Regularity Data via Dynamical Systems(1602.05210)

Feb. 16, 2016 math.AP
We obtain conditions for the differentiability of weak solutions for a second-order uniformly elliptic equation in divergence form with a homogeneous co-normal boundary condition. The modulus of continuity for the coefficients is assumed to satisfy the square-Dini condition and the boundary is assumed to be differentiable with derivatives also having this modulus of continuity. Additional conditions for the solution to be Lipschitz continuous or differentiable at a point on the boundary depend upon the stability of a dynamical system that is derived from the coefficients of the elliptic equation.
• ### Boundedness of the gradient of a solution and Wiener test of order one for the biharmonic equation(1508.04492)

Aug. 19, 2015 math.AP
The behavior of solutions to the biharmonic equation is well-understood in smooth domains. In the past two decades substantial progress has also been made for the polyhedral domains and domains with Lipschitz boundaries. However, very little is known about higher order elliptic equations in the general setting. In this paper we introduce new integral identities that allow to investigate the solutions to the biharmonic equation in an arbitrary domain. We establish: (1) boundedness of the gradient of a solution in any three-dimensional domain; (2) pointwise estimates on the derivatives of the biharmonic Green function; (3) Wiener-type necessary and sufficient conditions for continuity of the gradient of a solution.
• ### Meso-scale models and approximate solutions for solids containing clouds of voids(1501.07524)

Jan. 29, 2015 math.AP, math-ph, math.MP
For highly perforated domains the paper addresses a novel approach to study mixed boundary value problems for the equations of linear elasticity in the framework of meso-scale approximations. There are no assumptions of periodicity involved in the description of the geometry of the domain. The size of the perforations is small compared to the minimal separation between neighbouring defects and here we discuss a class of problems in perforated domains, which are not covered by the homogenisation approximations. The meso-scale approximations presented here are uniform. Explicit asymptotic formulae are supplied with the remainder estimates.
• ### Sobolev inequalities in arbitrary domains(1501.01257)

Jan. 4, 2015 math.AP, math.FA
A theory of Sobolev inequalities in arbitrary open sets of Euclidean space is established. Boundary regularity of domains is replaced with information on boundary traces of trial functions and of their derivatives up to some explicit minimal order. The relevant Sobolev inequalities involve constants independent of the geometry of the domain, and exhibit the same critical exponents as in the classical inequalities on regular domains. Our approach relies upon new representation formulas for Sobolev functions, and on ensuing pointwise estimates which hold in any open set.
• ### Invariant convex bodies for strongly elliptic systems(1412.2217)

Dec. 6, 2014 math.AP
We consider uniformly strongly elliptic systems of the second order with bounded coefficients. First, sufficient conditions for the invariance of convex bodies obtained for linear systems without zero order term in bounded domains and quasilinear systems of special form in bounded and in a class of unbounded domains. These conditions are formulated in algebraic form. They describe relation between the geometry of the invariant convex body and the coefficients of the system. Next, necessary conditions, which are also sufficient, for the invariance of some convex bodies are found for elliptic homogeneous systems with constant coefficients in a half-space. The necessary conditions are derived by using a criterion on the invariance of convex bodies for normalized matrix-valued integral transforms also obtained in the paper. In contrast with the previous studies of invariant sets for elliptic systems no a priori restrictions on the coefficient matrices are imposed.
• ### Polyharmonic capacity and Wiener test of higher order(1411.4202)

Nov. 16, 2014 math.AP
In the present paper we establish the Wiener test for boundary regularity of the solutions to the polyharmonic operator. We introduce a new notion of polyharmonic capacity and demonstrate necessary and sufficient conditions on the capacity of the domain responsible for the regularity of a polyharmonic function near a boundary point. In the case of the Laplacian the test for regularity of a boundary point is the celebrated Wiener criterion of 1924. It was extended to the biharmonic case in dimension three by [Mayboroda, Maz'ya, Invent. Math. 2009]. As a preliminary stage of this work, in [Mayboroda, Maz'ya, Invent. Math. 2013] we demonstrated boundedness of the appropriate derivatives of solutions to the polyharmonic problem in arbitrary domains, accompanied by sharp estimates on the Green function. The present work pioneers a new version of capacity and establishes the Wiener test in the full generality of the polyharmonic equation of arbitrary order.
• ### Criteria for Invariance of Convex Bodies for Linear Parabolic Systems(1402.5552)

March 7, 2014 math.AP
We consider systems of linear partial differential equations, which contain only second and first derivatives in the $x$ variables and which are uniformly parabolic in the sense of Petrovski\v{\i} in the layer ${\mathbb R}^n\times [0,T]$. For such systems we obtain necessary and, separately, sufficient conditions for invariance of a convex body. These necessary and sufficient conditions coincide if the coefficients of the system do not depend on $t$. The above mentioned criterion is formulated as an algebraic condition describing a relation between the geometry of the invariant convex body and coefficients of the system. The criterion is concretized for certain classes of invariant convex sets: polyhedral angles, cylindrical and conical bodies.
• ### Optimal pointwise estimates for derivatives of solutions to Laplace, Lam\'e and Stokes equations(1310.6711)

Oct. 24, 2013 math.AP
Various optimal estimates for solutions of the Laplace, Lam\'e and Stokes equations in multidimensional domains, as well as new real-part theorems for analytic functions are obtained.
• ### The Integrability of Negative Powers of the Solution of the Saint Venant Problem(1204.4590)

Sept. 4, 2013 math.AP, math.CA
We initiate the study of the finiteness condition $\int_{\Omega}u(x)^{-\beta}\,dx\leq C(\Omega,\beta)<+\infty$ where $\Omega\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $\Delta u=-1$ in $\Omega$, $u=0$ on $\partial\Omega$. The central issue which we address is that of determining the range of values of the parameter $\beta>0$ for which the aforementioned condition holds under various hypotheses on the smoothness of $\Omega$ and demands on the nature of the constant $C(\Omega,\beta)$. Classes of domains for which our analysis applies include bounded piecewise $C^1$ domains in ${\mathbb{R}}^n$, $n\geq 2$, with conical singularities (in particular polygonal domains in the plane), polyhedra in ${\mathbb{R}}^3$, and bounded domains which are locally of class $C^2$ and which have (finitely many) outwardly pointing cusps. For example, we show that if $u_N$ is the solution of the Saint Venant problem in the regular polygon $\Omega_N$ with $N$ sides circumscribed by the unit disc in the plane, then for each $\beta\in(0,1)$ the following asymptotic formula holds: % {eqnarray*} \int_{\Omega_N}u_N(x)^{-\beta}\,dx=\frac{4^\beta\pi}{1-\beta} +{\mathcal{O}}(N^{\beta-1})\quad{as}\,\,N\to\infty. {eqnarray*} % One of the original motivations for addressing the aforementioned issues was the study of sublevel set estimates for functions $v$ satisfying $v(0)=0$, $\nabla v(0)=0$ and $\Delta v\geq c>0$.
• ### Estimate for a solution to the water wave problem in the presence of a submerged body(1305.2375)

May 10, 2013 math.AP, math.SP
We study the two-dimensional problem of propagation of linear water waves in deep water in the presence of a submerged body. Under some geometrical requirements, we derive an explicit bound for the solution depending on the domain and the functions on the right-hand side.
• ### Second-order differentiability for solutions of elliptic equations in the plane(1303.3254)

March 13, 2013 math.AP
For a second-order elliptic equation of nondivergence form in the plane, we investigate conditions on the coefficients which imply that all strong solutions have first-order derivatives that are Lipschitz continuous or differentiable at a given point. We assume the coefficients have modulus of continuity satisfying the square-Dini condition, and obtain additional conditions associated with a dynamical system that is derived from the coefficients of the elliptic equation. Our results extend those of previous authors who assume the modulus of continuity satisfies the Dini condition.
• ### Fast cubature of volume potentials over rectangular domains(1301.1171)

Jan. 7, 2013 math.NA
In the present paper we study high-order cubature formulas for the computation of advection-diffusion potentials over boxes. By using the basis functions introduced in the theory of approximate approximations, the cubature of a potential is reduced to the quadrature of one dimensional integrals. For densities with separated approximation, we derive a tensor product representation of the integral operator which admits efficient cubature procedures in very high dimensions. Numerical tests show that these formulas are accurate and provide approximation of order $O(h^6)$ up to dimension $10^8$.
• ### Global boundedness of the gradient for a class of nonlinear elliptic systems(1212.5773)

Dec. 23, 2012 math.AP
Gradient boundedness up to the boundary for solutions to Dirichlet and Neumann problems for elliptic systems with Uhlenbeck type structure is established. Nonlinearities of possibly non-polynomial type are allowed, and minimal regularity on the data and on the boundary of the domain is assumed. The case of arbitrary bounded convex domains is also included.
• ### Regularity of solutions to the polyharmonic equation in general domains(1206.0081)

June 1, 2012 math.AP
The present paper establishes boundedness of $[m-\frac n2+\frac 12]$ derivatives for the solutions to the polyharmonic equation of order $2m$ in arbitrary bounded open sets of $\RR^n$, $2\leq n\leq 2m+1$, without any restrictions on the geometry of the underlying domain. It is shown that this result is sharp and cannot be improved in general domains. Moreover, it is accompanied by sharp estimates on the polyharmonic Green function.
• ### On linear water wave problem in the presence of a critically submerged body(1202.1217)

Feb. 6, 2012 math.AP, math.SP
We study the problem of propagation of linear water waves in a deep water in the presence of a critically submerged body (i.e. the body touching the water surface). Assuming uniqueness of the solution in the energy space, we prove the existence of the solution which satisfies the radiation conditions at infinity as well as, additionally, at the cusp point where the body touches the water surface. This solution is obtained by the limiting absorption procedure. Next we introduce a relevant scattering matrix and analyse its properties. Under a geometric condition introduced by Maz'ya, see \cite{M1}, we show that the method of multipliers applies to cusp singularities, thus proving a new important property of the scattering matrix, which may be interpreted as the absence of a version of "full internal reflection". This property also allows us to prove uniqueness and existence of the solution in the functional spaces $H^2_{loc}\cap L^\infty$ and $H^2_{loc}\cap L^p$, $2<p<6$, provided a spectral parameter in the boundary conditions on the surface of the water is large enough. This description of the solution does not rely on the radiation conditions or the limiting absorption principle. This is the first result of this type known to us in the theory of linear wave problems in unbounded domains.
• ### Bounds for eigenfunctions of the Laplacian on noncompact Riemannian manifolds(1105.4343)

May 22, 2011 math.AP
We deal with eigenvalue problems for the Laplacian on noncompact Riemannian manifolds $M$ of finite volume. Sharp conditions ensuring $L^q(M)$ and $L^\infty (M)$ bounds for eigenfunctions are exhibited in terms of either the isoperimetric function or the isocapacitary function of $M$.
• ### Recent progress in elliptic equations and systems of arbitrary order with rough coefficients in Lipschitz domains(1010.0480)

Oct. 4, 2010 math.AP
This is a survey of results mostly relating elliptic equations and systems of arbitrary even order with rough coefficients in Lipschitz graph domains. Asymptotic properties of solutions at a point of a Lipschitz boundary are also discussed.
• ### $L^p$ solvability of the Stationary Stokes problem on domains with conical singularity in any dimension(1007.5495)

July 30, 2010 math.AP
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)$
• ### Differentiability of Solutions to Second-Order Elliptic Equations via Dynamical Systems(1004.1618)

July 12, 2010 math.AP
For a second-order elliptic equation in divergence form we investigate conditions on the coefficients which imply that all solutions are Lipschitz continuous or differentiable at a given point. We assume the coefficients have modulus of continuity satisfying the square-Dini condition, and obtain additional conditions that examples show are sharp. Our results extend those of previous authors who assume the modulus of continuity satisfies the Dini condition. Our method involves the study of asymptotic properties of solutions to a dynamical system that is derived from the coefficients of the elliptic equation.
• ### Mesoscale asymptotic approximations to solutions of mixed boundary value problems in perforated domains(1005.4351)

May 24, 2010 math-ph, math.MP
We describe a method of asymptotic approximations to solutions of mixed boundary value problems for the Laplacian in a three-dimensional domain with many perforations of arbitrary shape, with the Neumann boundary conditions being prescribed on the surfaces of small voids. The only assumption made on the geometry is that the diameter of a void is assumed to be smaller compared to the distance to the nearest neighbour. The asymptotic approximation, obtained here, involves a linear combination of dipole fields constructed for individual voids, with the coefficients, which are determined by solving a linear algebraic system. We prove the solvability of this system and derive an estimate for its solution. The energy estimate is obtained for the remainder term of the asymptotic approximation.