All Questions
163 questions
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 ...
- 505
3
votes
0
answers
96
views
A sequence of functions solving $-\Delta u_n + V u_n = u_{n-1}|_{\partial M}$
Let $M = \mathbb R^3 \setminus B_1$ where $B_1$ is the unit ball.
Let $ h \in C^{\infty}(\partial M)$ and let $u_0$ be the unique function that vanishes at infinity and solves
$$\begin{cases} -\Delta ...
- 969
3
votes
0
answers
125
views
Partial regularity for transmission problem in corner domains
Let $n=2$ or $3$ and $\Omega \subset \mathbb{R}^n$ be an open bounded domain. Let suppose that $\Omega$ is divided in two subdomains $\Omega_1$ and $\Omega_2$ and we define $\Gamma = \partial \Omega_1 ...
- 143
3
votes
0
answers
140
views
Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation
It shall be an old story in PDE.
I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of
$$\inf_{a \in [-1,1]} \{...
- 1,399
3
votes
0
answers
73
views
On the principal eigenvector of an elliptic operator
Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$:
\...
- 1,461
3
votes
0
answers
413
views
Continuously dependent on parameters [closed]
How do we check whether the solution is continuouly dependent on parameters?
Let $\Omega$ be a domain with smooth boundary. Say $f$ and $h$ are smooth. Assume that for each $\theta\in (0, 1]$, the ...
- 41
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}$$
...
- 597
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 = ...
- 45
2
votes
1
answer
205
views
Estimates for an elliptic PDE
Let's say I have an equation of the form $\Delta A = J$ where $J=u\nabla u + A|u|^2$ (Clarification: We are on $\mathbb{R}^3$ and $u$ is assumed to be in $H^1(\mathbb{R}^3)$). Then I could simply ...
- 469
2
votes
2
answers
141
views
Equality of spectra of products of operators
Let $A$ be a linear operator between two Hilbert spaces. Let $A^*$ be its adjoint.
Question. Under what conditions the non-zero spectra of $A^*A$ and $AA^*$ coincide counting multiplicities?
In my ...
- 21.8k
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,\...
- 287
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 ...
- 161
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 \...
- 161
2
votes
1
answer
173
views
Semi-linear elliptic problem, energy functionals, Fréchet derivatives and the Newton method in Banach spaces
Suppose $\Omega\subset\mathbb{R}^n$ is a regular open set, $f\in L^2(\Omega)$ and consider the following elliptic problem.
$$-\Delta u + u=f'(u) , \;\;u_{|\partial \Omega}=0,$$
where $f'$ is the ...
- 597
2
votes
1
answer
652
views
Extension of outer unit normal vector to interior
Suppose we have a bounded smooth domain $\Omega$ in $\mathbb{R}^n$, so there exists an outer unit normal vector field $\eta$ everywhere on the boundary. Can we extend it to the interior satisfying ...
- 237
2
votes
1
answer
474
views
Question on definition of Dirichlet to Neumann operator
Assume $\Omega$ is an open, bounded subset of $\mathbb R^3$ with a
$C^2-$ boundary $\partial \Omega= \Gamma$. For $f \in
H^{1/2}(\Gamma)$, let $F \in H^1(\Omega)$ denote the weak solution of
the ...
- 227
2
votes
1
answer
579
views
Is the Lopatinski-Shapiro condition invariant under diffeomorphism?
If a PDE (eg. the heat equation with Robin BCs, or the elliptic version) on a bounded smooth domain $U$ satisfies the Lopatinski-Shapiro condition (for a definition see eg. Wloka), and if $T:U \to W$ ...
- 21
2
votes
1
answer
340
views
Does this linear elliptic equation have a weak solution?
Let $Q = \Omega \times (0,C)$ where $\Omega$ is a bounded domain, write $(x,y) \in Q$ for $x \in \Omega$ and $y \in (0,C)$. Is the problem
$$\Delta_{(x,y)}v = 0\quad\text{in $Q$}$$
$$\frac{\partial v(...
- 49
2
votes
2
answers
953
views
Differentiability of Nemytskii operator on Sobolev space
I am trying to consider hypothesis on $g$ such that the operator
$$ H_0^1 (\Omega) \to L^2(\Omega), \qquad v \mapsto g(v) $$
is $\mathcal C^1$. As additional hypothesis $\Omega$ is bounded and $g(0) = ...
- 201
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 ...
- 153
2
votes
1
answer
160
views
Elliptic equation on square with periodic boundary values for the solution and it's partial derivatives
Suppose that $\Omega=[0,1]^2$. I will say that a real valued function $u$ on $\Omega$ satisfies periodic boundary values if
$$u(x,0)=u(x,1), \;u(0,y)=u(1,y),\;\;\;\text{ for all }x,y\in[0,1].$$
Now ...
- 153
2
votes
2
answers
132
views
Density of traces of solutions to an elliptic equation
Let $D_1$ be a domain with smooth boundary and assume that $D_1$ is a proper subset of $D_2$ which is itself a bounded domain in $\mathbb R^n$ with a smooth boundary. Assume also that $D_2\setminus ...
- 4,145
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 ...
- 1,551
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 ...
- 452
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 $\...
- 969
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 ...
- 809
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)\...
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\...
- 471
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_\...
- 167
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 ...
- 4,145
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$ ...
- 809
2
votes
0
answers
94
views
From some priori estimates can we estimate higher Sobolev norm?
Suppose $u$ is a smooth function on bounded set $\Omega$ with smooth boundary such that
$$\|u\|_{W^{1,p}(\Omega)}\le C\|\phi\|_{W^{1-1/p,p}(\partial\Omega)}$$
where $u|_{\partial\Omega}=\phi$.
Can we ...
- 309
2
votes
0
answers
147
views
Dimension of critical set of p-harmonic function
Let $\Omega\subset \mathbb{R}^n$ be a smooth domain and $u\in W^{1,p}(\Omega)$ a non-constant $p$-harmonic function, for some $1<p<n$.
Question: What is the Hausdorff dimension of the critical ...
- 91
2
votes
0
answers
125
views
Regularity up to boundary of a solution $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ to $\Delta^2 u = -\text{div}\, F$
Let $\Omega\subset \Bbb R^n$ be a $C^{2}$ domain (open and bounded) and let $p\in(1,\infty)$. Suppose $u\in W^{1,p}\cap W^{2,2}(\Omega;\Bbb R^m)$ is a weak solution to the fourth-order elliptic system
...
- 1,245
2
votes
0
answers
52
views
Reference Request: Dirichlet operators with singular coefficients
Let $d\geq 2$, $\delta \in (0,1)$ and let $\mathcal{L}_{d,\delta}$ be the second order differential operator defined by
\begin{align*}
\mathcal{L}_{d,\delta}(f)(x) = \Delta(f)(x)-\delta \|x\|^{\delta-...
- 778
2
votes
0
answers
145
views
Integral estimate for the solution of the heat equation
Let $u$ be a solution of $\partial_t u - \Delta u =f$ with initial data $u(0,x) = 0$ on $\mathbb R^N$. How do one prove the following inequality?
$$
\int_0^T \int_{\mathbb R^N} \phi(f)(- \Delta) u(...
user140746
2
votes
0
answers
169
views
A basic question about the Spectral Theorem
Let $\Omega$ be a bounded open region in $\mathbb{R}^n$ and $\phi_i $ be the eigenfunctions of $-\Delta$ with Dirichlet boundary condition, i.e.
$$-\Delta \phi_i=\lambda_i \phi_i, \ \ \phi_i|_{\...
- 434
2
votes
0
answers
62
views
Existence and uniqueness for semilinear problem
Consider the following problem:
$$-\Delta u + [(u)^+]^\alpha = 0,$$
where $(\cdot)^+$ is the positive part function and $\alpha >0$. How does the theory of monotone operators provide existence ...
user139844
2
votes
0
answers
344
views
Spectrum of Laplacian depending on boundary conditions [closed]
Consider a compact domain $\Omega \subset \mathbb{R}^n$ with smooth boundary for simplicity. Consider the Laplacian operator with zero Dirichlet boundary conditions on $\Omega$. It is well-known that $...
- 1,407
2
votes
0
answers
683
views
Laplace problem with Robin boundary condition on a wedge
I'm trying to understand what the essential differences between Dirichlet/Neumann and Robin boundary conditions are. Therefore, let $\omega \in \left(0, 2\pi\right)$ and let
\begin{equation*}
\Omega = ...
2
votes
0
answers
235
views
The Cauchy problem associated with $u_t^\epsilon + H(x,t,u^\epsilon,\nabla u^\epsilon) = \epsilon\Delta u^\epsilon$
Consider the initial value problem $$\begin{cases} u_t^\epsilon + H(x,t,u^\epsilon,\nabla_x u^\epsilon) = \epsilon\Delta_x u^\epsilon & \text{ in } \mathbb{R}^n \times (0,\infty)\\ u^\epsilon = g &...
user81051
2
votes
0
answers
178
views
are these norms equivalent?
If it is known that $\sum_{i,j=1}^{n}a_{ij}\xi_i\xi_j\geq \alpha^2|\xi|^2$, where $\xi=(\xi_1,\xi_2,...,\xi_n)\in\mathbb{R}^n$ then can it be said that $\sum_{i,j=1}^{n}a_{ij}\frac{\partial u}{\...
- 157
2
votes
0
answers
150
views
Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that it seems simple but I can not solve it.
Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
- 371
2
votes
0
answers
234
views
Concentration compactness on a compact setting
Consider a compact Riemannian manifold $M$ of dimension $n$ and a sequence of positive functions $\{\varphi_k\}_k \in C^\infty(M)$ such that $\{\varphi_k\}_k$ satisfy the basic concentration ...
- 1,407
2
votes
0
answers
223
views
One parameter family of elliptic equations
Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi_\varepsilon + \sum_i a_i(x, \varepsilon)\partial_i \varphi_\varepsilon + \varphi_\varepsilon = N(\...
- 21
2
votes
0
answers
154
views
Asymptotics of "heat" semigroup
Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...
- 21
2
votes
0
answers
553
views
Sobolev space for manifold with boundary
For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...
- 1,069
2
votes
0
answers
146
views
Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$
Let me consider the following subset of probability measures in $R^d$
$$
\mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\}
...
- 5,380
2
votes
0
answers
127
views
slightly subcritical elliptic pde; the linearized equations
Let $ p_m \nearrow \frac{N+2}{N-2}$ and consider the family of elliptic problems
$$-\Delta u_m(x)=u_m(x)^{p_m} \quad B \qquad \quad u_m =0 \quad \partial B,$$ where $B$ is the unit ball ...
- 539
2
votes
0
answers
242
views
Core of divergence form operator with unbounded coefficient
Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of
$$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$.
I also assume that $a(x)...
- 617