All Questions
1,154 questions
1
vote
0
answers
64
views
distance between consecutive eigenvalues for the laplacian on cubes
The asymptotic expansion of the eigenvalues of the Dirichlet Laplacian on a cube $[0,\pi]^d$ is given by Weyl's asymptotic, namely it starts with
$$
\lambda_n = C(d) n^{2/d}+o(n^{2/d}).
$$
This fact ...
- 2,494
1
vote
1
answer
999
views
Subspaces of Quotient Spaces
Let $X$ be a topological vector space (not necessarily Hausdorff), with topology $\tau$, and $M, N$ linear subspaces of $X$. Let $\pi:X \rightarrow X/N$ be the quotient map, which associates to each $...
- 640
1
vote
1
answer
112
views
A bilinear estimate with a simple one-dimensional oscillatory integral kernel
Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$.
I am trying to show that
$$\int_{\mathbb{R}}\int_{\mathbb{R}}
\,K(y,z)\,
\frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
- 852
1
vote
2
answers
220
views
A question on unit norm elements of $\ell^2 \setminus \bigcup_{0<p<2 }\ell^p$
Let $A\subset \ell^2$ consist of all $x\in \ell^2$ with $|x|_2=1$ which does not belong to any $\ell^p$ for all $0<p<2$.
Note that $A$ is non-empty with a Baire category argument.
I ...
- 356
1
vote
1
answer
301
views
Vague convergence VS Laplace transform convergence?
If we assume that $\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}\mu(dx), \forall s\geq0$, it is possible to show that $\mu_n\to\mu$ vaguely. Where $\mu_n$ is a measure. Please check here for ...
1
vote
0
answers
122
views
Poisson equation estimates near boundary
Fix $ \Omega$ a bounded smooth domain in $\mathbb R^N$ (take $N$ big) and let $ \frac{N+1}{2}<p<N$. We now consider nonnegative smooth functions $f$ such that $-\Delta u(x)=f(x) $ in $ \Omega$ ...
- 1,385
1
vote
1
answer
518
views
Interpolation between Schatten classes
I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
- 305
1
vote
2
answers
2k
views
Fractional-order Rellich–Kondrashov Theorem
The following is known:
Let $s \in (0,1)$ and $p \in [1,\infty)$ be such that $sp < n$. Let $q \in [1, p^*_{n,s})$ with $p^*_{n,s} = np/(n-sp)$, $\Omega \subset \mathbb R^n$ be a bounded ...
- 446
1
vote
0
answers
123
views
Generalization of concave envelope
Let $g:\mathbb R_+\to\mathbb R$ be a measurable function (which could be supposed to be bounded and Lipschitz if required). Let $\mathcal P$ be the collection of probability measures $\mu$ on $\mathbb ...
- 1,835
1
vote
1
answer
433
views
Why complex conjugate in definition of the Fourier transform?
Let $G$ be a locally compact abelian group and $f:G \to \mathbb{C}$ a function. Its Fourier transform (when it exists) is defined to be
$$\widehat{f}(\chi) = \int_G f(g) \bar{\chi}(g) \mathrm{d} g,$$
...
- 21.3k
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 765
1
vote
1
answer
272
views
Let $u$ be harmonic on domain $D\subset \mathbb R^d$, how far can we extend $u$ holomorphically?
If $u$ is harmonic then it is real analytic so then it can be extended locally holomorphically. I also know that if $u$ is harmonic on a ball in $\mathbb R^d$ we have that the radius of convergence is ...
- 1,904
1
vote
1
answer
128
views
Infinite direct sum decomposition of the heat semigroup on $\mathbb{R}^n$
Consider the heat semigroup $Q_t$ on $L^2(\mathbb{R}^n)$ generated by the Laplace operator $\Delta=\sum_{i=1}^n\frac{\partial^2}{\partial x^2_i}$. Does there exist a direct sum decomposition
$$\oplus_{...
- 407
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
1
answer
113
views
Is $I-S$ in my attempt of Fredholm alternative injective?
Let $E$ be a Banach space. Let $\mathcal K(E)$ be the space of all compact (bounded linear) operators from $E$ to $E$. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let ...
- 657
1
vote
1
answer
131
views
Optimal constant comparing $f(1/2)$ and $\|f\|_2$ when $f$ is $t$-Hölder?
Suppose that $f \colon [0, 1] \to \mathbb{R}$ is $k$ times continuously differentiable and Holder in the sense that for some
$t = k + \beta$, where $\beta \in (0, 1]$ and $k$ is a nonnegative integer ...
- 420
1
vote
1
answer
178
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum II
This is a follow-up on a previous question. Now the parabolic PDE of $P(t,x,v)$ has two spatial dimensions.
$$
\partial_t P = L^* P \tag1
$$
$$L^*P = \frac12\left(\kappa^2\frac{\partial^2}{\partial v^...
- 2,239
1
vote
1
answer
220
views
Criterion of reflexivity
Let $E$ be a Banach space.
It is known that if for any equivalent norm on $E^*$ the closed unit ball of $E^*$ is weakly* closed, then $E$ is reflexive (a very short proof is in the book by Fabian, ...
- 5,529
1
vote
0
answers
104
views
Amenability of $\textrm{w}_0(L^1(G))$
Let $G$ be an infinite compact group and $A=L^1(G)$. It is known that $c_0(A)$ is amenable [Runde2020, p.80] while $\ell^{\infty}(A)$ is not [Daws2009] .
Let $\textrm{w}_0(A)$ denote the subspace of $\...
- 2,605
1
vote
1
answer
264
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 835
1
vote
1
answer
505
views
Gaussian measures on non-separable spaces
Let $X$ be a topological affine space which is neither separable nor metrizable. There are plenty of trivial Gaussian measures: each Dirac point-mass $\delta_x$ are the Gaussian measure with zero ...
- 8,512
1
vote
1
answer
178
views
Growth assumption and example of finite (arbitrarily small) time blow up for ODE
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 \...
- 839
1
vote
1
answer
187
views
Fractional Laplacian equation on a ball and explicit solutions
Let us consider
\begin{align*}
(-\Delta)^s u &= 0 && x \in B_r(0) \\
u&=0 && x \in \mathbb R^N \setminus B_r(0),
\end{align*}
where $$
(-\Delta)^s u(x) = \int_{\mathbb{R}^N} \...
- 99
1
vote
1
answer
121
views
Complemented subspace constructed from finite pieces
Suppose $Y=\overline{\cup E_n}$ is a closed subspace of a Banach space, where each $E_n$ is a $n$-dimensional subspace, $K$-complemented in $X$, and for any $n$, $E_n\subseteq E_{n+1}$. Can one ...
- 247
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...
- 135
1
vote
1
answer
250
views
Local obstructions for maps with constant singular values
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M, \N$ be smooth two-dimensional Riemannian manifolds.
Are there any local obstructions for the existence of a smooth map $f:\M \to ...
- 6,741
1
vote
1
answer
319
views
Is $(f \ast K)'' \in L^1(\mathbb R)$ for $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$?
Is it possible to deduce that $$(f \ast K)'' \in L^1(\mathbb R)$$ if $f \in L^1 \cap L^\infty(\mathbb R)$ and $K \in BV(\mathbb R)$? What I can prove is that $(f \ast K)' \in L^1 \cap L^\infty$. Is ...
- 131
1
vote
1
answer
368
views
Does the almost sure convergence of absolutely continuous r.v.'s imply the weak convergence of the pdf's in $(L^\infty)^*$?
The following question was asked in a comment at Almost sure convergence vs convergence of probability density functions :
Suppose that $(X_n)$ is a sequence of random variables (r.v.'s) converging ...
- 128k
1
vote
1
answer
771
views
Estimates of fractional heat kernel
Is there any estimate available for the derivatives of the fractional heat kernel? Estimates on the kernel itself are at this link.
Also is any estimate available if we consider the problem with ...
- 109
1
vote
1
answer
114
views
question about $TGV^2$ space
Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and
$$
TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in C_c^\infty(I),\,\|\phi\|_{L^{\infty}(...
- 679
1
vote
1
answer
114
views
Is a $1_A \otimes U$ invariant subspace of $\mathcal{H}_A \otimes \mathcal{H}_B$ a product $V_A \otimes \mathcal{H}_B$?
Consider a subspace $V$ of $\mathcal{H}_A \otimes \mathcal{H}_B$, with $\mathcal{H}_A$ and $\mathcal{H}_B$ finite-dimensional Hilbert spaces, that is $1_A \otimes U$ invariant for all unitary ...
- 133
1
vote
1
answer
260
views
A question on theorem 1.1 of Fritz John ultrahyperbolic pde
I have the following paper:
Fritz John, The ultrahyperbolic differential equation with four independent variables, Duke Math. J. 4 (1938), no. 2, pages 300-322
doi:10.1215/S0012-7094-38-00423-5
Now ...
- 1,594
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
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 $$\...
- 698
1
vote
0
answers
315
views
"Integration by parts" formula for functionals
We know that for a Hilbert triple $V \subset H \subset V^{'}$, if we have $u, v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V')$
then
$$\frac{d}{dt}(u(t), v(t))_H = u'(t)(v(t)) + v'(t)(u(t))$$
where the $...
- 29
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 \...
- 839
1
vote
0
answers
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
- 1,893
1
vote
0
answers
346
views
Duality of maps on bounded vs trace-class operators (Schrödinger-Heisenberg dual)
$\newcommand\calH{\mathcal H}
\newcommand\calK{\mathcal K}
\newcommand\tr{\operatorname{Tr}}$I am looking for a (citable) reference for the following fact:
Bounded linear maps $g:T(\calH)\to T(\calK)$...
- 896
1
vote
0
answers
323
views
Does Morrey's inequality contextually relate to Rellic-Kondrachov compactness?
I have been reflecting on this question, and want to share my thinking thus far. I'd be grateful for the community's inputs.
We refer to Morrey's inequality, Theorem 4 on pp 266 of Evan's book on PDE, ...
1
vote
0
answers
102
views
Pertubations of self-adjoint first order operators
If we consider the self-adjoint operator $L= L_0 + h$ on the appropriate Sobolev spaces of maps from $S^1$ to $\mathbb{R}^N$, say, where $L_0$ is a first order self-adjoint operator and $h$ is a ...
- 11
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
user123457
1
vote
0
answers
153
views
How to pick out harmonics based on boundary conditions?
(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...
- 1,893
1
vote
1
answer
317
views
The continuous convergence given the a.e. convergence
Suppose that $f_n: \mathbb{R} \times [0,\infty) \to \mathbb{R}$ is a uniformly bounded sequence (i.e., there exists $C>0$: $|f_n| < C$ for every $n$) such that
$$ f_n \in C^2_x \times C^1_t, $$
...
- 41
1
vote
1
answer
223
views
A linear algebraic q-difference equation [SOLVED]
I would like to solve the following algebraic linear q-difference equation:
\begin{equation}
a\left(x\right)f\left(x\right)=f\left(qx\right)
\end{equation}
The parameter $q$ is real, positive and ...
- 133
1
vote
1
answer
353
views
A question about PDE argument involving monotone convergence theorem and Sobolev space
I'm reading this paper. In it there is the following argument (see page 240).
Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. $b(\...
- 266
1
vote
2
answers
604
views
Generalized limits
Cross-posted from Math SE.
The linked question explores the concept of a "generalized limit" that assigns values to sequences which diverge in the Cauchy sense. It asks the following question:
...
- 2,203
1
vote
0
answers
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
1
vote
1
answer
151
views
If $f(x_1,x_2)=f(x_2,x_1)$, $f(x_1,x_2)=\sum_k \lambda_k f_k(x_1)f_k(x_2)$? [closed]
Consider a symmetric function
$$
f(x_1,x_2):R^n \times R^n \to R
$$
satisying $f(x_1,x_2)=f(x_2,x_1)$. Are there functions $f_k:R^n \to R$ such that
$$
\int_{x\in R^n}f_k(x)f_l(x)dm=\delta_{kl},
$$
...
1
vote
2
answers
424
views
Regular Lagrangian flow for the problem $\frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x))$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x)), &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
where $\chi$ denotes the ...
- 839