All Questions
Tagged with real-analysis ap.analysis-of-pdes
569 questions
3
votes
1
answer
1k
views
Showing a singular integral operator takes Hölder continuous functions to Hölder continuous functions of the same order
I would like to show the following function is $\gamma$-Hölder continuous. Said function $F:\mathbb{R}^n \rightarrow \mathbb{R}$ is defined by a singular integral operator of convolution type as ...
- 28k
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
CommunityBot
- 1
3
votes
1
answer
212
views
Eigenvalue estimates for operator perturbations
I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.
What was behind ...
- 536
3
votes
0
answers
55
views
system of Euler like ode's
I am interested in solving some linear elliptic system like
$$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$
$$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
- 1,385
2
votes
1
answer
563
views
Density in fractional Sobolev space
Suppose $s∈(0,1)$, $D$ is an open set in $\mathbb{R}^d$. Define
$$
H^s=(1−\Delta)^{-s/2}L^2\left(\mathbb{R}^d\right),
$$
$$
H^s_D=\left\{f\in H^s:f=0 \mbox{ a.e. on } D^c\right\}.
$$
Q: Is $C^\...
- 28k
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 ...
- 163
0
votes
1
answer
419
views
Stone–von Neumann theorem?
The Stone–von Neumann theorem says that given two unitary groups on a Hilbert space $H$ satisfying the canonical commutation relations (CCR)
$$
U(t)V(s) = e^{-i st} V(s) U(t) \qquad \forall s, t
$$
...
- 42.8k
7
votes
1
answer
311
views
Almost orthonormal projection and orthonormal projection in Hilbert space
Let $(e_i)_i$ be a family of vectors in a Hilbert space being almost orthonormal but not quite, i.e.
$$\langle e_i, e_j \rangle \approx \delta_{i,j} + \alpha e^{-\vert i-j \vert} $$
and $\alpha$ is ...
- 9,486
2
votes
1
answer
300
views
Optimal control theory of PDEs
This is a somewhat openly phrased question because I am not quite sure what has been done in that direction.
Imagine one has two evolution equations
$$\partial_t u = p(x,\partial_x,f)u$$
$$\...
CommunityBot
- 1
4
votes
1
answer
241
views
Is a function $u\in \mathrm{SBV}(\Omega)$ with these additional properties essentially bounded?
Some related earlier discussion can be found here.
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary, $\mathcal H^{N-1}(\partial\Omega)<\infty$ and $u\in SBV(\Omega)$. Then
$$
...
CommunityBot
- 1
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
3
votes
1
answer
378
views
Poincare constant on non-convex domain
I'm wondering if there is any results on the optimal constant for the Poincare inequality on a non-convex domain in $\mathbb{R}^3$, since most of the things I found are results on convex ones.
Any ...
- 111
10
votes
2
answers
371
views
Can a vector-function $v:\mathbb{R}^n\to \mathbb{R}^n$ be an eigenvector of its own Jacobian matrix?
Good morning,
I've came across this question, which has been puzzling me for some days. Suppose we are given a vector-valued function $v:\mathbb{R}^n\to \mathbb{R}^n$, $v(x)=\left( v_1(x),\dots, v_n(...
- 12.9k
3
votes
1
answer
334
views
The Poisson equation
I see the following theorem in Lihe Wang's A geometric approach to the Calderon--Zygmund estimates
$$
\triangle u=f\quad in \quad \> B_2. \>\quad \quad \quad \quad (1)
$$
Lemma 7: There is a ...
CommunityBot
- 1
1
vote
1
answer
193
views
Quantitative finite speed of propagation property for ODE (cone of dependence)
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 5,380
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
1
vote
1
answer
380
views
Existence and regularity for fractional Poisson-type equation
According to Theorem 2.7 in the paper https://arxiv.org/pdf/1704.07560.pdf, we have the following classical results.
Let $s \in (0,1)$ and $1<p<\infty$. Then for any $F \in L^p(\mathbb{R}^n)$ ...
- 17.2k
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
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
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
0
votes
1
answer
51
views
Strict positive type function on hypersurface also of positive type in neighborhood?
Let $u\in C^\infty(\mathbb{R}^n\times\mathbb{R}^n)$ be symmetric and of strictly positive type on some hypersurface $S \subset \mathbb{R}^n$ diffeomorphic to $\{0\}\times\mathbb{R}^{n-1}$. This means ...
- 13
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
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
4
votes
0
answers
127
views
Anderson Localization and Homogenization theory
I originally asked this on Mathematics Stack Exchange but realized it might be better to ask it here.
The question is mostly related to homogenization theory in mathematical physics.
$\textbf{...
- 2,821
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
4
votes
1
answer
168
views
Method of characteristics beyond the Lipschitz setting
I have come across the following easy-looking problem that is driving me mad.
I have a family of measures (on the real line $\mathbb R$) $\{\mu_t\}_{t>0}$ which is uniformly bounded (the measures ...
- 1,277
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
4
votes
0
answers
159
views
inverse of sobolev riemannian metric still sobolev?
Given a covariant riemannian metric of certain sobolev class (i.e. with square-integrable weak derivatives up to a large enough integer order) on a (compact, if necessary) finite-dimensional smooth ...
- 39.1k
1
vote
1
answer
239
views
Reference request for weak solutions of an Elliptic PDE
Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one.
I want to find weak, non trivial, continuous, solutions of $$\...
- 69
7
votes
2
answers
682
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
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
12
votes
1
answer
1k
views
Proof of Green's formula for rectifiable Jordan curves
$\newcommand{\Ga}{\Gamma}$
I am trying to find a proof of Green's formula for rectifiable Jordan curves $\Ga$ (and the corresponding interior regions $R$). There is a proof by Ridder, followed by ...
- 8,992
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
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
1
answer
724
views
Applications of the Calderon-Zygmund theory to PDE's
I am planning to build a PDE topics course focussing on the Calderon-Zygmund theory. I know some important applications of the Calderon-Zygmund theory to elliptic PDEs, but I don't know enough to get ...
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
0
votes
2
answers
132
views
Dirichlet problem for capillary equation over convex domain
Let $\Omega \subseteq \mathbb{R}^2$ be a bounded convex domain with piecewise smooth boundary.
Let $\phi :\partial \Omega \to \mathbb R$ be a continuous function.
Let $L$ be a quasilinear elliptic ...
CommunityBot
- 1
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
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.5k
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
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