 Henrik Shahgholian

• Analysis of PDEs
• ArticleMonotonicity formulas for coupled elliptic gradient systems with applications

Advances in Nonlinear Analysis 9 (1), 479-495, 2020

Posted by: Henrik Shahgholian

DOIMSC 2010: 35R11 35B35 35B45 35J47 35J50

• ArticleIsolated singularities for semilinear elliptic systems with power-law nonlinearity

Analysis & PDE 13 (3), 701-739, 2020

Posted by: Henrik Shahgholian

DOIMSC 2010: 35J91 35B40 35B65 35C20 35J75

• ArticleRemarks on the decay/growth rate of solutions to elliptic free boundary problems of obstacle type

Mathematics in Engineering 2 (4), 698-708, 2020

Posted by: Henrik Shahgholian

DOIMSC 2010: 35R35 35J75 35J86

• ArticleRemarks on the convexity of free boundaries (scalar and system cases)

Rossi\u\iskaya Akademiya Nauk. Algebra i Analiz 32 (4), 146-166, 2020

Posted by: Henrik Shahgholian

fulltextMSC 2010: 35R35

We discuss convexity for several free boundary value problems in exterior domains that are generally formulated as $$\Delta u = f(u) \quad \text{in } \Omega \setminus D, \qquad |\nabla u | = g \quad \text{on } \partial \Omega , \qquad u\geq 0 \quad \text{in } \Bbb R^n$$ where $u$ is assumed to be continuous in $\Bbb R^n$, $\Omega = \{u > 0\}$ (is unknown), $u=1$ on $\partial D$, and $D$ is a bounded domain in $\Bbb R^n$ ($n\geq 2$). Here $g= g(x)$ is a given smooth function which is either strictly positive (Bernoulli-type) or identically zero (obstacle type). Properties for $f$ will be spelled out in exact terms in the text.

We make the following general assumptions on $f$ (see [Fr-Ph] for similar type of problems) $$\begin{cases} f(t) > 0 \qquad & \text{for} \,\,t > 0 , \\ f(t)=0 \qquad & \text{for} \,\, t\leq 0 \\ f(t)= b t^{\alpha} + o(t^{\alpha}) \qquad & \text{for}\,\, t < t_1, \,\, \text{some}\,\, t_1 >0 \,\,\text{and} \,\, -1< \alpha< 1,\\ \end{cases}$$ where $b \geq 0$. We also assume $$\hbox{ f is either left- or right-continuous and its discontinuities are isolated}.$$

Theorem:

Let $D$ be a bounded convex domain in $\Bbb R^n$ ($n \geq 2$), and $f$ satisfy the above properties. Let $g(x)$ be a $C^\beta$-function in the entire space satisfying $\max (b, g(x)) \geq b_0$ for some $b_0$, and $g(x)$ be either identically zero or a strict positive. When $g > 0$ we assume $1/g$ to be concave function.

Then there exists a non-negative function $u$ with $\Omega := \{ u >0\}$ solving the free boundary problem $$\begin{cases} \Delta u = f(u) \qquad & \text{in } \Omega \setminus D , \\ u = 1 \qquad& \text{on } \partial D ,\\ |\nabla u |= g \qquad& \text{on } \partial \Omega , \end{cases}$$ with convex super-level sets i.e. $\{u > l \}$ is convex, for all $0 \leq l \leq 1$.

If in addition there is a point $z \in D$, such that $$tg(t(x-z) + z) \ \hbox{is non-decreasing in } t, \ \hbox{ for all } x \in \Bbb R^n,$$ then $u$ is the unique solution.

• ArticleNumerical treatment to a non-local parabolic free boundary problem arising in financial bubbles

Bulletin of the Iranian Mathematical Society 45 (1), 59-73, 2019

Posted by: Henrik Shahgholian

DOIMSC 2010: 65M06 35D40 35R35 65M12 91G80

• ArticleExact behavior around isolated singularity for semilinear elliptic equations with a log-type nonlinearity

