All Questions
1,304 questions
1
vote
0
answers
177
views
Singular integral of the composition of the Hilbert transform and fractional Laplacian
Given $0<s<1$, we can define the Fractional Laplacian by
$$\Lambda^{-s}f(x):=(-\Delta)^{-s/2}(x)=\int_{-\infty}^{+\infty}|x-y|^{-1+s}f(y)dy$$
or by means of Fourier transform as $$\widehat{\...
- 111
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
- 16.2k
5
votes
2
answers
2k
views
Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \...
CommunityBot
- 1
4
votes
1
answer
323
views
compact embedding for Sobolev spaces
The Sobolev embedding $H_{0, rad}^{1}(\Omega) \hookrightarrow L^{p+1}(\Omega)$ is compact for all $p>1$ where $\Omega= \{x\in \mathbb R^N: 0<a<|x|<b\}.$
Is it possible to determine the ...
CommunityBot
- 1
5
votes
1
answer
232
views
Interpolation of some Lebesgue spaces
When dealing with time-dependent PDEs, one often obtain that some quantity $E(t,x)$ belongs to a Lebesgue space $L^p_t(L^q_y)$, which means that
$$\int_0^{+\infty}\|E(t,\cdot)\|_{L^q(\mathbb{R}^n)}^p ...
- 3,574
4
votes
1
answer
145
views
Power series in functions other than monomials
I would like to understand how approximations by monomials and approximations by other kinds of functions are related which I illustrate with an example.
Consider the interval $[-\pi,\pi]$ let's say.
...
- 128k
2
votes
3
answers
303
views
Uniqueness of solution depending on constant?
I am a physicist and I am aware that this forum is for professional mathematical questions, but please be not too hard on my notation.
I encountered the following integral equation for functions $f:[...
- 12.6k
11
votes
2
answers
1k
views
Harmonic oscillator in spherical coordinates
It is probably the most well-known result in quantum mechanics that the harmonic oscillator can be solved by supersymmetry.
More precisely, the operator
$$-\frac{d^2}{dx^2}+x^2$$
can be ...
- 23k
1
vote
1
answer
103
views
Is $X = \{ B \in L^\infty(\mathbb R^n,\mathbb R^n): \nabla \cdot B \in L^\infty(\mathbb R^n,\mathbb R^n) \}$ a dense subspace?
The Sobolev space $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ is not dense in $L^\infty(\mathbb R^n,\mathbb R^n)$. In fact the functions in $W^{1,\infty}(\mathbb R^n,\mathbb R^n)$ are Lipshitz, and not ...
- 29.8k
1
vote
0
answers
74
views
Elliptic pde L^p theory via adjoint theory
Let $ T:X \rightarrow Y$ denote some linear operator and suppose we know its one to one (here $X$ and $Y$ are Banach spaces). I believe their is results that say $Ker(T^*)= (R(T))^\perp$ (where ...
- 4,713
1
vote
2
answers
138
views
Unboundedness of the Sobolev norm of a sequence : Does it follow from Sobolev embedding?
Let $\{f_n\}$ be a sequence of functions that are continuous and lying in $H^k(\mathbb{R}^m)$. Assuming $k>\frac{m}{2}$, and if $f_n \to f$ pointwise, where $f\in H^k(\mathbb{R}^m)$, such that $f$ ...
- 29.8k
4
votes
0
answers
145
views
An embedding question: Morrey spaces
Question. If $u\in L^1$ and $Du$ is in the dual of the Holder space $C^\alpha$, then is it possible to say $u$ belongs to some Morrey space $L^{1, \delta}$?
- 43.2k
5
votes
3
answers
1k
views
Decay estimate for the heat equation: $\sup_{t>0}\int_{\mathbb{R}} t^\alpha |u_x|^2\ dx$
Let $u$ be a solution of the heat equation $$u_t - u_{xx} = 0, \quad t>0, x \in \mathbb{R}$$
with initial data $u(0,\cdot) = u_0$.
Fix $\alpha >0$. How can I estimate (without using explicitly ...
6
votes
2
answers
353
views
Bounded deformation vs bounded variation
Let $BV(\mathbb R^n; \mathbb R^n)$ be the space of (vector-valued) functions of bounded variation and let $BD(\mathbb R^n;\mathbb R^n)$ the space of functions with bounded deformation. They are made ...
- 28k
8
votes
0
answers
278
views
Pseudodifferential operators on compact manifolds with boundary
I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...
- 648
3
votes
0
answers
103
views
Inequality concerning BV norm
Let $u(x) \in L^1( \mathbb{R}^n) \cap BV(\mathbb{R}^n)$ and let $\rho\ge 0$ be the standard mollifier on $\mathbb{R}^d$, supported in unit ball with $\int_{\mathbb{R}^d}\rho \,dx=1$ and define $\rho_\...
- 101
1
vote
1
answer
272
views
Multivariate fixed point of a function
The fixed-point of a vector-valued function $f: \mathbb{R}^p \rightarrow \mathbb{R}^p$ is a value $\textbf{b}$ such that $f(\textbf{b}) = \textbf{b}$ (this value is not necessarily unique). Any ideas ...
CommunityBot
- 1
4
votes
1
answer
202
views
Removable set for Sobolev space
It is well known that if $\Omega\subset\mathbb{R}^{N}$ open, $F\subset\Omega$ closed, such that $\mathcal{H}^{N−1}(F)=0$,where $\mathcal{H}^{N−1}$ denotes (N-1) dimensional Hausdorff measure, then $W^{...
- 28k
1
vote
0
answers
73
views
relative compact on nonlinear term
On the paper: Decay of Solutions to Nonlinear Schrodinger
Equations.
Let $u$ be a solution of the equation
$$Hu+|u|^2u=0,$$
where $H$ is a Schrodinger operator, i.e. $-\Delta+V$ and $V$ is a (...
- 1,915
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{...
CommunityBot
- 1
5
votes
1
answer
396
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
5
votes
0
answers
242
views
Spectral gap for the Brownian motion with drift on a compact manifold
Let $M$ be a compact Riemannian manifold without boundary, $X$ a smooth vector field on $M$. Consider the Brownian motion $t\mapsto B_t$ on $M$ with drift $X$, so that its generator is $L=\Delta +X$. ...
- 3,669
1
vote
0
answers
196
views
Compact embedding result
Let $\tau$ and $\ell$ be positive numbers. We know that the space $H^2(0,\ell)\cap H^1_0(0,\ell)$ is compactly embedded into $L^6(0,\ell)$. Now, is the space $L^2(0,\tau;H^2(0,\ell)\cap H^1_0(0,\ell))$...
- 395
5
votes
1
answer
571
views
Schrödinger operator with Coulomb potential
The free Laplacian $-\Delta$ has absolutely continuous spectrum $[0,\infty).$ The Coulomb Hamiltonian $H=-\Delta-\frac{1}{\vert x\vert}$ on $L^2(\mathbb R^3)$ has absolutely continuous spectrum $[0,\...
- 24.2k
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
- 993
3
votes
1
answer
255
views
Closure of tensor product /tensor product semigroup
In this reference the following claim is made in Remark 2
Let $A,B$ be closable operators on Banach spaces $X,Y$, then $A \otimes 1$ and $1 \otimes B$ are closable operators on the Banach space $X \...
CommunityBot
- 1
7
votes
2
answers
684
views
Hölder continuity for operators
Let $x,y$ be positive real numbers then
$$|\sqrt{x}-\sqrt{y}|=\dfrac{|x-y|}{\sqrt{x}+\sqrt{y}}=\sqrt{|x-y|}\cdot \dfrac{\sqrt{|x-y|}}{\sqrt{x}+\sqrt{y}}\leq 1\cdot |x-y|^{\frac{1}{2}}$$
we obtain $1/...
- 28.6k
7
votes
2
answers
219
views
Characterizing pseudo-differential operators as a subalgebra of continuous endomorphisms of tempered distributions
I'm aware that the following question is at best a refined version of at least 2 questions which are already on this site. I think it is justified however in that it is more precise and has some new ...
CommunityBot
- 1
10
votes
1
answer
586
views
Nonlinear Schrödinger equation with discrete Laplacian
In the paper "Global existence and scattering for rough solutions of a nonlinear Schrödinger equation on $\mathbb{R}^3$" by Colliander, Keel, Staffilani, Takaoka and Tao it is argued in the beginning ...
CommunityBot
- 1
4
votes
0
answers
174
views
Constant in trace theorem for balls
Consider the standard open ball $B_r:=\left\{x ; \left\lvert x \right\rvert \le R \right\}.$
The trace theorem tells us any function in $W^{k,p}(B_r)$ can be restricted to a function $W^{k-1,p}(\...
CommunityBot
- 1
3
votes
0
answers
112
views
Is a relatively weakly compact subset of $W^{1,1}(\Omega)$ metrizable?
Let $\Omega$ be a domain with smooth boundary. Let $S\subset W^{1,1}(\Omega)$ be a relatively weakly compact set.
Is it true that $(S,w)$ is metrizable?
Since $S$ is relatively weakly compact, it ...
- 1,245
2
votes
0
answers
331
views
Sobolev embeddings for vector-valued functions
I would like to know if there is a simple extension of the standard Sobolev embeddings for functions taking values in another Euclidean space.
In particular, let $\Omega \subset \mathbb{R}^n$ be a ...
2
votes
0
answers
190
views
Absence of fixed points
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \frac{xy}{(x^2+y^2+1)} \ dx$$
where $x_0$ is an arbitrary but fixed ...
2
votes
0
answers
315
views
Support of a microlocal defect measure
I'm trying to complete the proof of the Theorem 6.1 in the notes https://www.math.u-psud.fr/~nb/articles/coursX.pdf, which ensures, under certain conditions, that the support of the microlocal defect ...
- 509
2
votes
0
answers
92
views
For what functions does Nash inequality becomes equality?
For what functions does Nash inequality becomes an equality? Also any comment on the regularity of these functions (weak solutions to equality)?
Also same question about Poincare inequality.
- 698
3
votes
1
answer
274
views
Function square-integrable
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$
where $x_0$ is an ...
- 79.9k
1
vote
0
answers
299
views
How can I obtain this inequality (from Evan's PDEs)
I am self studying PDEs from Evans' "Partial Differential Equations" textbook. Currently, I am going through Theorem 1 from Section 5.7 (Rellich-Kondrachov compactness theorem) and am having ...
- 185
1
vote
0
answers
93
views
Relative boundedness of the adjoint
Let $X$ be a separable Banach space and $T_1:D(T_1) \subset X \rightarrow X$ and $T_2:D(T_2) \subset X \rightarrow X$ two closed operators with $D(T_2)\subset D(T_1)$ and $D(T_2^*) \subset D(T_1^*).$
...
- 33
2
votes
2
answers
148
views
Solution of hyperbolic equations with $V^*$ data
Let $V\subset H\subset V^*$ a Hilbert triple and consider a 2nd order evolution equation of the form $$u''(t)+Au(t) = f(t)\quad \text{ in }\ L^2(0,T;V^*),$$ where $f\in\ L^2(0,T;H)$.
Can we let $f\in ...
15
votes
3
answers
1k
views
Version of Banach-Steinhaus theorem
I am wondering about the following version of the Banach-Steinhaus theorem.
Let $A$ be a closed convex subset contained in the unit ball of a Banach space $X$ and consider bounded operators $T_n \in \...
- 60.6k
8
votes
1
answer
656
views
When is the adjoint of a hypoelliptic operator also hypoelliptic?
Suppose that $M$ is a smooth manifold with a measure $\mu$ and let $L^2(M, \mu)$ be a space of all square-integrable functions on $M$.
Recall that $L$ is a hypoelliptic differential operator if for ...
- 1,675
1
vote
0
answers
211
views
Propagation of singularities and the Schrodinger equation
I always thought that the propagation of singularities theorem by Hörmander says (on $\mathbb R^n$ for a classical symbol $p(x,\xi)=\xi^2+V(x)$) that for a Schrödinger equation
$$(i \partial_t-p(x,D))...
- 11
5
votes
1
answer
171
views
Invariant subspace in infinite dimensions
Let $A(t)$ be a family of skew self-adjoint operator defined on some Hilbert space $H$ with common domain $D(A).$
The dependence on $t$ is in the strongly continuous sense, i.e. for all $x \in D(A)$ ...
- 12.6k
1
vote
1
answer
737
views
$L^2$ function in Schwartz space?
Let $f:\mathbb R^n \rightarrow \mathbb R$ be a smooth function whose derivatives are all polynomially bounded and $f \in L^{\infty}.$
Such a function has the property that when multiplied with any ...
- 5,169
2
votes
1
answer
288
views
order of the singularity of a Green's function to the fractional Laplacian
I was looking at a problem which involves the Green's function of a fractional Poisson equation.
To fix notation, let $D\subset \mathbb{R}^n$ very nice, i.e. a hypercube, and
\begin{equation}
\begin{...
- 17.2k
5
votes
1
answer
359
views
Alternative representations of Sobolev space
Is there a way to represent a Sobolev space as the image of a fractional integral operator over an $L^p$ Lebesgue space? Yes, as it was comment, there is an answer for that in the book "Singular ...
CommunityBot
- 1
0
votes
1
answer
81
views
Well-posedness for equations of the form $u_t = grad[V(u)]$ and $u_{tt}=grad[V(u)]$?
Let $V \in C^{1}(\mathbb{R}^n, \mathbb{R})$ consider the following PDE:
$$u_t = grad[V(u)]$$
For $u \in C^{1}([0,1]^n\times [0,T),\mathbb{R}^n)$, with boundary conditions specified on the $n$-...
- 52.3k
2
votes
1
answer
217
views
Estimates for the Sobolev inequality
How to prove the Sobolev estimate:
If $\Omega$ is a bounded open subset of $\mathbb R^N$, then
for any $q>1$
$$
\|u\|_{L^{q}(\Omega)} \leq C|\Omega|^{1/q} q^{1- 1/N}\| \nabla u \|_{L^{N} (\Omega)...
- 27.5k
6
votes
1
answer
241
views
Self-adjointness and choosing appropriate function spaces
Consider the following operator on some (yet undecided) space $S$ of functions over $[0\:\:1]$
$$L(u)=\sin(x)u-x\dfrac{\partial u}{\partial x}$$
Now, its formal adjoint is
$L^*(v)=\sin(x)v+\dfrac{\...
- 366