All Questions
Tagged with fa.functional-analysis ca.classical-analysis-and-odes
161 questions with no upvoted or accepted answers
1
vote
0
answers
94
views
Obtaining identity from Pokhozhaev formula
From the classical Pokhozhaev formula, how can I obtain that the following identity holds for $u,v \in C^2(\bar \Omega)$?
$$
\int_\Omega (\Delta u(x,\nabla v) + \Delta v(x,\nabla v)) dx = \int_{\...
- 217
1
vote
0
answers
257
views
Cut-off function and fractional Laplacian
Is there a smooth function $u$ such that $u = 1$ in $B_r(0)$, $u=0$ in $\mathbb R^N \setminus B_{2r}(0)$, and
$$
|\nabla u| \le Cr^{-1}, \quad |\Delta u |\le Cr^{-2}, \quad |(-\Delta)^s| u \le Cr^{-2s}...
- 99
1
vote
0
answers
144
views
Liouville theorem for elliptic equation with advection term
How can one prove that any $L^2$ solution of
$$ - \Delta \phi(x) + a(x) \cdot \nabla \phi(x)=0 \qquad \mbox{in } \mathbb R^N $$
is zero if $a(x)$ is a divergence-free vector field such that
$\int |\...
- 99
1
vote
0
answers
130
views
Fractional Sobolev embedding theorem
Let $\psi \in C^\infty_c(\mathbb R^N)$ be a test function with support iN $B(0,R)$. Is it true that the following inequality holds
$$\int_{B(0,R)} \psi^2 u^{\frac{4}{1+\beta}} dx \le R^{1+\beta} \int_{...
- 99
1
vote
0
answers
60
views
A determinantal mixture of probability densities
I came up with this operation after playing with determinantal point processes:
Given two probability densities $f,g$ defined on some measurable space with reference measure $\mu$, set
$$
f\star g(x)...
- 2,135
1
vote
0
answers
76
views
Existence of a `right' sequence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a sequence of bounded variation functions such that there exists $C>0$: $|f_n| < C$ for every $n$ and, as $n \to \infty$, for $...
- 41
1
vote
0
answers
177
views
A consequence of De Giorgi oscillation lemma
The following lemma is true (see DeGiorgi oscillation lemma)
Let $u$ be a subsolution of $$\mathrm{div}(A(x)\nabla u) = 0,$$
where $A$ is bounded, measurable and uniformly elliptic ($C^{-1}\...
- 839
1
vote
0
answers
107
views
Level sets of a BV function and its derivative
Given $u \in BV(\Omega; \mathbb{R}^M)$, where $\Omega \subset \mathbb{R}^N$, what is the relationship between its level sets and its distributional derivative $Db$?
More specifically, does Alberti ...
- 839
1
vote
0
answers
97
views
Fredholm integral equation of third kind
Let us consider the following integral equation
$$a(x)u(x) + \int\limits_0^2 {K(s,x)u(s)ds} = f(x)$$
Let f in $L^p(0,1)$ for some $p \in [1,\infty]$ and let $K \in L^q((0,2) \times (0,1))$. Assume ...
- 617
1
vote
0
answers
110
views
Using semigroup theory for nonautonomous semilinear equations
We have the abstract evolution equation $$U^{\prime}=A(t)U+F(U), \quad U(0) = U_0.$$ If the operator $A$ is independent of time, we can get local existence of solutions by proving that $A$ is the ...
- 11
1
vote
0
answers
324
views
Conditions for Poisson summation (for discontinuous functions)
Let $G$ be an locally compact abelian group with $\Gamma$ a discrete cocompact subgroup. I'm looking for precise conditions by which Poisson summation formula holds. That is, for some function $f$ on $...
- 3,799
1
vote
0
answers
237
views
On the bound of the Stein-Wainger oscillatory integral
Let $\lambda\in \mathbb{R}$, $\phi\in C^\infty(\mathbb{R})$. We define the Stein-Wainger oscillatory integral by
$$I=p.v.\int_\mathbb{R} e^{i\lambda\phi(t)}\frac{dt}{t}.$$
Stein-Wainger [1] showed ...
- 11
1
vote
0
answers
146
views
Functional equation with Fourier transform
What are the continuous functions $f$ such that on $\mathbb{R}^{+*}$:
$$f(x) - \frac{C}{x} \hat{f}(\frac{1}{x}) =x^{\alpha}$$
Where $\hat{f}$ is the Fourier transform of $f(|x|)$ and $C$ a constant....
- 1,199
1
vote
0
answers
183
views
Trace theorem for boundary value problem
Consider the inhomogeneous boundary value problem on the infinite strip $(x,y)\in \mathbb{R}\times [0,1]$ defined by
$$\begin{cases}\partial_{x}u + \partial_{y}v=f & {(x,y)\in \mathbb{R}\times (0,...
- 873
1
vote
0
answers
66
views
How to define spectral multiplier for −Δ?
Put $e_{n}(t)=e^{int}=\prod_{j=1}^{d}e^{in_{j}t_{j}}$, $t\in \mathbb T^d, n\in \mathbb Z^d.$ ($t=(t_{1},..., t_d), n=(n_1,..., n_d)$)
We note that $\{e_{n}\}_{n\in \mathbb Z^d}$ forms an orthonormal ...
- 233
1
vote
0
answers
105
views
compactness of sequence of harmonic functions
Let $ \Omega$ denote a smooth bounded domain in $ R^N$ and let $u_m \in C^\infty( \overline{\Omega})$ harmonic functions. We also suppose $ u_m$ is bounded in $L^2(\Omega)$ (uniformly in $m$).
...
- 1,385
1
vote
0
answers
86
views
Least restrictive condition such that $-y''(x)+q(x)y(x)=\lambda y(x)$ has two solutions
Let $\lambda \in \mathbb{R}$ and consider some function $q$ on the interval $[0,1].$
What is known to be the least restrictive condition on $q$ such that there are two linearly independent $H^2$ ...
- 11
1
vote
0
answers
148
views
References for the Sturm oscillation theorem
What is the most general form of the Sturm oscillation theorem?
So far I have only seen cases that treat either unbounded intervals or weighted $L^2$ spaces. I would be especially interested in ...
- 263
1
vote
0
answers
93
views
inverse problem to resolution of the identity
Suppose $f_\lambda(x),\lambda \in \mathbb{R}$ is a continuous/smooth family of bounded function on $\mathbb{R}$. Given a measurable set $\mathfrak{m}$ on $\mathbb{R}$, define $$E_\mathfrak{m}:L^2\...
- 587
1
vote
0
answers
86
views
Asymptotics of a elliptic pde when exponent gets large
I am interested in the following pde
$$ -\Delta w_p + \left( \frac{1}{p-2} +1 \right) \frac{ | \nabla w_p|^2}{w_p} + \epsilon(p) \left( \frac{1}{w_p} \right)^{(p-2)} = (p-2) w_p $$ in the unit ball $...
- 1,385
1
vote
0
answers
129
views
persistence of regularity for nonlinear Klein-Gordon equation
I have been reading the paper on nonlinear Klein-Gordon equation(NLKG) for initial data in modulation space: For detail please see the paper "Klein-Gordon Equations on Modulation Spaces (2014)" (...
- 1,051
1
vote
0
answers
133
views
Condition for boundedness in stationary phase theorem
I am trying to understand theorem 7.7.1 in Hormander's Analysis of linear partial differential operators, vol.1.
Let $K \subset \mathbb{R}^n$ be a compact set, $X$ an open neighborhood of $K$ and $j, ...
- 93
1
vote
0
answers
136
views
A linear operator equation (PDE) with non-monotone term
I'm interested in the existence and/or uniqueness to the following problem. Let $V$ and $H$ be Hilbert spaces and $V \subset H \subset V^*$ form a Gelfand triple.
There is a linear operator $L:{D}(L) ...
- 11
1
vote
0
answers
182
views
Laplacian mapping on various function spaces
I have a question related to a certain elliptic operator on $R^N$ but I think i can clarify my confusion if I just consider the Laplacian $\Delta$ on the unit ball in $R^N$.
If $ 1 <p< \infty$...
- 539
1
vote
0
answers
1k
views
Inverse Transpose of Jacobian Matrix
Let $f:\mathbb{R}^n\mapsto\mathbb{R}^n$ be a bijective function. Fixed $a\in\mathbb{R}^n$. For any $x$ closes to $a$, using Taylor's series we can approximate $f(x)$ by
\begin{equation}
f(x)\approx f(...
- 133
1
vote
0
answers
135
views
growth bound for solution of an ordinary integro-differential equation
I am considering the following ordinary integro-differential equation
$$
A g = \sigma^2(y) + \int_\mathbb{R} \nu(y,dz) z^2
$$
where
$$
A = b(y) \partial + \frac{1}{2} \sigma^2(y) \partial^2
+ \int_\...
- 11
1
vote
0
answers
100
views
Conditions on a measure to satisfy certain relation on moments.
Suppose we have a measure $\mu$ on $\mathbb R_+$ such that $\forall s>-1$ $t^s\in L^1(\mathrm d\mu(t))$.
I'd like to impose some conditions on $\mu$ so the function
$$f:p\to \frac{\int_0^\infty t^...
- 173
1
vote
0
answers
121
views
showing convergence of a function recursion relation
I have obtained (formally) a perturbative solution
$$
H(y) = \sum_{n=0}^\infty \delta^n H_n(y)
$$
to the following integro-differential equation ($\delta$ is a small constant, $\nu$ is a L\'evy ...
- 351
1
vote
0
answers
180
views
iterated traces for sobolev functions
It is well known that if $M$ is a smooth $(n-1)$-dimensional surface in $\mathbb R^n$ (e.g. a subspace) then there is a continuous trace operator $W^{s,p}(\mathbb R^n)\to W^{s-1/p,p}(M)$. Now suppose ...
- 2,041
1
vote
0
answers
693
views
A question about an equivalent definition of the Schwartz distribution
Hello,
Does anyone know a reference or proof of the "if" part of the following statement?
$$
\mu\in \mathcal{S}'(R)\quad\text{if and only if}\quad \mu*\alpha\in\mathcal{S}(R),\forall \alpha\in C_c^\...
- 1,649
1
vote
0
answers
477
views
A norm ratio inequality
Let $y,z\in(0,1)^n$ satisfy $||y||_1 = ||z||_1=1$.
Then
$$
\frac{||z||_3}{||z||_2} \le
K_n
||z/y||_\infty
\frac{||y||_3}{||y||_2}
$$
where $z/y\in\mathbb R^n$ is the coordinate-wise quotient of $z$ ...
- 6,541
1
vote
0
answers
283
views
Density of Dolean exponentials in L2 and Wiener Measure
Assume that W is the classical Wiener space C([0,1],R) note $\mu$ the Wiener measure, and denote by $\mu_s$ the image of $\mu$ under the maping $T: W ->W$ such that$ T(w)= \sqrt(s) w$ . Denote by $...
- 19
1
vote
1
answer
268
views
Best constant for Hölder inequality in Lorentz spaces
It's well known (and proved by R. O'neil) that there is a version of Hölder's inequality for Lorentz spaces, namely
$$\|fg\|_{L^{p, q}} \lesssim_{p_1, p_2, q_1, q_2} \|f\|_{L^{p_1, q_1}}\|g\|_{L^{...
0
votes
0
answers
57
views
Double-periodic functions with (possible) poles
Consider the set of double-periodic function $f:\mathbb C/(\mathbb Z+i \mathbb Z) \setminus \{z_0\} \to \mathbb C$, where $z_0$ is a fixed point inside $\mathbb C/(\mathbb Z+i \mathbb Z),$ that have a ...
0
votes
0
answers
112
views
Vector field connecting two points
I'm now working on somehow an inverse problem of an ODE:
Suppose we have a ODE on $\mathbb{R}^{n}$: $\dot{x} = f(x)$, denote the solution to the ODE starting at $a$ as $x_{f,a}$(t).
Now there is a ...
- 1
0
votes
0
answers
73
views
Operator globally hypoelliptic
An operateor $T$ is globally hypoelliptic if :
$u\in S'(\Bbb R^n),Tu\in S(\Bbb R^n)$ imply $u\in S(\Bbb R^n)$.
My question why if $u\in L^2(\Bbb R^n): Tu =\lambda u$. Then $u\in S(\Bbb R^n)$.
where $\...
- 501
0
votes
0
answers
57
views
Projection measure and an integral formula for Lipschitz functions
Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as
$$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
- 75
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
0
votes
0
answers
94
views
When can an affine functional on the dual be represented as an element of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, we are given a functional $\varphi: T(x_0)\to (-\infty, \infty]$, which is a lower semicontinuous, affine, Baire function on a subspace $T(x_0)$ ...
- 297
0
votes
0
answers
127
views
Closure of BV paths in space of paths of finite $p$-variation
Let $p\ge1$ and $T>0$. Define $\mathscr D([0,T])$to be the space of partitions of $[0,T]$, where each partition is a finite collection of distinct points of $[0,T]$. Consider a continuous path $X:[...
- 177
0
votes
0
answers
251
views
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic?
Let $\langle;\rangle$ be the usual scalar product on $L^2(\Bbb R^2)$.
How to prove that the function $\lambda \mapsto \langle T_{\lambda}f; g\rangle$ is holomorphic on $\Bbb C^+_*=\{z\in\Bbb C:\text{...
- 501
0
votes
0
answers
171
views
Explanation of a step in a preprinted work
I have been studying this preprinted paper and the references therein. I believe that there are some typos; However, since I am not an expert yet, I would like to make sure I am correct.
I do not ...
- 159
0
votes
0
answers
71
views
Sufficient condition to be increasing, following a vector field
Let $f\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R})$ $(n\geq 1)$ be an observable, and let $v^1,v^2\in\mathcal{C}^1(\mathbb{R}^n,\mathbb{R}^n)$ be two vector fields such that for any $(x^1_t)_{t\geq 0}$ ...
- 449
0
votes
0
answers
239
views
Fractional Laplacian for the product of two functions
Considering the following definition for the fractional Laplacian
\begin{eqnarray}
\label{pointwisedef} (-\Delta)^{s}u(x) & : = & \mathrm{ \mbox{p. v}} \quad a_{d,s} \int_{\mathbb{R}^d}\frac{...
0
votes
0
answers
53
views
Explicit computation related to the fractional Laplacian
Suppose $$c_{n,s}\int_{\mathbb R^n}\int_{\mathbb R^n} \frac{(u(x+y+z)-u(x+y)-u(x+z)-u(x))^2}{|y|^{n+2s}|z|^{n+2s}} dydz = C$$
for some constants $c_{n,s}$, $C$, and $s \in (0,1)$.
Is it true that $$u =...
- 161
0
votes
0
answers
153
views
Spectral fractional Laplacian of power-function $(-\Delta)^s x^{\alpha}$ in $(0,1) \subset \mathbb R$
How can one compute the Neumann spectral fractional Laplacian of power function, $(-\Delta)^s x^{\alpha}$, with $\alpha >0$, in an interval $(0,1)$. I'm only aware of the formula in the whole space....
- 99
0
votes
1
answer
114
views
Bounding $(\int_{S^1}\left|\partial_r u(r\omega)\right|^2 d\omega)^{1/2}$ with $(\iint \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy)^{1/2} $?
The following inequality is trivially true
$$\left(\int_{S^1}\left|\frac{\partial u}{\partial r}(r\omega)\right|^2 d\omega\right)^{1/2} \le \left(\int_{S^1}\left|\nabla u(r\omega)\right|^2 d\omega\...
- 161
0
votes
0
answers
55
views
Smooth compactly supported function with good scaling with respect to the fractional Laplacian
Is there a smooth cut off function with compact support such that $\phi: \Omega \subset \mathbb R^N \to \mathbb R$, $\mathrm{supp} \phi \subset B_R(0) \subset \Omega$ and $$(-\Delta)^s \phi \le C R^{-...
user139845
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user60665
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