All Questions
163 questions
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
1
vote
1
answer
296
views
Boundary behavior of Greens functions on smooth bounded (planar) domains
It is well known that for any smooth bounded (connected) domain $\Omega\subset\mathbb R^d$ with $d\ge2$, we can define a Green's function $G:\Omega\times\Omega\to\mathbb R$ in $\Omega$ which is smooth ...
- 1,247
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
user123456
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
- 1
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
user60665
11
votes
3
answers
678
views
Which matrices can be realized as the Dirichlet-to-Neumann map for a given domain?
Consider Poisson equation $\nabla \cdot (\sigma(x)\nabla u)=0$ in a domain $D$, where $\sigma(x)$ is the spatially dependent conductivity. On the boundary we have $n$ electrodes (Dirichlet BC $u=\text{...
- 532
4
votes
0
answers
136
views
Davies' definition of elliptic operators in "Heat Kernels and Spectral Theory"
I am trying to find my way through Davies' book, and one of the difficult points is his choice of what "elliptic operator" means in his text. This is the first time that I encounter some of the ...
- 5,407
1
vote
0
answers
84
views
Coercivity of $\int (\Delta u + u)^2$ on a subspace of $H^2$?
Let $\Omega = [0,L] \times [0,2\pi]$ and split its boundary into $\Gamma_d = \{0,L\} \times [0,2\pi]$, $\Gamma^1_p = [0,L] \times \{0\}$, $\Gamma^2_p = [0,L] \times\{2\pi\}$. Consider the following ...
- 111
1
vote
1
answer
165
views
Morrey condition (integral condition) and (local) Holder condition
Let $x \in \mathbb{R}^n$ and $f:\mathbb{R^n} \to \mathbb{R}$ be a non-negative function such that $f(x)=0$. Is it true that (assuming $\alpha,\beta>0$)
$$\limsup_{r \to 0} r^{-\alpha \beta}\frac{...
- 839
4
votes
0
answers
198
views
Relationships between fractional Sobolev space, Bessel spacse and Hajłasz–Sobolev space
It is known that for $\alpha\in(0,1)$ and $p>1$,
the fractional Sobolev space $W^{\alpha,p}(R^n)$ is defined by
$$
W^{\alpha,p}(R^n):=\{f\in L^p(R^n):\int_{R^n}\int_{R^n}\frac{|f(x)-f(y)|^p}{|x-y|^...
- 411
2
votes
0
answers
343
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
1
vote
0
answers
60
views
Existence of solutions to $\lambda u-\frac{1}{(1+(u')^2)^2} \, \Delta u = f$
I'm looking for existence results for the equation
$$\lambda u-\frac{1}{(1+(u')^2)^2} \, \Delta u = f \quad \text{on the domain $[a,b]$}$$
for $u:[a,b] \to \mathbb{R}$, with either zero Dirichlet or ...
- 11
1
vote
1
answer
728
views
Elliptic regularity of Laplace-Beltrami operator on a manifold
I am currently trying to prove an elliptic regularity type result for the Laplace Beltrami operator $\Delta_g$ on a Riemannian manifold $(M^n,g)$. As a matter of convention, I will assume $\Delta_g$ ...
- 1,247
0
votes
1
answer
104
views
Poisson Equation across a Hypersurface [closed]
Let $\mathbb{B}(0,1) \subset \mathbb{R}^3$ denote the unit ball. Let $\Gamma = \{x_3=0\}$. Let us assume $f \in L^2(B)$ .Consider the problem
$ \triangle u = f $ in $\mathbb{B}$ in the weak sense such ...
- 4,145
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 = ...
3
votes
2
answers
1k
views
Orthogonality to harmonic functions
Let $a_0$ and $b_0$ be smooth compactly supported functions in $B \subset R^3$, $f\in C^1(\Omega)$, and define
$a_n=f\Delta^{-1}(a_{n-1})=-f(x)\int_{B}a_{n-1}(y)\Phi(x-y)dy$, $n\geq 1$
$b_n=f\Delta^{...
11
votes
2
answers
1k
views
Concentration compactness. Can this concept be stated in a theorem?
I recently attended a talk on NLS which is rather not my main field of interest. Yet, I got interested in a concept called concentration compactness during the talk.
When I approached the speaker ...
- 501
4
votes
1
answer
2k
views
Crandall & Rabinowitz Theorem, bifurcation curves
Crandall & Rabinowitz Theorem states what follows. We have got a Banach Space $(X,||\cdot||)$ and an equation of the following type:
$$
F(\lambda,u) = \lambda u - G(u) = 0,
$$
where $G \in C^1(X,X)...
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
0
votes
1
answer
152
views
Solution of Poisson equation vanishing at the boundary of any order
Let $f$ be a compactly supported function in $\Omega \subset \mathbb{R}^3$ and
$\Delta u=f$ in $\Omega$
such that $D^{\alpha}u=0$ on $\partial \Omega$ for every multi-index $\alpha$ with $|\alpha| \...
4
votes
0
answers
89
views
How can I can derive an explicit bound for the solution of the poisson's PDE?
i need some help on this question
Let $\Omega$ be an open subset of $\mathbb{R}^{2}$ (say a square) with
$\partial{\Omega} =\Gamma_{1} \cup \Gamma_{2} \cup\Gamma_{3} \cup\Gamma_{4}$. A structure ...
- 41
1
vote
0
answers
180
views
Implicit function theorem for operators
Let $P: (-a,a) \rightarrow \Psi_h^0(\mathbb{R}),$ be a pseudodifferential operator in Weyl quantization with $(-a,a) \ni z \mapsto P(z)$ depending smoothly on this parameter $z$. Note that this ...
- 115
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
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
0
votes
0
answers
343
views
A question on weak formulation of the p-laplacian operator
Can it be said that $$\int_{\Omega}\Delta_p u |\phi|^{p-2}\phi dx=\int_{\Omega}\Delta_p \phi |u|^{p-2}u dx\qquad\forall \phi\in C_0^2(\overline{\Omega})$$ is the generalized weak formulation of $$\...
- 157
0
votes
1
answer
247
views
Gradient bounds on Newtonian potentials
Suppose $N \ge 3$ and let $\Phi(x):= C_N |x|^{2-N}$ is the fundamental solution. Let $\Omega$ denote a bounded domain in $ R^N$.
Consider $ -\Delta u(x) = f(x) $ in $\Omega$ with $u=0$ on $ \...
- 1,385
1
vote
1
answer
250
views
Moser/Schauder estimates for coercive boundary conditions
Consider the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on $(0, \infty) \times \Omega$, where $\Omega \subset \mathbb{R}^n$ is an open bounded domain with smooth boundary, and $L$ is a ...
- 11
1
vote
0
answers
117
views
The eigenfunction of modified $1$-laplace equation?
Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation
$$
-\Delta u=0
$$
has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
- 679
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
6
votes
1
answer
322
views
finding subharmonic function on the ball with both Dirichlet and Neumann boundaries prescribed
I have a question which looks like some sort of inverse problem.
Let $B$ denote the unit ball centered at the origin in $R^N$ (take $N \ge 2$).
Given any $h:\partial B \rightarrow (0,\infty)$ (smooth) ...
- 1,385
0
votes
1
answer
272
views
A condition for Laplacian
Let $u\in L^{2}(\mathbb{R}^{2}) $ with $-\Delta(u) -c (x^{2}+y^{2})u \in L^{2}(\mathbb{R}^{2})$ where $c>0$.
Is true $-\Delta u \in L^{2}(\mathbb{R}^{2})$?
Thank you in advance.
- 135
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
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
1
vote
0
answers
177
views
How does the $L^\infty$ norm of the solution of $-\Delta u + \lambda u =0$, $\partial_\nu u=\alpha$ depend upon $\alpha$ and $\lambda$?
Let $\lambda > 0$ be a constant and let $u$ be the weak solution on a bounded domain $\Omega$ of
$$-\Delta u + \lambda u = 0 \quad\text{in $\Omega$}$$
$$\partial_\nu u = \alpha \quad \text{on $\...
- 11
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
10
votes
1
answer
973
views
$\int\limits_{\Omega}{uvdx}<\infty,\forall v\in H_0^1(\Omega)$ implies $u\in L^{6/5}(\Omega)$
I posted this question first in Math.StackExchange one week ago here, but I didn't get an answer or a helpful comment so I repost it here:
Let $d=3$ and $\Omega\subset \mathbb R^d$ is a bounded ...
- 261
1
vote
0
answers
205
views
A Question about compactness of an embedding into $L^p$ spaces
Assume $ \Omega \subset \mathbb{R}^N$ is a smooth bounded domain. There is well known Hardy inequality that says
For any $ u \in W_0^{1,2}(\Omega) $, $N\geq3$ we have
$$ \Lambda \int_{\Omega} \frac{u^...
- 371
0
votes
0
answers
371
views
Harmonic function with Dirichlet boundary condition
Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...
- 1
4
votes
2
answers
505
views
Eigenfunctions of the Laplacian on singular spaces
Consider a compact manifold $M$ with boundary and corner. As an example, we could have the cube $\{(x_1, x_2,..x_n) \in \mathbb{R}^n : x_i \in [0,1]\}$. We could very well define the Laplacian $\Delta$...
- 43
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
1
vote
1
answer
390
views
Square Integrable Harmonic Functions in an Infinite Strip
Suppose $S= \left\{x \in \mathbb{R}^3 : a <x_1< b \right\} $ is an infinite strip the three dimensional Euclidean Space.
Is it true that the only $L^2$ harmonic function in this strip is the ...
- 4,145
0
votes
1
answer
781
views
How to modify a $H^1$ weak convergence sequence so that I have the $L^2$ equi-integrability of gradient?
Assume $u_n\to u$ weakly in $H^1(\Omega)$ where $\Omega\subset \mathbb R^N$ is open bounded Lipschitz boundary.
My goal is to find a new sequence $\bar u_n$ and a new function $\bar u$ such that
$\...
- 679
9
votes
1
answer
1k
views
Sobolev space for Mixed Dirichlet - Neumann boundary condition
Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
- 253
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
3
votes
1
answer
845
views
Moser estimates?
Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...
- 31
1
vote
0
answers
191
views
$L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value
Let $u \in H^1((0,T)\times S)$ be the unique solution of
$$u_{tt} + \Delta u =0$$
$$u|_{t=0}= u_0$$
$$u|_{t=T}=0$$
where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...
- 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
1
answer
193
views
Analysis of Sobolev spaces [closed]
I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
- 157