Advances in Nonlinear Analysis 8 (1), 995-1003, 2019

Posted by: Henrik Shahgholian

DOIMSC 2010: 35J91 35B40 35C20 35J61 35J75

• ArticleThe regularity theory for the double obstacle problem

Calculus of Variations and Partial Differential Equations 58 (3), Paper No. 104, 19, 2019

Posted by: Henrik Shahgholian

DOIMSC 2010: 35R35 35B44 35B65

• ArticleHomogenization of a singular perturbation problem

Journal of Mathematical Sciences (New York) 242, 163-176, 2019

Posted by: Henrik Shahgholian

DOIMSC 2010: 35B27 35J25 35J92

• ArticleHomogenization of the boundary value for the Dirichlet problem

Discrete and Continuous Dynamical Systems. Series A 39 (12), 6843-6864, 2019

Posted by: Henrik Shahgholian

DOIMSC 2010: 35B27 28D99 35J57 42B20

• ArticleA New Boundary Harnack Principle (equations with right hand side)

Archive for Rational Mechanics and Analysis 234 (3), 1413–1444, 2019

Posted by: Henrik Shahgholian

Abstract: We introduce a new boundary Harnack principle in Lipschitz domains for equations with a right hand side. Our approach, which uses comparisons and blow-ups, seems likely to adapt to more general domains, as well as other types of operators.

We consider operators of the form $$\mathcal{L} u = (a^{ij}u_i)_j + b^i u_i + cu ,$$ with the following ellipticity conditions $$\Lambda^{-1} |\xi|^2 \leq \langle a^{ij}(x) \xi, \xi \rangle \leq \Lambda |\xi|^2,$$ for some $\Lambda >0$ and for all nonzero $\xi \in \R^n$. Furthermore, $a^{ij}(x)$ is a real $n \times n$ matrix. For the lower order terms we assume $$|c(x)|, \sum |b^i(x)| \leq \Lambda-1$$ and that $c(x) \leq 0$. We say $u \in \mathcal{S_{\mathcal{L}}}(\Omega_{L,R})$ if \begin{aligned} \mathcal{L} u(x) &=0 \text{ in } \Omega_{L,R} \cap B_R ,\\ u(x)&=0 \text{ on } \Omega_{L,R}^c\cap B_R, \end{aligned} and that $u \in \mathcal{S_{\mathcal{L}}}(\Omega_{L,R},d^{\gamma})$ if \begin{aligned} |\mathcal{L} u(x)| &\leq (\text{dist}(x,\partial \Omega_{L,R} \cap B_R))^{\gamma} \ \text{ in } \Omega_{L,R} , \\ u(x)&=0 \ \text{ on } \Omega_{L,R}^c\cap B_R. \end{aligned} To apply the Hölder continuity estimates for elliptic operators we will require that $\gamma>-2/n$. Since the boundary is Lipschitz, this will ensure the correct integrability assumptions for the right hand side.

Theorem:

Let $0 \in \partial \Omega_L$ with $L< M$, and fix $x^0 \in \Omega_L$. Assume further that $B_1 \cap \{x_n > 1/4\} \subseteq \Omega_L$. Assume $u,v \geq 0$ and $u,v \in \mathcal{S}(\Omega_{L},d^{\gamma})$ with $\mathcal L u, \mathcal L v \leq 0$ and $u(x^0)=v(x^0)=1$, and also assume that $2-\alpha+\gamma>0$, with $\gamma>-2/n$ and $\alpha$ be such that $$\sup_{B_{r}(x)} u \geq c_1 u(e_n/2) r^{\alpha}.$$

Then there exists a uniform constant $C>0$ (depending only on dimension $n$, Lipschitz constant $M$, $M-L$, and dist$(x^0,\partial \Omega_L)$) such that \begin{equation} \label{e:ine3} C^{-1} v(x) \leq u(x) \leq Cv(x) \end{equation} for all $x \in B_{1/2}$.

1. 1
2. 2
3. ...
4. 12
5. 13 