Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
90 views

Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\...
Akira's user avatar
  • 825
2 votes
0 answers
102 views

Semiclassical limit of spectral gap of Schrödinger operators with nonsmooth potential

Let $\Omega$ be a connected compact subset of $\mathbb{R}^d$. It is well known that for a smooth potential $V:\Omega \to \mathbb{R}$ that has a unique nondegenerate minimum $V(0) = 0$, the operator $H ...
Lwins's user avatar
  • 1,551
9 votes
2 answers
418 views

Reference request: Parabolic Equations

I am a PhD student working mainly on Elliptic Equations. With the other PhDs of my department, we organised a reading group, meaning that we agreed on a book we were all interested in, we meet weekly ...
Falcon's user avatar
  • 452
4 votes
3 answers
309 views

Intriguing simple question about Sobolev space $W^{1,p}(\Omega)$

Let $w_1,w_2\in W^{1,p}(\Omega)$ be two functions with $w_1,w_2>0$ and $\dfrac{w_2}{w_1},\dfrac{w_1}{w_2}\in L^{\infty}(\Omega)$, where $\Omega\subset\mathbb{R}^N$ is a bounded domain (i.e. open ...
Bogdan's user avatar
  • 1,759
2 votes
1 answer
179 views

Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$

Let us consider the heat equation $$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$ where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
Falcon's user avatar
  • 452
1 vote
0 answers
88 views

Schauder estimate for $f \in L^\infty$

I was reading an article where at some point the author uses the following estimate: Let $u$ be a solution of $$\Delta u = f \quad \text{in } B_1$$ for $f \in L^\infty$. Then $u \in C^{1,1 - \...
Falcon's user avatar
  • 452
1 vote
1 answer
101 views

Unique continuation property of the equation $ -\Delta u=|u|^{p-1}u $ with $ p>2 $

Assume that $ \{u_i\}_{i=1}^{2} $ satisfies $ -\Delta u_i=|u_i|^{p-1}u_i $ in $ B_1 $ with $ p>2 $ and $ u_1=u_2 $ in an open set $ A\subset B_1 $. I want to ask that if $ u_1=u_2 $ in $ B_1 $. ...
Luis Yanka Annalisc's user avatar
2 votes
1 answer
196 views

Estimate for the operator $A A_D^{-1}$

Let $O\subset\mathbb{R}^d$ be a bounded domain of the class $C^{1,1}$ (or $C^2$ for simplicity). Let the operator $A_D$ be formally given by the differential expression $A=-\operatorname{div}g(x)\...
Yulia Meshkova's user avatar
8 votes
3 answers
1k views

Are all positive eigenfunctions principal eigenfunctions?

In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$? Also, more generally, does this also apply for $...
Holden Lyu's user avatar
0 votes
0 answers
73 views

Operator globally hypoelliptic

An operateor $T$ is globally hypoelliptic if : $u\in S'(\Bbb R^n),Tu\in S(\Bbb R^n)$ imply $u\in S(\Bbb R^n)$. My question why if $u\in L^2(\Bbb R^n): Tu =\lambda u$. Then $u\in S(\Bbb R^n)$. where $\...
zoran  Vicovic's user avatar
2 votes
0 answers
75 views

Regularity of solutions to an elliptic boundary value problem

Let $M = [1,\infty)\times S^2$. For an integer $k \geq 2$ and number $\tau<0$, define the space $L^2_{\tau}([1,\infty);H^k(S^2))$ to be all $H^k(S^2)$-valued functions $u$ on $[1,\infty)$ with $\...
Laithy's user avatar
  • 969
3 votes
0 answers
84 views

About the naturality of Krasnoselskii genus on Variational Methods

I have recently watched a seminar about Variational Methods from Mónica Clapp and she gave a very interesting motivation of why the Lusternik–Schnirelmann category (click on the link for the ...
Pitbull's user avatar
  • 131
4 votes
1 answer
147 views

Embeddings of the maximal domain for the Laplacian

Let $\Omega \subset \mathbb{R}^n$ be a bounded smooth domain and $n \geq 2$. Consider the subspace of $L^2$-functions whose distributional Laplacian is also an $L^2$-function: $$D = \left\{ f \in L^2(\...
MeS's user avatar
  • 41
2 votes
0 answers
77 views

Question about the ''crater'' in mountain-pass theorem while reading a paper of solving mean-field equation by mountain-pass theorem

Actually, I'm reading a paper which finds the saddle point of a functional, of course the unbounded below energy functional will suggest a potential saddle, but the structure of mountain pass is the ...
Elio Li's user avatar
  • 809
3 votes
0 answers
41 views

Functional of fully nonlinear equations

Let $\left(\mathcal{M}, g_0\right)$ be a compact Riemannian manifold of dimension $n>2$ and denote by 'Ric' and $R$ respectively the Ricci tensor and the scalar curvature. The $k$-Yamabe problem is ...
Davidi Cone's user avatar
1 vote
1 answer
256 views

Moser iteration in dimension $6$

Let $M$ be a closed Riemannian manifold of dimension $6$. We have a function $f\geq 0$ on $M$ satisfying \begin{align*} \Delta f \leq gf-\frac{3}{4}f^2 \end{align*} Where $g$ is another smooth ...
Partha's user avatar
  • 954
5 votes
0 answers
213 views

Elliptic regularity and Sobolev spaces

Consider a linear partial differential operator $D:C^{\infty}(\mathbb{R}^{d})\to C^{\infty}(\mathbb{R}^{d})$, i.e. $$D=\sum_{\alpha\in\mathbb{N}^{d}}a^{\alpha}(x)\partial^{\alpha}_{x}$$ where $a$ are ...
G. Blaickner's user avatar
  • 1,429
4 votes
0 answers
129 views

Trace-class heat semigroups

Let $(M,g)$ be a compact Riemannian manifold and $\Delta_g$ its Laplace operator. Let $\varphi$ be a test function on $\mathbf{R}_{>0}$. We define the operator on, say, $L^2(M)$ $$T_{\varphi}(u) :=...
user avatar
1 vote
1 answer
100 views

Is there literature on the existence of solutions to elliptic systems on unbounded manifolds?

Most of the current literature I've seen is either for compact Riemannian manifolds or unbounded subsets of Euclidean space. In this article, the authors consider a priori bounds on such systems on ...
Chris's user avatar
  • 419
0 votes
0 answers
115 views

Existence of Green functions and some properties

Let $\Omega$ be a smooth domain in $\mathbb{R}^N$, $N\geq 3$, $p\in \Omega$ is a fixed point, $\lambda$ is a parameter (can be 0,>0,<0), if there exisits a Green function $G_{\lambda}(x,p)$ ...
Davidi Cone's user avatar
2 votes
0 answers
94 views

Existence of Green function for some perturbation of Laplace operator

Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^N$ $(N\geq2)$ and $\lambda>0$ is a small parameter. I wonder if there exists a Green function such that $$(\Delta+\lambda) G(x,y)=\delta_x\...
Davidi Cone's user avatar
9 votes
2 answers
1k views

Density of restrictions of harmonic functions inside a ball

Let $B$ be the closed unit ball in $\mathbb R^3$ centered at the origin and let $U= \{x\in \mathbb R^3\,:\, \frac{1}{2}\leq |x| \leq 1\}.$ Let $$ S_U= \{u \in C^{\infty}(U)\,:\, \Delta u =0 \quad\text{...
Ali's user avatar
  • 4,143
0 votes
1 answer
102 views

Limit of minimizers of a class of functionals

Assume that $ \Omega $ is a smooth bounded domain in $ \mathbb{R}^n $. Consider a functional $$ \mathcal{F}(u)=\int_\Omega(|\nabla u|^2+h^{-1}|u-u_0|^2) \, dx $$ where $ h>0 $ is a parameter and $ ...
Luis Yanka Annalisc's user avatar
2 votes
0 answers
114 views

A maximum principle in $\mathbb{R}^N$

Let $\delta > 0$ and define $$ H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N. $$ By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
Lucas Linhares's user avatar
7 votes
0 answers
80 views

Given composition rules, determining whether a continuous map between smooth functions is a pseudodifferential operator

Let $M$ be a closed manifold, and let $P:C^{\infty}(M)\rightarrow C^{\infty}(M)$ be a continuous linear map in the smooth Fréchet topologies. In what is to come, if it helps, one can assume further ...
MyShepherd's user avatar
7 votes
1 answer
342 views

Does the pointwise mean value property imply harmonicity?

Assume $u:\Omega\subset\mathbb{R}^d\to\mathbb{R}$ is continuous and satisfies the property: for every $x\in \mathbb{\Omega}$ there is $r_x>0$ such that $$ u(x)=\frac{1}{|B(x,r_x)|}\int_{B(x,r_x)} u(...
Guy Fsone's user avatar
  • 1,101
0 votes
2 answers
238 views

Fractional Laplacian of $(a-x)_+^\alpha$ in $(0,1)$

How can I compute the spectral fractional Laplacian of $(a-x)_+^\alpha$ on $\Omega = (0,1)$? Here the operator is defined as $$(-\Delta)^s u = c_{N,s} \int_0^\infty (e^{t\Delta_N}u(x) - u(x)) t^{-1 - ...
Jay's user avatar
  • 109
21 votes
1 answer
742 views

Non real eigenvalues for elliptic equations

I am looking for an example of a pure second order uniformly elliptic operator $L=\sum_{i,j=1}^da_{ij}(x)D_{ij}$ in a bounded domain $\Omega$ (with Dirichlet boundary conditions, for example) having a ...
Giorgio Metafune's user avatar
2 votes
1 answer
116 views

Representing solutions of $-\Delta u+au=f$ when $a\leq 0$

Let $\Omega=[0,1]\times [0,1]$ be the square. We say a function $f\in H^1(\Omega)$ is periodic on $\Omega$ if $f(x,0)=f(x,1)$ and $f(0,y)=f(1,y)$ (in the sense of traces of course). Now consider the ...
demlevi33's user avatar
  • 153
3 votes
0 answers
324 views

Would you help me to find this expression?

I'm studying a paper, which I'll include a small piece here. And I'm struggling to calculate $$C_n\|u_{m,n}\|^{\left(\frac{2*}{2}\right)^k\frac{2*-q}{(r_k)^k}}_{L^{2*}(\Omega)}$$ Where $\Omega$ is an ...
Silvinha's user avatar
4 votes
1 answer
343 views

Conditions for the existence of a solution to a semilinear second-order PDE with a-priori bounds

Consider the general semilinear elliptic second-order PDE $$ u_t-\mathcal L u=f\left(t,x,u,\nabla u\right) $$ where $\mathcal L$ is an elliptic linear operator (like minus the Laplace operator), $t \...
FDR's user avatar
  • 91
4 votes
1 answer
698 views

Poincare Inequality for $H^2$ function satisfying homogeneous Robin boundary conditions

Let $\Omega\subset\mathbb{R}^3$ be a bounded smooth domain. In general, for a Poincare inequality of the type $$\|u\|_{L^2}\le C \|\nabla u\|_{L^2}$$ to hold for all $u\in X\subset H^1(\Omega)$ and $C$...
Fozz's user avatar
  • 287
2 votes
1 answer
432 views

Second-order elliptic regularity with rough coefficients

Let $\Omega \subseteq \mathbb R^n$ be a bounded open set with smooth boundary. Let $k\geq 1$, $\alpha\in(0,1)$, $a_{ij},b_i,f \in C^{k,\alpha}(\Omega)$ for $i,j=1,...,n$, and define the operator $$L = ...
atzol's user avatar
  • 45
4 votes
0 answers
103 views

Characteristic of Sobolev space generated by Hörmander vector fields

Let $\Omega$ be an open bounded domain in $\mathbb{R}^{n}$ with smooth boundary $\partial\Omega$. Suppose that $X=(X_{1},X_{2},\ldots,X_{m})$ are smooth vector fields defined on $\mathbb{R}^{n}$ and ...
pxchg1200's user avatar
  • 287
3 votes
0 answers
110 views

On the relation between ellipticity and Fredholmness as properties of linear PDE's on Fréchet spaces of smooth sections

Let $M$ be a compact manifold equipped with finite rank vector bundles $E$ and $F$ with spaces of $C^{\infty}$ sections denoted $\Gamma(E)$ and $\Gamma(F)$ respectively. It is standard that a ...
Pelle Steffens's user avatar
-1 votes
1 answer
77 views

Applications and motivations of resolvent for elliptic operator

Let $ A(x)=(a_{ij}(x)):\mathbb{R}^d\to\mathbb{R}^{d\times d} $ be a matrix satisfying ellipticity condition, that is \begin{align} \mu^{-1}|\xi|^2\geq \sum_{i,j=1}^da_{ij}(x)\xi_i\xi_j\geq\mu|\xi|^2 \...
Luis Yanka Annalisc's user avatar
2 votes
1 answer
246 views

Change of variable and boundary data for Laplace equation

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ \begin{cases} -\Delta u = 0 & x \in \Omega \\ u = 1 & x \in \partial \Omega \end{cases} $$ Does it make ...
Zac's user avatar
  • 161
3 votes
0 answers
190 views

$C^1$-regularity of solution of a Dirichlet problem

I've been stuck trying to hunt down a proof/reference for a certain regularity result which I need for my thesis (all the authors I've consulted refer to it as "well-known"). Consider the ...
Othman El Hammouchi's user avatar
-1 votes
1 answer
79 views

A question about the commutator $[J^s,u]\partial_x u$

I am studying the use of the commutator for finding the estimate of energy. During my looking through many papers I found that this paper contains a possible typo. Here is the archive version which ...
Mr. Proof's user avatar
  • 159
0 votes
1 answer
239 views

A proof for the existence of smooth solution of PDE in form $\Delta u=f(x, u)$ in Michael E. Taylor's book Partial Differential Equations III

This part is from page 107 in Michael E. Taylor's book Partial Differential Equations III. In this part, we want a proof for the existence of smooth solution of the PDE $\Delta u=f(x, u)$ on $U$ with ...
Elio Li's user avatar
  • 809
2 votes
0 answers
72 views

Semilinear elliptic equations in complex plane

Let $D$ denote the closed unit disk centered at the origin in the complex plane. Let $F: D \times \mathbb C \to \mathbb C$ be a smooth function. Is there any theory for well-posedness (in the sense of ...
Ali's user avatar
  • 4,143
2 votes
1 answer
196 views

Viscosity solutions of $(-\Delta)^s u = 0$ in $\Omega $ with non-homogeneous data $u = 1$ in $\mathbb R^n \setminus \Omega$

Let us consider a smooth bounded domain $\Omega \subset \mathbb R^n$ and the problem $$ (1) \quad \begin{cases} (-\Delta)^s u +\lambda u= 0 & x \in \Omega \\ u = 1 & x \in \mathbb R^n \...
Zac's user avatar
  • 161
2 votes
0 answers
94 views

Existing work on $\Delta u=c-h e^{u}$ on compact manifold with dimension n, I have read J.Kazdan's work, the condition $c > 0, n \ge 3$ is not solved

I'm reading Prof. Kazdan's lectures At page 69, Prof. Kazdan describes the research on the $\Delta u=c-h e^{u}$ PDE on a compact $n$-dimensional manifold before 1983. (Here $c$ is a constant while $h$ ...
Elio Li's user avatar
  • 809
1 vote
0 answers
152 views

Poisson Kernel and solution formula for fractional elliptic problem

$$ k (-\Delta)^s u + u = 0, \qquad x \in U, \\ u(x) = f(x), \qquad x \in \mathbb R^n \setminus U, $$ with $f \in L^\infty(\mathbb R^n)$, $k>0$, and $(-\Delta)^s$ is the singular integral ...
Riku's user avatar
  • 839
2 votes
1 answer
129 views

Spectral analysis for nonlocal elliptic operator

Suppose $\Omega\subset\mathbb{R}^3$ is a bounded domain with smooth boundary. We note by $(-\Delta)^{-1}$ the inverse Laplacian i.e. $f\mapsto u$ where $u$ is the unique solution to $$-\Delta u=f,\...
Fozz's user avatar
  • 287
2 votes
1 answer
288 views

Reference request for semilinear PDEs in dimension 2

I am interested in the study of the (semi-linear, I suppose) equation $$\begin{cases}-\Delta u(x,y)+q(x)u(x,y)+h(x)=f(u(x,y)-kx),\;\;(x,y)\in\Omega,\\ u=g,\;\;\;\text{on }\partial\Omega.\end{cases}$$ ...
UserA's user avatar
  • 597
3 votes
0 answers
170 views

A version of the Nash-Moser inverse function for unbounded domains?

Do there exist versions of the Nash-Moser inverse function theorem applicable to spaces of unbounded smooth functions on unbounded domains in $\mathbb{R}^n$? Any reference would be appreciated but ...
S.Z.'s user avatar
  • 505
3 votes
1 answer
362 views

Solution of the fractional Laplace equation on a ball

What is the expression of the (non $u \equiv 0$) solutions to \begin{align*} (-\Delta)^s u &= 0 && x \in B_r(0) \\ u&=0 && x \in \mathbb R^N \setminus B_r(0), \end{align*} ...
user173196's user avatar
3 votes
1 answer
333 views

References for Green functions of $\nabla \cdot a \nabla$ on a domain with $a \in L^\infty$

I am looking for a reference for basic properties of the Green function for a symmetric, uniformly elliptic operator $\nabla \cdot a \nabla$ where the coefficients $a_{ij}= a_{ji}$ are only assumed to ...
Kernel's user avatar
  • 446
1 vote
0 answers
48 views

Question about higher order mean field equation $\left(-\Delta_{g}\right)^{m} u+\lambda=\lambda \frac{e^{2 m u}}{\int_{M} e^{2 m u} d \mu_{g}}$

I'm reading Dr.Luca Martinazzi's paper Existence of solutions to a higher dimensional mean-field equation on manifolds which proves that for $m \geq 1$, there is an existence result for the equation $$...
Elio Li's user avatar
  • 809