-
The principal eigenvalue of a mixed local and nonlocal operator with drift
Authors:
Craig Cowan,
Mohammad El Smaily,
Pierre Aime Feulefack
Abstract:
We study the eigenvalue problem involving the mixed local-nonlocal operator $ L:= -Δ+(-Δ)^{s}+q\cdot\nabla$~ in a bounded domain $Ω\subset\R^N,$ where a Dirichlet condition is posed on $\R^N\setminusΩ.$ The field $q$ stands for a drift or advection in the medium. We prove the existence of a principal eigenvalue and a principal eigenfunction for $s\in (0,1/2]$. Moreover, we prove $C^{2,α}$ regulari…
▽ More
We study the eigenvalue problem involving the mixed local-nonlocal operator $ L:= -Δ+(-Δ)^{s}+q\cdot\nabla$~ in a bounded domain $Ω\subset\R^N,$ where a Dirichlet condition is posed on $\R^N\setminusΩ.$ The field $q$ stands for a drift or advection in the medium. We prove the existence of a principal eigenvalue and a principal eigenfunction for $s\in (0,1/2]$. Moreover, we prove $C^{2,α}$ regularity, up to the boundary, of the solution to the problem $Lu=f$ when coupled with a Dirichlet condition and $0<s<1/2$. To prove the regularity and the existence of a principal eigenvalue, we use a continuation argument, Krein-Rutman theorem as well as a Hopf Lemma and a maximum principle for the operator $L,$ which we derive in this paper.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Existence and regularity results for a Neumann problem with mixed local and nonlocal diffusion
Authors:
Craig Cowan,
Mohammad El Smaily,
Pierre Aime Feulefack
Abstract:
In this paper, we consider an elliptic problem driven by a mixed local-nonlocal operator with drift and subject to nonlocal Neumann condition. We prove the existence and uniqueness of a solution $u\in W^{2,p}(Ω)$ of the considered problem with $L^p$-source function when $p$ and $s$ are in a certain range.
In this paper, we consider an elliptic problem driven by a mixed local-nonlocal operator with drift and subject to nonlocal Neumann condition. We prove the existence and uniqueness of a solution $u\in W^{2,p}(Ω)$ of the considered problem with $L^p$-source function when $p$ and $s$ are in a certain range.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
On supercritical elliptic problems: existence, multiplicity of positive and symmetry breaking solutions
Authors:
Craig Cowan,
Abbas Moameni
Abstract:
The main thrust of our current work is to exploit very specific characteristics of a given problem in order to acquire improved compactness for supercritical problems and to prove existence of new types of solutions. To this end, we shall develop a variational machinery in order to construct a new type of classical solutions for a large class of supercritical elliptic partial differential equation…
▽ More
The main thrust of our current work is to exploit very specific characteristics of a given problem in order to acquire improved compactness for supercritical problems and to prove existence of new types of solutions. To this end, we shall develop a variational machinery in order to construct a new type of classical solutions for a large class of supercritical elliptic partial differential equations.\\ The issue of symmetry and symmetry breaking is challenging and fundamental in mathematics and physics. Symmetry breaking is the source of many interesting phenomena namely phase transitions, instabilities, segregation, etc.
As a consequence of our results we shall establish the existence of several symmetry breaking solutions when the underlying problem is fully symmetric. Our methodology is variational, and we are not seeking non symmetric solutions which bifurcate from the symmetric one. Instead, we construct many new positive solutions by develo** a minimax principle for general semilinear elliptic problems restricted to a given convex subset instead of the whole space. As a byproduct of our investigation, several new Sobolev embeddings are established for functions having a mild monotonicity on symmetric monotonic domains.
△ Less
Submitted 25 June, 2022;
originally announced June 2022.
-
Supercritical elliptic problems on nonradial domains via a nonsmooth variational approach
Authors:
Craig Cowan,
Abbas Moameni
Abstract:
In this paper we are interested in positive classical solutions of \begin{equation} \label{eqx} \left\{\begin{array}{ll} -Δu = a(x) u^{p-1} & \mbox{ in } Ω, \\ u>0 & \mbox{ in } Ω, \\ u= 0 & \mbox{ on } \pOm, \end {array}\right. \end{equation} where $Ω$ is a bounded annular domain (not necessarily an annulus) in $\IR^N$ $(N \ge3)$
and $ a(x)$ is a nonnegative continuous function. We show the exi…
▽ More
In this paper we are interested in positive classical solutions of \begin{equation} \label{eqx} \left\{\begin{array}{ll} -Δu = a(x) u^{p-1} & \mbox{ in } Ω, \\ u>0 & \mbox{ in } Ω, \\ u= 0 & \mbox{ on } \pOm, \end {array}\right. \end{equation} where $Ω$ is a bounded annular domain (not necessarily an annulus) in $\IR^N$ $(N \ge3)$
and $ a(x)$ is a nonnegative continuous function. We show the existence of a classical positive solution for a range of supercritical values of $p$ when the problem enjoys certain mild symmetry and monotonicity conditions. As a consequence of our results, we shall show that (\ref{eqx}) has $\Bigl\lfloor\frac{N}{2} \Bigr\rfloor$ (the floor of $\frac{N}{2}$) positive nonradial solutions when $ a(x)=1$ and $Ω$ is an annulus with certain assumptions on the radii. We also obtain the existence of positive solutions in the case of toroidal domains. Our approach is based on a new variational principle that allows one to deal with supercritical problems variationally by limiting the corresponding functional on a proper convex subset instead of the whole space at the expense of a mild invariance property.
△ Less
Submitted 22 June, 2021; v1 submitted 22 April, 2021;
originally announced April 2021.
-
A nonlinear elliptic problem involving the gradient on a half space
Authors:
A. Aghajani,
C. Cowan,
S. H. Lui
Abstract:
We consider perturbations of the diffusive Hamilton-Jacobi equation \begin{equation*} %\label{non_pert}
\left\{ \begin{array}{lcl} \hfill -Δu &=& (1+g(x))| \nabla u|^p\qquad \mbox{ in } \IR^N_+, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial \IR^N_+, \end{array}\right.
\end{equation*}
for $ p>1$. We prove the existence of a classical solution provided $ p \in (\frac{4}{3},2)$ and $g$ is bound…
▽ More
We consider perturbations of the diffusive Hamilton-Jacobi equation \begin{equation*} %\label{non_pert}
\left\{ \begin{array}{lcl} \hfill -Δu &=& (1+g(x))| \nabla u|^p\qquad \mbox{ in } \IR^N_+, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial \IR^N_+, \end{array}\right.
\end{equation*}
for $ p>1$. We prove the existence of a classical solution provided $ p \in (\frac{4}{3},2)$ and $g$ is bounded with uniform radial decay to zero.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Supercritical elliptic problems involving a Cordes like operator
Authors:
C. Cowan
Abstract:
In this work we obtain positive bounded solutions of various perturbations of \begin{equation}
\left\{ \begin{array}{lcl} \hfill -Δu - γ\sum_{i,j=1}^N \frac{x_i x_j}{|x|^2} u_{x_i x_j} &=& u^p \qquad \mbox{ in } B_1, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial B_1, \end{array}\right.
\end{equation} where $B_1$ is the unit ball in $ \IR^N$ where $N \ge 3$, $ γ>0$ and $ 1<p<p_{N,γ}$ where
\b…
▽ More
In this work we obtain positive bounded solutions of various perturbations of \begin{equation}
\left\{ \begin{array}{lcl} \hfill -Δu - γ\sum_{i,j=1}^N \frac{x_i x_j}{|x|^2} u_{x_i x_j} &=& u^p \qquad \mbox{ in } B_1, \\ \hfill u &=& 0 \hfill \mbox{ on } \partial B_1, \end{array}\right.
\end{equation} where $B_1$ is the unit ball in $ \IR^N$ where $N \ge 3$, $ γ>0$ and $ 1<p<p_{N,γ}$ where
\begin{equation*}
p_{N,γ}:=\left\{ \begin{array}{lc}
\frac{N+2+3 γ}{N-2-γ} & \qquad \mbox{ if } γ<N-2, \\ \infty & \qquad \mbox{ if } γ\ge N-2. \end{array}\right.
\end{equation*} Note for $γ>0$ this allows for supercritical range of $p$.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Some elliptic problems involving the gradient on general bounded and exterior domains
Authors:
A. Aghajani,
C. Cowan
Abstract:
In this article we consider the existence of positive singular solutions on bounded domains and also classical solutions on exterior domains. First we consider positive singular solutions of the following problems:
\begin{equation} \label{eq_abst_1}-Δu = (1+g(x)) | \nabla u|^p \qquad \mbox{ in } B_1, \qquad u = 0 \mbox{ on } \;\; \partial B_1, \qquad \mbox{ and} \end{equation}
\begin{equation}…
▽ More
In this article we consider the existence of positive singular solutions on bounded domains and also classical solutions on exterior domains. First we consider positive singular solutions of the following problems:
\begin{equation} \label{eq_abst_1}-Δu = (1+g(x)) | \nabla u|^p \qquad \mbox{ in } B_1, \qquad u = 0 \mbox{ on } \;\; \partial B_1, \qquad \mbox{ and} \end{equation}
\begin{equation} \label{eq_abst_2} -Δu = | \nabla u|^p \qquad \mbox{ in } Ω, \qquad u = 0 \mbox{ on } \;\; \partial Ω. \end{equation}
In the first problem $B_1$ is the unit ball in $ \mathbb{R}^N$ and in the second $Ω$ is a bounded smooth domain in $ \mathbb{R}^N$. In both cases we assume $ N \ge 3$, $ \frac{N}{N-1}<p<2$ and in the first problem we assume $ g \ge 0$ is a Hölder continuous function with $g(0)=0$. We obtain positive singular solutions in both cases. \\ For the second equation we also consider the case of $Ω$ an exterior domain $ \mathbb{R}^N$ where $N \ge 3$ and $ p >\frac{N}{N-1}$. We prove the existence of a bounded positive classical solution with the additional property that $ \nabla u(x) \cdot x>0$ for large $|x|$.
△ Less
Submitted 13 April, 2020;
originally announced April 2020.
-
A note on the nonexistence of positive supersolutions to elliptic equations with gradient terms
Authors:
A. Aghajani,
C. Cowan
Abstract:
We prove that if the elliptic problem $-Δu+b(x)|\nabla u|=c(x)u$ with $c\ge0$ has a positive supersolution in a domain $Ω$ of $ \IR^{N\ge 3}$, then $c,b$ must satisfy the inequality \[\sqrt{ \int_Ωcφ^2}\le \sqrt{ \int_Ω| \nablaφ|^2}+\sqrt{ \int_Ω\frac{b^2}{4}φ^2},~~~φ\in C_c^\infty(Ω).\] As an application, we obtain Liouville type theorems for positive supersolutions in exterior domains when…
▽ More
We prove that if the elliptic problem $-Δu+b(x)|\nabla u|=c(x)u$ with $c\ge0$ has a positive supersolution in a domain $Ω$ of $ \IR^{N\ge 3}$, then $c,b$ must satisfy the inequality \[\sqrt{ \int_Ωcφ^2}\le \sqrt{ \int_Ω| \nablaφ|^2}+\sqrt{ \int_Ω\frac{b^2}{4}φ^2},~~~φ\in C_c^\infty(Ω).\] As an application, we obtain Liouville type theorems for positive supersolutions in exterior domains when $c(x)-\frac{b^2(x)}{4}>0$ for large $|x|$, but unlike the known results we allow the case $\liminf_{|x|\rightarrow\infty}c(x)-\frac{b^2(x)}{4}=0$. Also the weights $b$ and $c$ are allowed to be unbounded. In particular, among other things, we show that if $τ:=\limsup_{|x| \rightarrow\infty}|xb(x)|<\infty$ then this problem does not admit any positive supersolution if
\[\liminf_{|x| \rightarrow\infty}|x|^2c(x)> \frac{(N-2+τ)^2}{4},\]
and, when $τ=\infty, $ we have the same if \[\limsup_{R\rightarrow\infty} R\Big(\frac{ \inf_{R<|x|<2 R} (c(x)-\frac{b(x)^2}{4})}{\sup_{\frac{R}{2}<|x|<4 R}|b(x)|}\Big)=\infty.\]
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
Explicit estimates on positive supersolutions of nonlinear elliptic equations and applications
Authors:
A. Aghajani,
C. Cowan
Abstract:
In this paper we consider positive supersolutions of the nonlinear elliptic equation \[- Δu = ρ(x) f(u)|\nabla u|^p, \qquad \hfill \mbox{ in } Ω,\] where $0\le p<1$, $ Ω$ is an arbitrary domain (bounded or unbounded) in $ \IR^N$ ($N\ge 2$), $f: [0,a_{f}) \rightarrow \Bbb{R}_{+}$ $(0 < a_{f} \leqslant +\infty)$ is a non-decreasing continuous function and $ρ: Ω\rightarrow \IR$ is a positive function…
▽ More
In this paper we consider positive supersolutions of the nonlinear elliptic equation \[- Δu = ρ(x) f(u)|\nabla u|^p, \qquad \hfill \mbox{ in } Ω,\] where $0\le p<1$, $ Ω$ is an arbitrary domain (bounded or unbounded) in $ \IR^N$ ($N\ge 2$), $f: [0,a_{f}) \rightarrow \Bbb{R}_{+}$ $(0 < a_{f} \leqslant +\infty)$ is a non-decreasing continuous function and $ρ: Ω\rightarrow \IR$ is a positive function. Using the maximum principle we give explicit estimates on positive supersolutions $u$ at each point $x\inΩ$ where $\nabla u\not\equiv0$ in a neighborhood of $x$. As consequences, we discuss the dead core set of supersolutions on bounded domains, and also obtain Liouville type results in unbounded domains $Ω$ with the property that $\sup_{x\inΩ}dist (x,\partialΩ)=\infty$.
△ Less
Submitted 21 April, 2018;
originally announced April 2018.
-
Regularity of the extremal solutions associated to elliptic systems
Authors:
A. Aghajani,
C. Cowan
Abstract:
We examine the elliptic system given by \begin{eqnarray*} \qquad \left\{ \begin{array}{lcl}
-Δu =λf(v) \quad \mbox{ in } Ω
-Δv =γf(u) \quad \mbox{ in } Ω, u=v =0, \quad \mbox{ on } \pOm \end{array}\right.
\end{eqnarray*} where $λ,γ$ are positive parameters, $Ω$ is a smooth bounded domain in $\IR^N$ and $f$ is a $C^{2}$ positive, nondecreasing and convex function in $[0,\infty)$ such that…
▽ More
We examine the elliptic system given by \begin{eqnarray*} \qquad \left\{ \begin{array}{lcl}
-Δu =λf(v) \quad \mbox{ in } Ω
-Δv =γf(u) \quad \mbox{ in } Ω, u=v =0, \quad \mbox{ on } \pOm \end{array}\right.
\end{eqnarray*} where $λ,γ$ are positive parameters, $Ω$ is a smooth bounded domain in $\IR^N$ and $f$ is a $C^{2}$ positive, nondecreasing and convex function in $[0,\infty)$ such that $\frac{f(t)}{t}\rightarrow\infty$ as $t\rightarrow\infty$. Assuming
$$0<τ_{-}:=\liminf_{t\rightarrow\infty} \frac{f(t)f"(t)}{f'(t)^{2}}\leq τ_{+}:=\limsup_{t\rightarrow\infty} \frac{f(t)f"(t)}{f'(t)^{2}}\leq 2,$$ we show that the extremal solution $(u^*, v^*)$ associated to the above system is smooth provided\\ $N<\frac{2α_{*}(2-τ_{+})+2τ_{+}}{τ_{+}}\max\{1,τ_{+}\}$, where $α_{*}>1$ denotes the largest root of the $2^{nd}$ order polynomial $$P_{f}(α,τ_{-},τ_{+}):=(2-τ_{-})^{2} α^{2}- 4(2-τ_{+})α+4(1-τ_{+}).$$ As a consequences, $u^*, v^*\in L^\infty(Ω)$ for $N<5$. Moreover, if $τ_{-}=τ_{+}$, then $u^*, v^*\in L^\infty(Ω)$ for $N<10$.
△ Less
Submitted 20 July, 2017;
originally announced July 2017.
-
A new variational principle, convexity and supercritical Neumann problems
Authors:
Craig Cowan,
Abbas Moameni
Abstract:
Utilizing a new variational principle that allows dealing with problems beyond the usual locally compactness structure, we study problems with a supercritical nonlinearity of the type $ -Δu + u= a(x) f(u)$ in $ Ω$ with $\partial_νu=0$ on $ \partial Ω$. Here $Ω$ is a bounded domain with certain symmetry assumptions.
We find positive nontrivial solutions in the case of suitable supercritical nonli…
▽ More
Utilizing a new variational principle that allows dealing with problems beyond the usual locally compactness structure, we study problems with a supercritical nonlinearity of the type $ -Δu + u= a(x) f(u)$ in $ Ω$ with $\partial_νu=0$ on $ \partial Ω$. Here $Ω$ is a bounded domain with certain symmetry assumptions.
We find positive nontrivial solutions in the case of suitable supercritical nonlinearities $f$ by finding critical points of $I$ where \[ I(u)=\int_Ω\left\{ a(x) F^* \left( \frac{-Δu + u}{a(x)} \right) - a(x) F(u) \right\} dx, \] over the closed convex cone $K_m$ of nonnegative, symmetric and monotonic functions in $H^1(Ω)$ where $F'=f$ and where $ F^*$ is the Fenchel dual of $F$.
We mention two important comments: firstly that there is a hidden symmetry in the functional $I$ due to the presence of a convex function and its Fenchel dual that makes it ideal to deal with super-critical problems lacking the necessary compactness requirement. Secondly the energy $I$ is not at all related to the classical Euler-Lagrange energy associated with equation. After we have proven the existence of critical points $u$ of $I$ on $K_m$ we then unitize a new abstract variational approach (developed by one of the present authors in \cite{Mo,Mo2}) to show these critical points in fact satisfy
$-Δu + u = a(x) f(u)$.
In the particular case of $ f(u)=|u|^{p-2} u$ we show the existence of positive nontrivial solutions beyond the usual Sobolev critical exponent.
△ Less
Submitted 20 February, 2017;
originally announced February 2017.
-
Detecting Wave Function Collapse Without Prior Knowledge
Authors:
Charles Wesley Cowan,
Roderich Tumulka
Abstract:
We are concerned with the problem of detecting with high probability whether a wave function has collapsed or not, in the following framework: A quantum system with a $d$-dimensional Hilbert space is initially in state $ψ$; with probability $0<p<1$, the state collapses relative to the orthonormal basis $b_1,...,b_d$. That is, the final state $ψ'$ is random; it is $ψ$ with probability $1-p$ and…
▽ More
We are concerned with the problem of detecting with high probability whether a wave function has collapsed or not, in the following framework: A quantum system with a $d$-dimensional Hilbert space is initially in state $ψ$; with probability $0<p<1$, the state collapses relative to the orthonormal basis $b_1,...,b_d$. That is, the final state $ψ'$ is random; it is $ψ$ with probability $1-p$ and $b_k$ (up to a phase) with $p$ times Born's probability $|\langle b_k|ψ\rangle|^2$. Now an experiment on the system in state $ψ'$ is desired that provides information about whether or not a collapse has occurred. Elsewhere, we identify and discuss the optimal experiment in case that $ψ$ is either known or random with a known probability distribution. Here we present results about the case that no a priori information about $ψ$ is available, while we regard $p$ and $b_1,...,b_d$ as known. For certain values of $p$, we show that the set of $ψ$s for which any experiment E is more reliable than blind guessing is at most half the unit sphere; thus, in this regime, any experiment is of questionable use, if any at all. Remarkably, however, there are other values of $p$ and experiments E such that the set of $ψ$s for which E is more reliable than blind guessing has measure greater than half the sphere, though with a conjectured maximum of 64% of the sphere.
△ Less
Submitted 24 July, 2015; v1 submitted 27 December, 2013;
originally announced December 2013.
-
Epistemology of Wave Function Collapse in Quantum Physics
Authors:
Charles Wesley Cowan,
Roderich Tumulka
Abstract:
Among several possibilities for what reality could be like in view of the empirical facts of quantum mechanics, one is provided by theories of spontaneous wave function collapse, the best known of which is the Ghirardi-Rimini-Weber (GRW) theory. We show mathematically that in GRW theory (and similar theories) there are limitations to knowledge, that is, inhabitants of a GRW universe cannot find ou…
▽ More
Among several possibilities for what reality could be like in view of the empirical facts of quantum mechanics, one is provided by theories of spontaneous wave function collapse, the best known of which is the Ghirardi-Rimini-Weber (GRW) theory. We show mathematically that in GRW theory (and similar theories) there are limitations to knowledge, that is, inhabitants of a GRW universe cannot find out all the facts true about their universe. As a specific example, they cannot accurately measure the number of collapses that a given physical system undergoes during a given time interval; in fact, they cannot reliably measure whether one or zero collapses occur. Put differently, in a GRW universe certain meaningful, factual questions are empirically undecidable. We discuss several types of limitations to knowledge and compare them with those in other (no-collapse) versions of quantum mechanics, such as Bohmian mechanics. Most of our results also apply to observer-induced collapses as in orthodox quantum mechanics (as opposed to the spontaneous collapses of GRW theory).
△ Less
Submitted 19 February, 2014; v1 submitted 2 July, 2013;
originally announced July 2013.
-
Can One Detect Whether a Wave Function Has Collapsed?
Authors:
Charles Wesley Cowan,
Roderich Tumulka
Abstract:
Consider a quantum system prepared in state $ψ$, a unit vector in a $d$-dimensional Hilbert space. Let $b_1,...,b_d$ be an orthonormal basis and suppose that, with some probability $0<p<1$, $ψ$ ``collapses,'' i.e., gets replaced by $b_k$ (possibly times a phase factor) with Born's probability $|\langle b_k|ψ\rangle|^2$. The question we investigate is: How well can any quantum experiment on the sys…
▽ More
Consider a quantum system prepared in state $ψ$, a unit vector in a $d$-dimensional Hilbert space. Let $b_1,...,b_d$ be an orthonormal basis and suppose that, with some probability $0<p<1$, $ψ$ ``collapses,'' i.e., gets replaced by $b_k$ (possibly times a phase factor) with Born's probability $|\langle b_k|ψ\rangle|^2$. The question we investigate is: How well can any quantum experiment on the system determine afterwards whether a collapse has occurred? The answer depends on how much is known about the initial vector $ψ$. We provide a number of different results addressing several variants of the question. In each case, no experiment can provide more than rather limited probabilistic information. In case $ψ$ is drawn randomly with uniform distribution over the unit sphere in Hilbert space, no experiment performs better than a blind guess without measurement; that is, no experiment provides any useful information.
△ Less
Submitted 7 January, 2014; v1 submitted 2 July, 2013;
originally announced July 2013.
-
Stability of entire solutions to supercritical elliptic problems involving advection
Authors:
Craig Cowan
Abstract:
We examine the equation given by \begin{equation} \label{eq_abstract} -Δu + a(x) \cdot \nabla u = u^p \qquad \mbox{in $ \IR^N$,} \end{equation} where $p>1$ and $ a(x)$ is a smooth vector field satisfying some decay conditions. We show that for $ p < p_c$, the Joseph-Lundgren exponent, that there is no positive stable solution of (\ref{eq_abstract}) provided one imposes a smallness condition on…
▽ More
We examine the equation given by \begin{equation} \label{eq_abstract} -Δu + a(x) \cdot \nabla u = u^p \qquad \mbox{in $ \IR^N$,} \end{equation} where $p>1$ and $ a(x)$ is a smooth vector field satisfying some decay conditions. We show that for $ p < p_c$, the Joseph-Lundgren exponent, that there is no positive stable solution of (\ref{eq_abstract}) provided one imposes a smallness condition on $a$ along with a divergence free condition. In the other direction we show that for $ N \ge 4$ and $ p > \frac{N-1}{N-3}$ there exists a positive solution of (\ref{eq_abstract}) provided $a$ satisfies a smallness condition. For $ p>p_c$ we show the existence of a positive stable solution of (\ref{eq_abstract}) provided $a$ is divergence free and satisfies a smallness condition.
△ Less
Submitted 19 May, 2013;
originally announced May 2013.
-
Supercritical elliptic problems on a perturbation of the ball
Authors:
Craig Cowan
Abstract:
We examine the Hénon equation $ -Δu =|x|^αu^p$ in $ Ω\subset \mathbb{R}^N$ with $u=0$ on $ \partial Ω$ where $ 0 < α$. We show there exists a sequence $ \{p_k\}_k \subset [ \frac{N+2}{N-2}, p_α(N)]$ with $p_1 < p_2 <p_3 < ...$, $ p_k \nearrow p_α(N)$ such that for any $ \frac{N+2}{N-2} \le p < p_α(N)$, which avoids $ \{p_k\}_k $, there exists a positive classical solution of the Hénon equation, pr…
▽ More
We examine the Hénon equation $ -Δu =|x|^αu^p$ in $ Ω\subset \mathbb{R}^N$ with $u=0$ on $ \partial Ω$ where $ 0 < α$. We show there exists a sequence $ \{p_k\}_k \subset [ \frac{N+2}{N-2}, p_α(N)]$ with $p_1 < p_2 <p_3 < ...$, $ p_k \nearrow p_α(N)$ such that for any $ \frac{N+2}{N-2} \le p < p_α(N)$, which avoids $ \{p_k\}_k $, there exists a positive classical solution of the Hénon equation, provided $ Ω$ is a sufficiently small perturbation of the unit ball. We also examine the Lane-Emden-Fowler equation in the case of an exterior domain; ie. $ -Δu = u^p$ in $ Ω$, an exterior domain, with $ u=0 $ on $ \partial Ω$. We show the existence of $ \frac{N+2}{N-2} \le p_1 < p_2 < p_3<...$ with $ p_k \rightarrow \infty$ such that if $ \frac{N+2}{N-2} < p$, which avoids $\{p_k\}_k$, then there exists a positive \emph{fast decay} classical solution, provided $ Ω$ is a sufficiently small perturbation of the exterior of the unit ball.
△ Less
Submitted 24 October, 2013; v1 submitted 2 February, 2013;
originally announced February 2013.
-
Liouville theorems for stable Lane-Emden systems and biharmonic problems
Authors:
Craig Cowan
Abstract:
We examine the elliptic system given by {equation} \label{system_abstract}
-Δu = v^p, \qquad -Δv = u^θ, \qquad \{in} \IR^N, {equation} for $ 1 < p \le θ$ and the fourth order scalar equation {equation} \label{fourth_abstract} Δ^2 u = u^θ, \qquad \{in $ \IR^N$,} {equation} where $ 1 < θ$. We prove various Liouville type theorems for positive stable solutions. For instance we show there are no pos…
▽ More
We examine the elliptic system given by {equation} \label{system_abstract}
-Δu = v^p, \qquad -Δv = u^θ, \qquad \{in} \IR^N, {equation} for $ 1 < p \le θ$ and the fourth order scalar equation {equation} \label{fourth_abstract} Δ^2 u = u^θ, \qquad \{in $ \IR^N$,} {equation} where $ 1 < θ$. We prove various Liouville type theorems for positive stable solutions. For instance we show there are no positive stable solutions of (\ref{system_abstract}) (resp. (\ref{fourth_abstract})) provided $ N \le 10$ and $ 2 \le p \le θ$ (resp. $ N \le 10$ and $1 < θ$). Results for higher dimensions are also obtained.
These results regarding stable solutions on the full space imply various Liouville theorems for positive (possibly unstable) bounded solutions of
{equation} \label{eq_half_abstract}
-Δu = v^p, \qquad -Δv = u^θ, \qquad \{in} \IR^{N-1}, {equation} with $ u=v=0$ on $ \partial \IR^N_+$. In particular there is no positive bounded solution of (\ref{eq_half_abstract}) for any $ 2 \le p \le θ$ if $ N \le 11$. Higher dimensional results are also obtained.
△ Less
Submitted 6 April, 2013; v1 submitted 4 July, 2012;
originally announced July 2012.
-
Regularity of stable solutions of a Lane-Emden type system
Authors:
Craig Cowan
Abstract:
We examine the system given by
\hfill -Δu = λ(v+1)^p \qquad Ω
\hfill -Δv = γ(u+1)^θ\qquad Ω,
\hfill u = v =0 \qquad \quad \partial Ω,
where $ λ,γ$ are positive parameters and where $ 1 < p \le θ$ and where $ Ω$ is a smooth bounded domain in $ R^N$. We show the extremal solutions associated with the above system are bounded provided
[\frac{N}{2} < 1 + \frac{2(θ+1)}{pθ-1} (\sqrt{\frac{p θ(p+1)}{θ+…
▽ More
We examine the system given by
\hfill -Δu = λ(v+1)^p \qquad Ω
\hfill -Δv = γ(u+1)^θ\qquad Ω,
\hfill u = v =0 \qquad \quad \partial Ω,
where $ λ,γ$ are positive parameters and where $ 1 < p \le θ$ and where $ Ω$ is a smooth bounded domain in $ R^N$. We show the extremal solutions associated with the above system are bounded provided
[\frac{N}{2} < 1 + \frac{2(θ+1)}{pθ-1} (\sqrt{\frac{p θ(p+1)}{θ+1}} + \sqrt{\frac{p θ(p+1)}{θ+1} - \sqrt{\frac{p θ(p+1)}{θ+1}}})]
△ Less
Submitted 19 June, 2012;
originally announced June 2012.
-
Regularity of semi-stable solutions to fourth order nonlinear eigenvalue problems on general domains
Authors:
Craig Cowan,
Nassif Ghoussoub
Abstract:
We examine the fourth order problem $Δ^2 u = λf(u) $ in $ Ω$ with $ Δu = u =0 $ on $ \partial Ω$, where $ λ> 0$ is a parameter, $ Ω$ is a bounded domain in $ R^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$, $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$. We show the regularity of all semi-stable solutions and hence of the extremal solutions, provided [N < 2 + 4…
▽ More
We examine the fourth order problem $Δ^2 u = λf(u) $ in $ Ω$ with $ Δu = u =0 $ on $ \partial Ω$, where $ λ> 0$ is a parameter, $ Ω$ is a bounded domain in $ R^N$ and where $f$ is one of the following nonlinearities: $ f(u)=e^u$, $ f(u)=(1+u)^p $ or $ f(u)= \frac{1}{(1-u)^p}$ where $ p>1$. We show the regularity of all semi-stable solutions and hence of the extremal solutions, provided [N < 2 + 4 \sqrt{2} + 4 \sqrt{2 - \sqrt{2}} \approx 10.718 when $ f(u)=e^u$,] and [\frac{N}{4} < \frac{p}{p-1} + \frac{p+1}{p-1} (\sqrt{\frac{2p}{p+1}} + \sqrt{\frac{2p}{p+1} - \sqrt{\frac{2p}{p+1}}} - 1/2)] when $ f(u)=(u+1)^p$. New results are also obtained in the case where $ f(u)=(1-u)^{-p}$. These are substantial improvements to various results on critical dimensions obtained recently by various authors. We view the equation as a system and then derive a new stability inequality, valid for minimal solutions, which allows a method of proof which is reminiscent of the second order case.
△ Less
Submitted 15 June, 2012;
originally announced June 2012.
-
Regularity of the extremal solutions associated to elliptic systems
Authors:
Craig Cowan,
Mostafa Fazly
Abstract:
We examine the two elliptic systems given by [(G)_{λ,γ} \quad -Δu = λf'(u) g(v), \quad -Δv = γf(u) g'(v) \quad in $ Ω$,] and [(H)_{λ,γ} \quad -Δu = λf(u) g'(v), \quad -Δv = γf'(u) g(v) \quad in $ Ω$},] with zero Dirichlet boundary conditions and where $ λ,γ$ are positive parameters. We show that for arbitrary nonlinearities $f$ and $g$ that the extremal solutions associated with $ (G)_{λ,γ}$ are b…
▽ More
We examine the two elliptic systems given by [(G)_{λ,γ} \quad -Δu = λf'(u) g(v), \quad -Δv = γf(u) g'(v) \quad in $ Ω$,] and [(H)_{λ,γ} \quad -Δu = λf(u) g'(v), \quad -Δv = γf'(u) g(v) \quad in $ Ω$},] with zero Dirichlet boundary conditions and where $ λ,γ$ are positive parameters. We show that for arbitrary nonlinearities $f$ and $g$ that the extremal solutions associated with $ (G)_{λ,γ}$ are bounded provided $ Ω$ is a convex domain in $ \mathbb R^N$ where $ N \le 3$. In the case of a radial domain we show the extremal solutions are bounded provided $ N <10$. The extremal solutions associated with $ (H)_{λ,γ}$ are bounded in the case where $ f$ is arbitrary, $ g(v)=(v+1)^q$ where $ 1 <q<\infty$ and where $ Ω$ is a bounded convex domain in $ \mathbb R^N$, $ N \le 3$. Results are also obtained in higher dimensions for $ (G)_{λ,γ}$ and $(H)_{λ,γ}$ for the case of explicit nonlinearities of the form $ f(u)=(u+1)^p$ and $ g(v)=(v+1)^q$.
△ Less
Submitted 19 March, 2014; v1 submitted 12 June, 2012;
originally announced June 2012.
-
A Liouville theorem for a fourth order Hénon equation
Authors:
Craig Cowan
Abstract:
We examine the following fourth order Hénon equation
\label{pipe} Δ^2 u = |x|^αu^p \qquad \text{in}\ \IR^N,
where $ 0 < α$. Define the Hardy-Sobolev exponent $ p_4(α):= \frac{N+4 + 2 α}{N-4}$. We show that in dimension N=5 there are no positive bounded classical solutions of (\ref{pipe}) provided $ 1 < p < p_4(α)$.
We examine the following fourth order Hénon equation
\label{pipe} Δ^2 u = |x|^αu^p \qquad \text{in}\ \IR^N,
where $ 0 < α$. Define the Hardy-Sobolev exponent $ p_4(α):= \frac{N+4 + 2 α}{N-4}$. We show that in dimension N=5 there are no positive bounded classical solutions of (\ref{pipe}) provided $ 1 < p < p_4(α)$.
△ Less
Submitted 10 October, 2011;
originally announced October 2011.
-
Uniqueness of solutions for elliptic systems and fourth order equations involving a parameter
Authors:
Craig Cowan
Abstract:
We examine the equation \[Δ^2 u = λf(u) \qquad Ω, \] with either Navier or Dirichlet boundary conditions. We show some uniqueness results under certain constraints on the parameter $ λ$. We obtain similar results for the sytem
{equation*} \{{array}{rrl} -Δu &=& λf(v) \qquad Ω, -Δv &=& γg(u) \qquad Ω, u&=& v = 0 \qquad \partial Omega. {array}. {equation*}
We examine the equation \[Δ^2 u = λf(u) \qquad Ω, \] with either Navier or Dirichlet boundary conditions. We show some uniqueness results under certain constraints on the parameter $ λ$. We obtain similar results for the sytem
{equation*} \{{array}{rrl} -Δu &=& λf(v) \qquad Ω, -Δv &=& γg(u) \qquad Ω, u&=& v = 0 \qquad \partial Omega. {array}. {equation*}
△ Less
Submitted 23 September, 2011;
originally announced September 2011.
-
Uniqueness of solutions for a nonlocal elliptic eigenvalue problem
Authors:
Craig Cowan,
Mostafa Fazly
Abstract:
We examine equations of the form {eqnarray*} \{{array}{lcl} \hfill \HA u &=& λg(x) f(u) \qquad \text{in}\ Ω\hfill u&=& 0 \qquad \qquad \qquad \text{on}\ \pOm, {array}.
{eqnarray*} where $ λ>0$ is a parameter and $ Ω$ is a smooth bounded domain in $ \IR^N$, $ N \ge 2$. Here $ g$ is a positive function and $ f$ is an increasing, convex function with $ f(0)=1$ and either $ f$ blows up at 1 or $ f$…
▽ More
We examine equations of the form {eqnarray*} \{{array}{lcl} \hfill \HA u &=& λg(x) f(u) \qquad \text{in}\ Ω\hfill u&=& 0 \qquad \qquad \qquad \text{on}\ \pOm, {array}.
{eqnarray*} where $ λ>0$ is a parameter and $ Ω$ is a smooth bounded domain in $ \IR^N$, $ N \ge 2$. Here $ g$ is a positive function and $ f$ is an increasing, convex function with $ f(0)=1$ and either $ f$ blows up at 1 or $ f$ is superlinear at infinity. We show that the extremal solution $u^*$ associated with the extremal parameter $ λ^*$ is the unique solution. We also show that when $f$ is suitably supercritical and $ Ω$ satisfies certain geometrical conditions then there is a unique solution for small positive $ λ$.
△ Less
Submitted 11 September, 2012; v1 submitted 23 September, 2011;
originally announced September 2011.
-
On stable entire solutions of semi-linear elliptic equations with weights
Authors:
Craig Cowan,
Mostafa Fazly
Abstract:
We are interested in the existence versus non-existence of non-trivial stable sub- and super-solutions of {equation} \label{pop} -div(ω_1 \nabla u) = ω_2 f(u) \qquad \text{in}\ \ \IR^N, {equation} with positive smooth weights $ ω_1(x),ω_2(x)$. We consider the cases $ f(u) = e^u, u^p$ where $p>1$ and $ -u^{-p}$ where $ p>0$. We obtain various non-existence results which depend on the dimension $N$…
▽ More
We are interested in the existence versus non-existence of non-trivial stable sub- and super-solutions of {equation} \label{pop} -div(ω_1 \nabla u) = ω_2 f(u) \qquad \text{in}\ \ \IR^N, {equation} with positive smooth weights $ ω_1(x),ω_2(x)$. We consider the cases $ f(u) = e^u, u^p$ where $p>1$ and $ -u^{-p}$ where $ p>0$. We obtain various non-existence results which depend on the dimension $N$ and also on $ p$ and the behaviour of $ ω_1,ω_2$ near infinity. Also the monotonicity of $ ω_1$ is involved in some results. Our methods here are the methods developed by Farina, \cite{f2}. We examine a specific class of weights $ ω_1(x) = (|x|^2 +1)^\fracα{2}$ and $ ω_2(x) = (|x|^2+1)^\fracβ{2} g(x)$ where $ g(x)$ is a positive function with a finite limit at $ \infty$. For this class of weights non-existence results are optimal. To show the optimality we use various generalized Hardy inequalities.
△ Less
Submitted 15 August, 2011;
originally announced August 2011.
-
Regularity of the extremal solutions in a Gelfand system problem
Authors:
Craig Cowan
Abstract:
We examine a Gelfand type system and show the extremal solutions are bounded provided we are close enough to the scalar case.
We examine a Gelfand type system and show the extremal solutions are bounded provided we are close enough to the scalar case.
△ Less
Submitted 20 August, 2010;
originally announced August 2010.
-
Regularity of Extremal Solutions in Fourth Order Nonlinear Eigenvalue Problems on General Domains
Authors:
Craig Cowan,
Pierpaolo Esposito,
Nassif Ghoussoub
Abstract:
We examine the regularity of the extremal solution of the nonlinear eigenvalue problem $Δ^2 u = λf(u)$ on a general bounded domain $Ω$ in $ \IR^N$, with the Navier boundary condition $ u=Δu =0 $ on $ \pOm$. Here $ λ$ is a positive parameter and $f$ is a non-decreasing nonlinearity with $f(0)=1$. We give general pointwise bounds and energy estimates which show that for any convex and superlinear…
▽ More
We examine the regularity of the extremal solution of the nonlinear eigenvalue problem $Δ^2 u = λf(u)$ on a general bounded domain $Ω$ in $ \IR^N$, with the Navier boundary condition $ u=Δu =0 $ on $ \pOm$. Here $ λ$ is a positive parameter and $f$ is a non-decreasing nonlinearity with $f(0)=1$. We give general pointwise bounds and energy estimates which show that for any convex and superlinear nonlinearity $f$, the extremal solution $ u^*$ is smooth provided $N\leq 5$.
△ Less
Submitted 19 March, 2010;
originally announced March 2010.
-
The critical dimension for a 4th order problem with singular nonlinearity
Authors:
Craig Cowan,
Pierpaolo Esposito,
Nassif Ghoussoub,
Amir Moradifam
Abstract:
We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$. We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a "pull-in voltage"…
▽ More
We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$. We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a "pull-in voltage" $\la^*>0$ such that a stable classical solution $u_\la$ with $0<u_\la<1$ exists for $\la\in (0,\la^*)$, while there is none of any kind when $\la>\la^*$. Our main result asserts that the extremal solution $u_{λ^*}$ is regular $(\sup_B u_{λ^*} <1)$ provided $ N \le 8$ while $u_{λ^*} $ is singular ($\sup_B u_{λ^*} =1$) for $N \ge 9$, in which case $1-C_0|x|^{4/3}\leq u_{λ^*} (x) \leq 1-|x|^{4/3}$ on the unit ball, where $ C_0:= (\frac{λ^*}{\overlineλ})^{1/3}$ and $ \barλ:= {8/9} (N-{2/3}) (N- {8/3})$.
△ Less
Submitted 15 April, 2009;
originally announced April 2009.
-
Estimates on Pull-in Distances in MEMS Models and other Nonlinear Eigenvalue Problems
Authors:
Nassif Ghoussoub,
Craig Cowan
Abstract:
Motivated by certain mathematical models for Micro-Electro-Mechanical Systems (MEMS), we give upper and lower $L^\infty$ estimates for the minimal solutions of nonlinear eigenvalue problems of the form $-Δu = λf(x) F(u)$ on a smooth bounded domain $ Ω$ in $\IR^N$. We are mainly interested in the {\it pull-in distance}, that is the $L^\infty-$norm of the extremal solution $u^*$ and how it depends…
▽ More
Motivated by certain mathematical models for Micro-Electro-Mechanical Systems (MEMS), we give upper and lower $L^\infty$ estimates for the minimal solutions of nonlinear eigenvalue problems of the form $-Δu = λf(x) F(u)$ on a smooth bounded domain $ Ω$ in $\IR^N$. We are mainly interested in the {\it pull-in distance}, that is the $L^\infty-$norm of the extremal solution $u^*$ and how it depends on the geometry of the domain, the dimension of the space, and the so-called {\it permittivity profile} $f$. In particular, our results provide mathematical proofs for various observed phenomena, as well as rigorous derivations for several estimates obtained numerically by Pelesko \cite{P}, Guo-Pan-Ward \cite{GPW} and others in the case of the MEMS non-linearity $F(u)=\frac{1}{(1-u)^2}$ and for power-law permittivity profiles $f(x)=|x|^α$.
△ Less
Submitted 25 March, 2009;
originally announced March 2009.
-
The critical dimension for a fourth order elliptic problem with singular nonlinearity
Authors:
Craig Cowan,
Pierpaolo Esposito,
Nassif Ghoussoub
Abstract:
We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$. We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a "pull-in voltage"…
▽ More
We study the regularity of the extremal solution of the semilinear biharmonic equation $\bi u=\fλ{(1-u)^2}$, which models a simple Micro-Electromechanical System (MEMS) device on a ball $B\subset\IR^N$, under Dirichlet boundary conditions $u=\partial_νu=0$ on $\partial B$. We complete here the results of F.H. Lin and Y.S. Yang \cite{LY} regarding the identification of a "pull-in voltage" $\la^*>0$ such that a stable classical solution $u_\la$ with $0<u_\la<1$ exists for $\la\in (0,\la^*)$, while there is none of any kind when $\la>\la^*$. Our main result asserts that the extremal solution $u_{λ^*}$ is regular $(\sup_B u_{λ^*} <1)$ provided $ N \le 8$ while $u_{λ^*} $ is singular ($\sup_B u_{λ^*} =1$) for $N \ge 17$, in which case $1-C_0|x|^{4/3}\leq u_{λ^*} (x) \leq 1-|x|^{4/3}$ on the unit ball, where $ C_0:= <(\frac{λ^*}{\barλ}>)^{1/3}$ and $ \barλ:= \frac{8 (N-{2/3}) (N- {8/3})}{9}$. The singular character of the extremal solution for the remaining cases (i.e., when $9\leq N\leq 16$) requires a computer assisted proof and will not be addressed in this paper.
△ Less
Submitted 29 October, 2008;
originally announced October 2008.
-
Regularity of the extremal solution in a MEMS model with advection
Authors:
Nassif Ghoussoub,
Craig Cowan
Abstract:
We consider the regularity of the extremal solution of the nonlinear eigenvalue problem (S)_λ\qquad {rcr} -Δu + c(x) \cdot \nabla u &=& \fracλ{(1-u)^2} \qquad {in $ Ω$}, u &=& 0 \qquad {on $ \pOm$}, where $ Ω$ is a smooth bounded domain in $ \IR^N$ and $ c(x)$ is a smooth bounded vector field on $\bar Ω$. We show that, just like in the advection-free model ($c\equiv 0$), all semi-stable solution…
▽ More
We consider the regularity of the extremal solution of the nonlinear eigenvalue problem (S)_λ\qquad {rcr} -Δu + c(x) \cdot \nabla u &=& \fracλ{(1-u)^2} \qquad {in $ Ω$}, u &=& 0 \qquad {on $ \pOm$}, where $ Ω$ is a smooth bounded domain in $ \IR^N$ and $ c(x)$ is a smooth bounded vector field on $\bar Ω$. We show that, just like in the advection-free model ($c\equiv 0$), all semi-stable solutions are smooth if (and only if) the dimension $N\leq 7$. The novelty here comes from the lack of a suitable variational characterization for the semi-stability assumption. We overcome this difficulty by using a general version of Hardy's inequality. In a forthcoming paper \cite{CG2}, we indicate how this method applies to many other nonlinear eigenvalue problems involving advection (including the Gelfand problem), showing that they all essentially have the same critical dimension as their advection-free counterparts.
△ Less
Submitted 7 October, 2008;
originally announced October 2008.
-
Hardy inequalities for general elliptic operators with improvements
Authors:
Craig Cowan
Abstract:
We obtain optimal generalized versions of Hardy inequalities, which as special cases contain Hardy's inequality and Hardy's inequality involving the distance function to the boundary of $ Ω$. In addition we obtain neccesary and sufficient conditions to add improvements in the form of non negative potentials.
We obtain optimal generalized versions of Hardy inequalities, which as special cases contain Hardy's inequality and Hardy's inequality involving the distance function to the boundary of $ Ω$. In addition we obtain neccesary and sufficient conditions to add improvements in the form of non negative potentials.
△ Less
Submitted 5 May, 2008;
originally announced May 2008.
