All Questions
1,304 questions
4
votes
0
answers
255
views
Lower semi-continuity of integration
I've found many papers characterizing the weak lower semi-continuity of
$$
\Phi(u)\triangleq \int_{x \in \Omega} f(x,u(x))\,dx,
$$
on $L^2(\Omega)$ where $\Omega$ is a bounded subset of $\mathbb{R}^d$....
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{...
- 52.3k
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
3
votes
0
answers
85
views
Existence for $-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$
Let $\Omega$ be a smooth bounded domain. Consider the equation
$$-\Delta u + (g(x)-\Delta u)^+\varphi(u) = f(x)$$
$$u|_{\partial\Omega} = 0$$
where $f,g$ are smooth functions on $\Omega$ and $\varphi$...
- 251
1
vote
0
answers
117
views
trace inequality for Dirichlet Neumann operator
Does there exists a Sobolev trace inequality of the form
$$ \|U(x, 0)\|_{L^{q}((a, b))} \leq C\sqrt{q}\| \nabla U \|_{L^{2} (\mathcal C)} ; \forall U\in H^{1}_{0, L} (\mathcal C)$$ and for any $q>...
- 402
7
votes
2
answers
997
views
Uniform continuity of heat semigroup
I would like to illustrate my question with an example:
It is well-known that $\Delta$ is the generator of a strongly continuous semigroup $(T(t))$ on $L^2(\mathbb R^n),$ i.e. the heat-semigroup.
It ...
- 16.2k
3
votes
1
answer
876
views
Is Quantum Mechanics (norm)-consistent?
I edited a few small comments to the question in order to make it perhaps more comprehensible.
Today I came across the following question in quantum mechanics.
In Quantum mechanics it is common to ...
- 24.2k
2
votes
1
answer
93
views
Lipschitz bound on semigroups
Let $T$ be a self-adjoint operator (possibly unbounded) and $S$ a bounded self-adjoint operator.
Then one can study the unitary groups $R_T(t):=e^{itT}$ and $R_S(t):=e^{itS}.$
Now if you think about ...
- 13k
1
vote
0
answers
45
views
Shifting Sobolev norms in a hyperbolic estimate
Suppose $\Omega$ is a bounded domain and $\omega \subset \Omega$. Suppose we have the following estimate:
$$ \|u\|_{H^1((0,T) \times\Omega)} \leq C (\|u\|_{H^1((0,T) \times \omega)} + \|\Box u\|_{L^2((...
- 63.9k
2
votes
2
answers
603
views
Image of the trace operator on W^{1,1}
Let $\Omega \subset R^n$ be a bounded region with Lipschitz boundary. Is the trace operator $T: W^{1,1}(\Omega)\rightarrow L^1(\partial \Omega)$ surjective? If not, what is the image?
- 2,494
3
votes
1
answer
328
views
Typical elements of the space $\mathring {L^k_p}(\Omega)$
In the book Sobolev Spaces with Application of Maz'ya, $\mathring {L^k_p}(\Omega)$ is defined to be the completion of $\mathcal D(\Bbb R^n)$ under the norm $||\nabla^ku||_{L_p(\Omega)}$.
For nice ...
- 28k
2
votes
1
answer
169
views
Why $\|u\|_{\tau}\leq C[u]_{W^{s,p}}^a\|u\|_{L^q}^{1-a}$ not correct for $p=1$?
In an article I have the following lemma :
Let $d\geq 1$, $p>1$, $q\geq 1$, $\tau>0$, $s\in(0,1)$ and $a\in(0,1]$ s.t. $$\frac{1}{\tau}=a\left(\frac{1}{p}-\frac{s}{d}\right)+\frac{1-a}{q}.$$
...
CommunityBot
- 1
6
votes
1
answer
697
views
Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$
The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to
$$
-\Delta u=f\hspace{3cm}(1)?
$$
I'm of ...
- 28k
1
vote
1
answer
98
views
Sign-changing solutions for initial-boundary value problem for $\partial_t u + \partial^4_x u = 0$
Can you point out a reference for the fact that solutions for the initial-boundary value problem associated to $$\partial_t u + \partial^4_x u = 0$$ with $u(0,\cdot) >0$ can change sign (that is, ...
- 188k
3
votes
1
answer
431
views
Can I approximate a function of bounded variation with orthogonal polynomial?
Let function $u\in BV(\Omega)$ be a function of bounded variation and $\Omega\subset \mathbb R^2$ be a smooth domain. I know it is possible to approximate function $u$ with polynomials, i.e.,
$$
u = \...
- 28k
6
votes
0
answers
88
views
Density of squares of radial eigenfunctions
The eigenfunctions of the Laplace operator on the disc can be written in polar coordinates as $f(r,\theta)=R_{nk}(r)e^{ik\theta}$, where $k\in\mathbb Z$ and $n\in\mathbb N$ and the radial function is $...
- 8,086
5
votes
1
answer
211
views
Pointwise convergence in functional calculus
Let $A_n$ be a family of (bounded) self-adjoint operator converging pointwise to some (unbounded) self-adjoint operator $A,$ i.e. for all $x$ in the domain of $A$
$$\left\lVert A_n x-Ax \right\rVert \...
- 4,729
1
vote
1
answer
131
views
Convergence of $L^p$ of approximation
Let $f \in L^p(\mathbb R^n)$ be given. Consider a partition of rectangles $I_{ij}:=[x_i,x_{i+1}]\times [x_j,x_{j+1}]$ of $\mathbb R^2.$
Then, we may define the coefficients
$$\alpha_{ij}= \frac{1}{\...
- 128k
2
votes
1
answer
311
views
Differentiation on $[0,1]$
EDIT:
Perhaps a more reasonable question after thinking about the answer I got would have been.
Is there a set $N$ of measure $1-\varepsilon$ and a disjoint partition of that set $N$ with finitely ...
- 536
1
vote
1
answer
165
views
Integral function $z(x):=\int_{Y} f(x,y)d\mu(y)$ continuous?
Let $z(x):=\int_{Y} f(x,y)d\mu(y)$ for $x \in \mathbb R$ be an integral function where $\mu$ is a finite(!) Borel measure on $Y$ and $x \mapsto f(x,y)$ is continuous for every $y.$
Moreover, we know ...
- 128k
3
votes
1
answer
2k
views
Examples of Log-Lipschitz and nonLog-Lipschitz functions satisfying certain conditions
A function $f$ is Log-Lipschitz if there exists a constant $C >0$ such that
\begin{equation}
|f(x) - f(y)| \le C|x-y| |\log|x-y||
\end{equation}
I am trying to construct two functions with the ...
- 60.6k
8
votes
1
answer
712
views
Pseudo-differential operators with compactly supported symbols
If the symbol $p(x,\xi)$ of a pseudodifferential operator $P$ has compact $x$-support, then for any Schwartz function $f$, $Pf$ has compact $x$-support.
Is the reverse true? Namely that if some PDO $...
- 509
2
votes
0
answers
204
views
Eigenvalues and kernel of the the fractional laplacian in the $d$-dimensional torus
Let $\mathbb{T}^d$ be the $d$-dimensional torus. Consider the operator
$$
\Delta^{(\alpha/2)}u(x):= \int_{\mathbb{T}^d} \frac{u(x+y)+u(x-y)-2u(x)}{(d_{\mathbb{T}^d}(x,y))^{d+\alpha}}
dy$$
Where $u$ ...
- 446
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
7
votes
1
answer
337
views
Flows in Hilbert spaces
Let $\varphi: [0,T] \rightarrow H$ be a Hilbert space valued $C^1$-function. Let $H = X \oplus X^{\perp}$ such that $\varphi(0) \in X$ and the implication $\varphi(t) \in X \Rightarrow \varphi'(t) \in ...
- 25.3k
3
votes
2
answers
262
views
The gradient $\nabla u$ of $u\in W^{1,p}(M;N)$ is tangent to $N$ almost everywhere
Let $M,N$ be (compact) Riemannian manifolds. $N$ is viewed as an embedded submanifold of $\Bbb R^K$. The Sobolev space $W^{1,p}(M;N)$ is defined as
$$
W^{1,p}(M;N):=\{ u\in W^{1,p}(M;\Bbb R^K)\ |\ u(x)...
- 186
4
votes
1
answer
398
views
Proving the inequality $|\nabla |\nabla^r \psi|| \le |\nabla^{r+1} \psi|$
Following Aubin's book "Some nonlinear problems in Riemannian geometry", we use the notation
$$
|\nabla^r \psi|^2 = \nabla_{\alpha_1}\cdots \nabla_{\alpha_r}\psi \nabla^{\alpha_1}\cdots \nabla^{\...
- 856
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
1
vote
1
answer
633
views
Existence of solution to heat equation on a compact manifold
Let $M$ be a compact Riemannian manifold (without boundary), I would like to know under which regularity conditions can we solve the heat equation
$$\begin{align}
\partial_tu-\Delta u &= f \\
u(\...
- 26.3k
7
votes
2
answers
573
views
Existence of spectral gap
I would like to start by saying that any comment or idea is highly appreciated.
Let us observe that for Hilbert-Schmidt operators $H_1,H_2$ on an infinite-dimensional separable complex Hilbert space $...
- 5,005
2
votes
1
answer
964
views
Is the Delta distribution a continuous functional on $H^1(\mathbb{R})$? [closed]
While it is easy to see that $H^1(\mathbb{R})$ are Hölder $1/2$-continuous, I started wondering whether this implies that $\delta_x(\varphi)=\varphi(x)$ is continuous as a functional
$$\delta_x:H^1(\...
- 28k
0
votes
1
answer
175
views
Accessible reference for (scattering) $\Psi DO$'s on manifolds
I am currently trying to understand Hassell, Tao, and Wunsch's paper on Strichartz estimates on non-trapping asymptotically conic manifolds, however, my understanding of pseudodifferential operators ...
- 6,259
3
votes
1
answer
1k
views
Gagliardo-Nirenberg inequality for bounded domain
For concreteness let's assume that $u\in W^{1,2}(\Bbb R^2).$ It is well known that
$$
\|u\|_4\le C \|u\|_2^{\frac 12} \|\nabla u\|_2^{\frac 12}.
$$
This is also true if $u\in W^{1,2}_0(\Omega)$ for a ...
- 2,670
2
votes
0
answers
93
views
Reference request: $|\partial_t u - \Delta u|\in L^p(\Omega^T)$ implies Holder estimate
I am currently reading a paper regarding harmonic flow between Riemannian manifolds. Let $\Omega$ be a Riemannian domain of dimension $2$, $\Omega^T=\Omega\times[0,T]$. The equation is
$$
\partial_t ...
- 1,245
3
votes
2
answers
849
views
Integral of fractional Laplacian is zero
Is it true that $$\int_{\mathbb{R}^N}(-\Delta)^su(x) dx = 0,$$
where $(-\Delta)^s$ is the fractional Laplacian?
- 17.2k
0
votes
2
answers
388
views
Derivative of fractional Laplacian is the fractional Laplacian of the derivative
Is it true that $$\partial_x ((-\Delta)^s u(x)) = ((-\Delta)^s \partial_x
u(x))?$$
- 28k
3
votes
1
answer
670
views
A specific mollified functions in the Sobolev space H^1(R)
Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...
CommunityBot
- 1
1
vote
1
answer
285
views
Recover norm from integral
I am given the following expression where $f \in L^2(\mathbb{R}^2, \mathbb{R}^{2 \times 2})$
$$\int_{\mathbb{R}} \int_{\mathbb{R}} \langle g(x), f(x,y) h(y)\rangle dx dy.$$
The functions $g$ and $h$ ...
- 39.1k
8
votes
0
answers
260
views
Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$
I have found the following claim made very clearly at least once in the published literature (see below):
Let $P$ be a linear partial differential operator defined on an open set $\Omega \subset \...
- 503
1
vote
0
answers
77
views
Zero energy resonances for scaling critical Schrodinger operators
Given a real valued potential $V\in L^1(\mathbb{R}^3)$, we say that the Schrodinger operator $-\Delta + V$ has a zero-energy resonance if there exists $\psi\in L^2_{loc}(\mathbb{R}^3)\setminus L^2(\...
- 943
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
1
vote
1
answer
194
views
$\|f\|^2_{H^{-1}(\mathbb{T})}\lesssim \int_\mathbb{T} |\sin(x)f(x)|^2 \; dx$?
I have been stuck in this question for a while, and I would appreciate any new ideas. I have been considering the inequality
$$
\|f\|^2_{H^{-1}(\mathbb{T})}\lesssim \int_\mathbb{T} |\sin(x)f(x)|^2 \; ...
0
votes
1
answer
386
views
Functions satisfying Neumann boundary condition
I have a question about functions satisfying a condition.
Let $D \subset \mathbb{R}^d$ be a Lipschitz domain. That is, for each $x \in \partial D$, there exists an open neighborhood $U$ of $x$ in $\...
- 503
1
vote
0
answers
305
views
Harmonic coordinates on asymptotically flat manifold
I am studying the existence of harmonic coordinates at infinity on an asymptotically flat manifold. My Reference papers are, The Mass of Asymptotically Flat Manifold, by Bartnik [B] and The Yamabe ...
- 914
4
votes
1
answer
254
views
Is this simple-looking weighted poincare-sobolev inequality correct
In Moser's famous paper harnack inequality for parabolic equations, he used the following simple Poincare inequality(Lemma 3)
$\int (f(x)-k)^2 w(x) dx \leq c(w) \int |\nabla f|^2 w(x) dx$
where $k=\...
- 6,891
6
votes
0
answers
282
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
- 318
1
vote
1
answer
654
views
Properties of the trace term in the Itō formula
Let's consider the SDE $${\rm d}X_t=u_t(X_t){\rm d}t+\xi_t(X_t){\rm d}W_t\;\;\;\text{for all }t\ge 0\tag 1$$ where
$U,H$ are separable $\mathbb R$-Hilbert spaces
$Q\in\mathfrak L(U)$ is nonnegative ...
CommunityBot
- 1
0
votes
1
answer
381
views
Converse of Lax-Milgram theorem [closed]
Suppose that $a(\cdot,\cdot):V \times V \rightarrow \mathbb{R}$ is a symmetric, continuous bilinear form defined on the Hilbert space V.
Assume that, for any continuous linear functional on $l \in V’...
- 9,650
2
votes
0
answers
116
views
Density of $C^0(\Bbb R^{n}\times (0,T))$ and $C^{\infty}_c(\Bbb R^{n}\times (0,T))$ in $L_{p,q}(\Bbb R^n_T)$
Let the space $L_{p,q}(\Bbb R^n_T)$ be defined as the set of all measurable $f:\Bbb R^{n}\times(0,T)\to\Bbb R$ such that $||f||_{p,q}<\infty$, where
$$
||f||_{p,q}:=\left(\int_0^T\left( \int_{\Bbb ...
- 1,245
1
vote
1
answer
151
views
"Global" version of a classical elementary lemma in viscosity solutions theory on sequence of "local" strict maximum (minimum) points
Lemma 2.4 at page 8 of these lecture notes on viscosity solutions theory is a classical and frequently used result.
Does the lemma (and its proof) hold true if we replace "local" with "global" ...
CommunityBot
- 1