BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Henrik Shahgholian appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we consider a weakly coupled $p$-Laplacian system of a Bernoulli type free boundary problem, through minimization of a corresponding functional. We prove various properties of any local minimizer and the corresponding free boundary.
In this paper, we consider a double-phase problem characterised by a transmission that takes place across the zero level "surface" of the minimiser of the functional $$ J(v,Ω) = \int_Ω\left( |D v^+|^p + |D v^-|^q \right) dx. $$ We prove that a minimiser exists, and is Hölder continuous, whence using an intrinsic variation we prove a weak formulation of the free boundary condition across the zero level surface, formally represented by $$ (q-1)|D u^-|^q = (p-1) |D u^+|^p, \quad \hbox{on } \partial \{u > 0\}. $$ We show that the free boundary is $C^{1,α}$ a.e. with respect to the measure $Δ_p u^+$, whose support is of $σ$-finite $(n-1)$-dimensional Hausdorff measure.
We study vector-valued almost minimizers of the energy functional $$\int_D\left(|\nabla\mathbf{u}|^2+\frac2{1+q}\left(λ_+(x)|\mathbf{u}^+|^{q+1}+λ_-(x)|\mathbf{u}^-|^{q+1}\right)\right)dx,\quad0<q<1.$$ For Hölder continuous coefficients $λ_\pm(x)>0$, we take the epiperimetric inequality approach and prove the regularity for both almost minimizers and the set of "regular" free boundary points.
Nina Uraltseva has made lasting contributions to mathematics with her pioneering work in various directions in analysis and PDEs and the development of elegant and sophisticated analytical techniques. She is most renowned for her early work on linear and quasilinear equations of elliptic and parabolic type in collaboration with Olga Ladyzhenskaya, which is the category of classics, but her contributions to the other areas such as degenerate and geometric equations, variational inequalities, and free boundaries are equally deep and significant. In this article, we give an overview of Nina Uraltseva's work with some details on selected results.
Assuming a lower bound on the dimension, we prove a long standing conjecture concerning the classification of global solutions of the obstacle problem with unbounded coincidence sets.
In this paper, we introduce quadrature domains for the Helmholtz equation. We show existence results for such domains and implement the so-called partial balayage procedure. We also give an application to inverse scattering problems, and show that there are non-scattering domains for the Helmholtz equation at any positive frequency that have inward cusps.
In this paper we prove radial symmetry for solutions to a free boundary problem with a singular right hand side, in both elliptic and parabolic regime. More exactly, in the unit ball $B_1$ we consider a solution to the fully nonlinear elliptic problem $$ \begin{cases} F(D^2u)=f(u)&\text{in }B_1 \cap \{u >0 \},\\ u=M&\text{on }\partial B_1,\\ 0\le u<M&\text{in }B_1,\end{cases}$$ where the right hand side $f(u) $, near $u=0$, behaves like $u^a$ with negative values for $a \in (-1,0)$. Due to lack of $C^2$-smoothness of both $u$ and the free boundary $\partial\{u>0\}$, we cannot apply the well-known Serrin-type boundary point lemma. We circumvent this by an exact assumption on a first order expansion and the decay on the second order, along with an ad-hoc comparison principle. We treat equally the parabolic case of the problem, and state a corresponding result.
We consider vector-valued solutions to a linear transmission problem, and we prove that Lipschitz-regularity on one phase is transmitted to the next phase. More exactly, given a solution $u:B_1\subset \mathbb{R}^n \to \mathbb{R}^m$ to the elliptic system \begin{equation*} \mbox{div} ((A + (B-A)χ_D )\nabla u) = 0 \quad \text{in }B_1, \end{equation*} where $A$ and $B$ are Dini continuous, uniformly elliptic matrices, we prove that if $\nabla u \in L^{\infty} (D)$ then $u$ is Lipschitz in $B_{1/2}$. A similar result is also derived for the parabolic counterpart of this problem.
We consider the semilinear problem \[ Δu = λ_+ \left(-\log u^+\right) 1_{\{u > 0\}} - λ_- \left(-\log u^- \right) 1_{\{u < 0\}} \qquad \hbox{ in } B_1, \] where $B_1$ is the unit ball in $\mathbb{R}^n$ and assume $λ_+, λ_- > 0$. Using a monotonicity formula argument, we prove an optimal regularity result for solutions: $\nabla u$ is a log-Lipschitz function. This problem introduces two main difficulties. The first is the lack of invariance in the scaling and blow-up of the problem. The other (more serious) issue is a term in the Weiss energy which is potentially non-integrable unless one already knows the optimal regularity of the solution: this puts us in a catch-22 situation.
We study the system $-Δ\mathbf{u}=| \mathbf{u}|^{α-1} \mathbf{u}$ with $1<α\leq\frac{n+2}{n-2}$, where $ \mathbf{u}=(u_1,\dots,u_m)$, $m\geq 1$, is a $C^2$ nonnegative function that develops an isolated singularity in a domain of $\mathbb{R}^n$, $n\geq 3$. Due to the multiplicity of the components of $ \mathbf{u}$, we observe a new Pohozaev invariant other than the usual one in the scalar case, and also a new class of singular solutions provided that the new invariant is nontrivial. Aligned with the classical theory of the scalar equation, we classify the solutions on the whole space as well as the punctured space, and analyze the exact asymptotic behavior of local solutions around the isolated singularity. On the technical level, we adopt the method of the moving spheres and the balanced-energy-type monotonicity functionals.
In this paper we consider a quasilinear elliptic PDE, $\text{div} (A(x,u) \nabla u) =0$, where the underlying physical problem gives rise to a jump for the conductivity $A(x,u)$, across a level surface for $u$. Our analysis concerns Lipschitz regularity for the solution $u$, and the regularity of the level surfaces, where $A(x,u)$ has a jump and the solution $u$ does not degenerate. In proving Lipschitz regularity of solutions, we introduce a new and unexpected type of ACF-monotonicity formula with two different operators, that might be of independent interest, and surely can be applied in other related situations. The proof of the monotonicity formula is done through careful computations, and (as a byproduct) a slight generalization to a specific type of variable matrix-valued conductivity is presented.
In this paper we shall initiate the study of the two- and multi-phase quadrature surfaces (QS), which amounts to a two/multi-phase free boundary problems of Bernoulli type. The problem is studied mostly from a potential theoretic point of view that (for two-phase case) relates to integral representation $$ \int_{\partial Ω^+} g h (x) \ dσ_x - \int_{\partial Ω^-} g h (x) \ dσ_x= \int h dμ\ , $$ where $dσ_x$ is the surface measure, $μ= μ^+ - μ^-$ is given measure with support in (a priori unknown domain) $Ω$, $g$ is a given smooth positive function, and the integral holds for all functions $h$, which are harmonic on $\overline Ω$. Our approach is based on minimization of the corresponding two- and multi-phase functional and the use of its one-phase version as a barrier. We prove several results concerning existence, qualitative behavior, and regularity theory for solutions. A central result in our study states that three or more junction points do not appear.
In this note we study singular oscillatory integrals with linear phase function over hypersurfaces which may oscillate, and prove estimates of $L^2 \mapsto L^2$ type for the operator, as well as for the corresponding maximal function. If the hypersurface is flat, we consider a particular class of a nonlinear phase functions, and apply our analysis to the eigenvalue problem associated with the Helmholtz equation in $\mathbb{R}^3$.
This is an introduction to The Theme Issue on "Free Boundary Problems and Related Topics", which consists of 14 survey/review articles on the topics, of Philosophical Transactions of the Royal Society A: Physical, Mathematical and Engineering Sciences, 373, no. 2050, The Royal Society, 2015.
In this paper we introduce the multi-phase version of the so-called Quadrature Domains (QD), which refers to a generalized type of mean value property for harmonic functions. The well-established and developed theory of one-phase QD was recently generalized to a two-phase version, by one of the current authors (in collaboration). Here we introduce the concept of the multi-phase version of the problem, and prove existence as well as several properties of such solutions. In particular, we discuss possibilities of multi-junction points.
In this paper we discuss the obstacle problem for the $p$-Laplace operator. We prove optimal growth results for the solution. Of particular interest is the point-wise regularity of the solution at free boundary points. The most surprising result we prove is the one for the $p$-obstacle problem: Find the smallest $u$ such that $$ \hbox{div} (|\nabla u|^{p-2}\nabla u) \leq 0, \qquad u\geq ϕ, \qquad \hbox{in } B_1, $$ with $ϕ\in C^{1,1}(B_1)$ and given boundary datum on $\partial B_1$. We prove that the solution is uniformly $C^{1,1}$ at free boundary points. Similar results are obtained in the case of an inhomogeneity belonging to $L^\infty$. When applied to the corresponding parabolic problem, these results imply that any solution which is Lipschitz in time is $C^{1,\frac{1}{p-1}}$ in the spatial variables.
This paper concerns Hopf's boundary point lemma, in certain $C^{1,Dini}$-type domains, for a class of singular/degenerate PDE-s, including $p$-Laplacian. Using geometric properties of levels sets for harmonic functions in convex rings, we construct sub-solutions to our equations that play the role of a barrier from below. By comparison principle we then conclude Hopf's lemma.
In this paper we consider the fully nonlinear parabolic free boundary problem $$ \left\{\begin{array}{ll} F(D^2u) -\partial_t u=1 & \text{a.e. in}Q_1 \cap Ω\\ |D^2 u| + |\partial_t u| \leq K & \text{a.e. in}Q_1\setminusΩ, \end{array} \right. $$ where $K>0$ is a positive constant, and $Ω$ is an (unknown) open set. Our main result is the optimal regularity for solutions to this problem: namely, we prove that $W_x^{2,n} \cap W_t^{1,n} $ solutions are locally $C_x^{1,1}\cap C_t^{0,1} $ inside $Q_1$. A key starting point for this result is a new BMO-type estimate which extends to the parabolic setting the main result in \cite{CH}. Once optimal regularity for $u$ is obtained, we also show regularity for the free boundary $\partialΩ\cap Q_1$ under the extra condition that $Ω\supset \{u \neq 0 \}$, and a uniform thickness assumption on the coincidence set $\{u = 0 \}$,
In this paper we consider a minimization problem for the functional $$ J(u)=\int_{B_1^+}|\nabla u|\sp 2+λ_{+}^2χ_{\{u>0\}}+λ_{-}^2χ_{\{u\leq0\}}, $$ in the upper half ball $B_1^+\subset\R^n, n\geq 2$ subject to a Lipschitz continuous Dirichlet data on $\partial B_1^+$. More precisely we assume that $0\in \partial \{u>0\}$ and the derivative of the boundary data has a jump discontinuity. If $0\in \bar{\partial(\{u>0\} \cap B_1^+)}$ then (for $n=2$ or $n>3$ and one-phase case) we prove, among other things, that the free boundary $\partial \{u>0\}$ approaches the origin along one of the two possible planes given by $$ γx_1 = \pm x_2, $$ where $γ$ is an explicit constant given by the boundary data and $λ_\pm$ the constants seen in the definition of $J(u)$. Moreover the speed of the approach to $γx_1=x_2$ is uniform.
In this paper we prove convergence results for homogenization problem for solutions of partial differential system with rapidly oscillating Dirichlet data. Our method is based on analysis of oscillatory integrals. In the uniformly convex and smooth domain, and smooth operator and boundary data, we prove pointwise convergence results, namely $$|u_{\e}(x)-u_0 (x)| \leq C_κ \e^{(d-1)/2}\frac{1}{d(x)^κ}, \ \forall x\in D, \ \forall \ κ>d-1,$$ where $u_{\e}$ and $u_0$ are solutions of respectively oscillating and homogenized Dirichlet problems, and $d(x)$ is the distance of $x$ from the boundary of $D$. As a corollary for all $1\leq p <\infty$ we obtain $L^p$ convergence rate as well.
Let $u_\e$ be a solution to the system $$ \mathrm{div}(A_\e(x) \nabla u_{\e}(x))=0 \text{\ in} D, \qquad u_{\e}(x)=g(x,x/\e) \text{\ on}\partial D, $$ where $D \subset \R^d $ ($d \geq 2$), is a smooth uniformly convex domain, and $g$ is 1-periodic in its second variable, and both $A_\e$ and $g$ reasonably smooth. Our results in this paper are two folds. First we prove $L^p$ convergence results for solutions of the above system, for non-oscillating operator, $A_\e(x) =A(x)$, with the following convergence rate for all $1\leq p <\infty$ $$ \|u_\e - u_0\|_{L^p(D)} \leq C_p \begin{cases} \e^{1/2p} ,&\text{$d=2$}, (\e |\ln \e |)^{1/p}, &\text{$d = 3$}, \e^{1/p} ,&\text{$d \geq 4$,} \end{cases} $$ which we prove is (generically) sharp for $d\geq 4$. Here $u_0$ is the solution to the averaging problem. Second, combining our method with the recent results due to Kenig, Lin and Shen \cite{KLS1}, we prove (for certain class of operators and when $d\geq 3$) $$ || u_\e - u_0 ||_{L^p(D)} \leq C_p [ \e (\ln(1/ \e))^2 ]^{1/p}. $$ for both oscillating operator and boundary data. For this case, we take $A_\e=A(x/\e)$, where $A$ is 1-periodic as well. Some further applications of the method to the homogenization of Neumann problem with oscillating boundary data are also considered.
In this paper we prove convergence results for the homogenization of the Dirichlet problem with rapidly oscillating boundary data in convex polygonal domains. Our analysis is based on integral representation of solutions. Under a certain Diophantine condition on the boundary of the domain and smooth coefficients we prove pointwise, as well as $L^p$ convergence results. For larger exponents $p$ we prove that the $L^p$ convergence rate is close to optimal. We shall also suggest several directions of possible generalization of the result in this paper.
In this paper we initiate the study of maps minimising the energy $$ \int_{D} (|\nabla \u|^2+2|\u|)\ dx. $$ which, due to Lipschitz character of the integrand, gives rise to the singular Euler equations $$ Δ\u=\frac{\u}{|\u|}χ_{\left\lbrace |\u|>0\right\rbrace}, \qquad \u = (u_1, \cdots, u_m) \ . $$ Our primary goal in this paper is to set up a road map for future developments of the theory related to such energy minimising maps. Our results here concern regularity of the solution as well as that of the free boundary. They are achieved by using monotonicity formulas and epiperimetric inequalities, in combination with geometric analysis.
We consider a free boundary problem for the $p$-Laplace operator which is related to the so-called Bernoulli free boundary problem. In this formulation, the classical boundary gradient condition is replaced by a condition on the distance between two different level surfaces of the solution. For suitable scalings our model converges to the classical Bernoulli problem; one of the advantages in this new formulation lies in the simplicity of the arguments, since one does not need to consider the boundary gradient. We shall study this problem in convex and other regimes, and establish existence and qualitative theory.
We prove optimal regularity for the double obstacle problem when obstacles are given by solutions to Hamilton-Jacobi equations that are not $C^2$. When the Hamilton-Jacobi equation is not $C^2$ then the standard Bernstein technique fails and we loose the usual semi-concavity estimates. Using a non-homogeneous scaling (different speed in different directions) we develop a new pointwise regularity theory for Hamilton-Jacobi equations at points where the solution touches the obstacle. A consequence of our result is that $C^1$-solutions to the Hamilton-Jacobi equation $$ \pm |\nabla h-a(x)|^2=\pm 1 \textrm{in} B_1, \qquad h=f \textrm{on} \partial B_1, $$ are in fact $C^{1,α/2}$ provided that $a \in C^α$. This result is optimal and to the authors' best knowledge new.
We study the parabolic free boundary problem of obstacle type $$ \lap u-\frac{\partial u}{\partial t}= fχ_{u\ne 0}. $$ Under the condition that $f=Hv$ for some function $v$ with bounded second order spatial derivatives and bounded first order time derivative, we establish the same regularity for the solution $u$. Both the regularity and the assumptions are optimal. Using this result and assuming that $f$ is Dini continuous, we prove that the free boundary is, near so called low energy points, a $C^1$ graph. Our result completes the theory for this type of problems for the heat operator.
In this paper we will investigate the singular points of the following unstable free boundary problem: {equation}\label{Eq} Δu= -χ_{\{u>0\}} \quad\quad\textrm{in} B_1(0) {equation} where $χ_{\{u>0\}}$ is the characteristic function of the set $\{u>0\}$.
Here we shall introduce the concept of harmonic balls/spheres in sub-domains of $\R^n$, through a mean value property for a sub-class of harmonic functions on such domains. In the complex plane, and for analytic functions, a similar concept fails to exist due to the fact that analytic functions can not have prescribed data on the boundary. Nevertheless, a two-phase version of the problem does exists, and gives rise to the generalization of the well-known Schwarz function to the case of two-phase Schwarz function. Our primary goal is to derive simple properties for these problems, and tease the appetites of experts working on Schwarz function and related topics. Hopefully these two concepts will provoke further study of the topic.
In this paper we prove the optimal $C^{1,1}(B_\frac12)$-regularity for a general obstacle type problem $$ \lap u = fχ_{\{u\neq 0\}}\textup{in $B_1$}, $$ under the assumption that $f*N$ is $C^{1,1}(B_1)$, where $N$ is the Newtonian potential. This is the weakest assumption for which one can hope to get $C^{1,1}$-regularity. As a by-product of the $C^{1,1}$-regularity we are able to prove that, under a standard thickness assumption on the zero set close to a free boundary point $x^0$, the free boundary is locally a $C^1$-graph close to $x^0$, provided $f$ is Dini. This completely settles the question of the optimal regularity of this problem, that has been under much attention during the last two decades.
We prove that if the given compact set $K$ is convex then a minimizer of the functional $$ I(v)=\int_{B_R} |\nabla v|^p dx+\text{Per}(\{v>0\}),\,1<p<\infty, $$ over the set $\{v\in H^1_0(B_R)|\,\, v\equiv 1\,\,\text{on}\,\, K\subset B_R\}$ has a convex support, and as a result all its level sets are convex as well. We derive the free boundary condition for the minimizers and prove that the free boundary is analytic and the minimizer is unique.
In this paper we are concerned with singular points of solutions to the {\it unstable} free boundary problem $$ Δu = - χ_{\{u>0\}} \qquad \hbox{in} B_1. $$ The problem arises in applications such as solid combustion, composite membranes, climatology and fluid dynamics. It is known that solutions to the above problem may exhibit singularities - that is points at which the second derivatives of the solution are unbounded - as well as degenerate points. This causes breakdown of by-now classical techniques. Here we introduce new ideas based on Fourier expansion of the nonlinearity $χ_{\{u>0\}} $. The method turns out to have enough momentum to accomplish a complete description of the structure of the singular set in ${\mathbb R}^3$. A surprising fact in ${\mathbb R}^3$ is that although $$\frac{u(r\x)}{\sup_{B_1}|u(r\x)|}$$ can converge at singularities to each of the harmonic polynomials $$ xy, {x^2+y^2\over 2}-z^2 \textrm{and} z^2-{x^2+y^2\over 2},$$ it may {\em not} converge to any of the non-axially-symmetric harmonic polynomials $α((1+ δ)x^2 +(1- δ)y^2 - 2z^2)$ with $δ\ne 1/2$. We also prove the existence of stable singularities in ${\mathbb R}^3$.
We introduce a new method for the analysis of singularities in the unstable problem $$Δu = -χ_{\{u>0\}},$$ which arises in solid combustion as well as in the composite membrane problem. Our study is confined to points of "supercharacteristic" growth of the solution, i.e. points at which the solution grows faster than the characteristic/invariant scaling of the equation would suggest. At such points the classical theory is doomed to fail, due to incompatibility of the invariant scaling of the equation and the scaling of the solution. In the case of two dimensions our result shows that in a neighborhood of the set at which the second derivatives of $u$ are unbounded, the level set $\{u=0\}$ consists of two $C^1$-curves meeting at right angles. It is important that our result is not confined to the minimal solution of the equation but holds for all solutions.