All Questions
10,934 questions
4
votes
0
answers
80
views
Interpolation-extrapolation scales of H. Amann
I am currently reading H. Amann's notes titled "Nonhomogeneous linear and quasilinear elliptic and parabolic boundary value problems", and I have a question regarding the abstract ...
- 63.9k
1
vote
1
answer
40
views
Envelopes of functions with respect to some convex cone $\mathcal{F}$
Let's say we are given a function $f:\mathbb R ^d\to \mathbb R$ continuous. Assume that $\mathcal F$ is a convex cone of continuous functions ($\mathbb R^d$ to $\mathbb R$) closed under maxima. I am ...
- 1,714
19
votes
5
answers
16k
views
What does "kernel" mean in integral kernel?
In functional analysis, there is the term "integral kernel". Examples are Possion kernel, Dirichlet kernel etc.
In algebra, the term kernel of a homomorphism refers to the inverse image of the zero ...
- 23k
3
votes
0
answers
196
views
Parabolic smoothing for semilinear PDE
Consider the semilinear energy-critical parabolic PDE in $\mathbb{R}^3$
\begin{align}
\partial_t u &= \Delta u + |u|^{4/(n-2)}u = \Delta u + u^5\\
u(0,x) &= u_0\in \smash{\dot{H}}^1(\mathbb{R}^...
- 537
5
votes
1
answer
320
views
Is $\mathscr{S}_h'$ a complementary subspace for $\mathscr{S}'/\mathscr{P}$, the space of tempered distributions modulo polynomials?
Recall that in many Fourier Analysis texts, given a function $\Psi$ such that $\hat{\Psi}\in\mathcal{D}(\mathbb R^d)$, $\hat\Psi\ge0$ is supported in an annulus, and $\sum_{j\in\mathbb Z}\hat\Psi(2^j\...
- 1,247
6
votes
1
answer
323
views
Hartogs' theorem in Banach spaces
In complex analysis one learns Hartogs' theorem:
Let $U\subseteq \mathbb{C}^n$ open and $f: U \rightarrow \mathbb{C}$ a function. Then $f$ is analytic iff for all $1\leq i \leq n$
$$ z \mapsto f(...
- 3,065
1
vote
1
answer
120
views
Characterization of an integral operator with a Bessel kernel
I am considering the following integral operator: $$K(\sigma)(\theta)=\int_0^{2\pi} \sigma(\theta') J_0(|e^{i\theta}-e^{i\theta'}|)\,d\theta',$$ where $J_0$ is the Bessel function of order $0.$
I am ...
CommunityBot
- 1
5
votes
1
answer
164
views
Does quadratic asymptotic growth imply log-Sobolev inequality?
Let $f : \mathbb{R}^n \rightarrow [0,\infty)$ be a smooth function and consider $h$ s.t $h(\vec{x}) = f(\vec{x}) + \lambda \Vert \vec{x} \Vert^2$.
Does this imply that irrespective of any other ...
- 5,380
1
vote
1
answer
330
views
Does $\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$ converge?
I am trying to study the converge of the series
$$\sum_{n=1}^{\infty}\frac{(-1)^n e^{\sin{n}}}{\sqrt{n}}$$
But $e^{\sin{n}}$ is not monotone, and the Abel's test rule fails here. Can someone help me? ...
- 348
0
votes
0
answers
60
views
Spectral analysis of Dirac operators coupled to gauge potential on $\mathbb{R}^n$
Dirac operators on compact manifolds seem to have been studied well, such as in this book and also this one.
However, I cannot easily find comprehensive treatment of Dirac operators coupled to gauge ...
- 3,477
9
votes
2
answers
775
views
Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity
In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
0
votes
0
answers
78
views
Definition of Moore-Penrose inverse for unbounded self-adjoint operators?
I know there is a concept of Moore-Penrose or pseudoinverse of a matrix. I would like to know if one can define it for densely defined unbounded self-adjoint operators on Hilbert spaces as well. ...
2
votes
1
answer
108
views
Separability is an interpolation property
I'm trying to prove that certain space, which can be obtained as an interpolation space, is separable. The fact that is separable is well known but i want to simplify it via interpolation. I haven't ...
- 56
1
vote
0
answers
174
views
Interpolation of Sobolev spaces with constraints
Let us consider a real interval $[0, L]$, with $a\in (0, L)$, and let $I_1=(0, a)$ and $I_2=(a, L)$. We denote by $H^k(I_1)$ and $H^k(I_2)$ the usual Sobolev spaces, defined for $k\in \mathbb{N}$. Now,...
- 81
6
votes
1
answer
170
views
Do projections in an $AW^\ast$-algebra form an orthomodular lattice?
I’m currently studying orthomodular lattices arising out of operator algebras. One of the most standard examples is the projection lattice of a von Neumann algebra - if $M$ acts on a Hilbert space $H$,...
- 151
1
vote
1
answer
105
views
Constrained optimization over a set of functions
How to approach the following optimization problem:
$$\text{minimize }\int_0^1 f(x) \, dx$$
over all (integrable) real-valued functions $f$ on $[0,1]$ satisfying
$$1-x_1 x_2 \leq f(x_1)f(x_2)\text{ ...
1
vote
1
answer
703
views
Reciprocal expansion of modified Bessel function
I am reading Sherstyukov and Sumin - Reciprocal expansion of modified Bessel function in simple fractions and obtaining general summation relationships containing its zeros. The authors say they are ...
CommunityBot
- 1
0
votes
0
answers
45
views
Functional inequalities on neighbourhood graphs
Consider an open domain $\Omega \in \mathbb{R}^d$, say the unit disk in $\mathbb{R}^2$ with $N$ points sampled i.i.d. on it. One of the simplest possible (unnormalised) discrete Laplacian of a ...
- 111
3
votes
1
answer
116
views
Does a bounded positive modular sesquilinear form on a $C^\ast$-algebra induces an element of its multiplier algebra?
This is a question that originates from my attempt at this question. Specifically, for a $C^\ast$-algebra $A$, I am attempting to construct a map $\phi: A \times A \to A$ s.t.,
$\phi$ is sesquilinear,...
- 151
3
votes
1
answer
109
views
Literature request: Covariance operators for Gaussian measures
I am looking to answer the question:
If $\mathcal{B}$ is a separable Banach space and $R: \mathcal{B}^*\to\mathcal{B}$ is a symmetric and positive operator, then $\phi: \mathcal{B}^*\to\mathbb{R}, \...
- 869
1
vote
2
answers
135
views
Normalized tight frame that is not orthonormal
Does anybody know an example of a normalized tight frame (wavelet frame) that is not an orthonormal frame of $L^2( \mathbb{R})$?
So in other words $\{\psi_{j,k}(x):=2^{j/2}\,\psi(2^j\,x-k)\}_{j,k \in ...
- 121
3
votes
1
answer
488
views
Strict inequality in decoupling inequality
I am working on the decoupling inequality developed by Bourgain and Demeter: https://arxiv.org/abs/1604.06032.
Is there an example where we have strict inequality in Theorem 1.1, say in the case $n=2$ ...
CommunityBot
- 1
5
votes
1
answer
379
views
Nuclear vs Banach spaces: compactness properties
A question about the meaning from following excerpt from german wikipedia adressing interesting crucial feature of nuclear spaces opposing them from Banach spaces (transl.):
While normed spaces, ...
- 6,028
0
votes
0
answers
141
views
The tensor product of two Fredholm operators
What can be said about the tensor product $T\otimes S$ of two Fredholm operators $T:X_1\to Y_1$ and $S:X_2 \to Y_2$ where $X_1,X_2,Y_1, Y_2$ are Banach spaces and tensor product of ...
- 6,367
6
votes
1
answer
2k
views
Finite element method inverse estimate
$\DeclareMathOperator\diam{diam}$Looking for a proof in the literature of the following lemma:
Let $K\subset\mathbb{R}^d$ be a bounded domain. Let $P_X$ be a finite dimensional subspace of $\mathcal{...
CommunityBot
- 1
2
votes
0
answers
47
views
Norm density of evaluation functionals in the space of weak$^*$ continuous multilinear functionals on products of dual Banach spaces
Let $K$ be a compact (metrizable) space and let $C(K)$ be the Banach space of continuous real-valued functions on $K$, equipped with the supremum norm. It is then well known that the dual space $C(K)^*...
- 6,367
0
votes
0
answers
46
views
What's the problem in using spanning Bessel sequences that are not frames to decompose vectors?
This is related to a question I recently asked on math.SE.
Consider a subset $G\equiv \{g_k\}_{k\in\mathbb{N} }\subseteq\mathcal H$ in a separable Hilbert space $\mathcal H$, and suppose $G$ spans the ...
- 342
1
vote
0
answers
86
views
Gamma convergence via density argument: Looking for references
I am looking for a reference or result dealing with Gamma via density argument.
Let me elaborate more my wish. I am actually trying to establish the Gamma convergence (precisely only the liminf) of a ...
- 869
1
vote
0
answers
39
views
relatively weakly compact sets in the projective tensor product of $\ell_p $ and a Banach space $X$
We will use the notation in [1].
A sequence $(x_n)$ in $X$ is called weakly $p$-summable ($p\ge 1$) if $(x^*(x_n))\in \ell_p$ for each $x^*\in X^*$. Equivalently, a sequence $(x_n)$ in $X$ is ...
4
votes
1
answer
180
views
Analytic function with values in $L^1$
Suppose that $(\Omega, \Sigma, \mu)$ is a measure space.
Let $D$ be the unit open disk and $F : D \rightarrow L^1(\mu)$ be an analytic function. Is it true that for a.e. $w \in \Omega$ the function $F(...
- 54.2k
0
votes
1
answer
114
views
Geometric interpretation of a Grammian-like function
Let $\mathbf{v}, \mathbf{w} \in \mathbb{R}^n$ and consider the following function $f : \mathbb{R}^n \times \mathbb{R}^n \rightarrow \mathbb{R}$:
$$
f(\mathbf{v},\mathbf{w}) = \|\mathbf{v}\|\|\mathbf{w}...
- 188k
0
votes
0
answers
50
views
About extreme case on complex interpolation
I'm trying to prove some equality of spaces via complex interpolation with the usual Calderon functor $[,]_\theta$. If $(E_0,E_1)$ is a compatible couple, it is known that $$[E_0,E_1]_j, j=0,1,$$ is a ...
2
votes
0
answers
83
views
3/2 Sobolev Norm on the boundary of a bounded open subset of $\Bbb R^n$
Let $\Omega\subset\mathbb{R}^{n}$ be a open bounded set and $\partial\Omega$ be the boundary of $\Omega$.
Following the reference text by Alois Kufner, Oldřich John and Svatopluk Fučík, Function ...
- 6,367
3
votes
1
answer
67
views
Infinite direct sum decomposition of the heat semigroup on $\mathbb R$
This question is based on a very similar question posted by me yesterday. A very nice solution was provided by Aleksei Kulikov. Here I modify my question slightly.
Let $Q_t$ be the heat semigroup on $...
- 24.2k
5
votes
1
answer
594
views
Exponential sum vs. exponential integral via Poisson summation
When we want to estimate an exponential sum
$$
\sum_{M<m\le M'}e(f(m))
\quad\text{with}\quad
1\le M\le M'\le 2M
\quad\text{and}\quad
e(x):=\exp(2\pi ix)
$$
where $e(x):=\exp(2\pi ix)$
and the phase ...
CommunityBot
- 1
12
votes
1
answer
735
views
Parametrisations for null temperature functions: nonuniqueness of solutions to the heat equation
Disclaimer. I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition....
- 6,367
0
votes
0
answers
16
views
Representing a periodic strip operator as a tensor product of operators
I hope this question is not trivial, but here goes. I want to consider a bounded operator on $\mathcal{H}=\ell^2(\mathbb{Z}\times \{0,...,N-1\})$ that is a discrete Schrodinger like operator.
...
- 633
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_{...
- 6,476
2
votes
0
answers
331
views
What is the spectrum of this differential operator?
My self-adjount differential operator $L$ is defined by $$L f(x) \equiv u(x) \frac{\partial^2}{\partial x^2} \left( u(x) f(x) \right)$$ where $u(x)$ is a known but arbitrary smooth function that ...
- 206
3
votes
3
answers
550
views
Looking for a very particular kind of non-convex functions
I want some examples (hopefully parametric families!) of non-convex functions which satisfy the following properties simultaneously,
It should be at least twice differentiable.
It should have a ...
CommunityBot
- 1
0
votes
1
answer
117
views
Validity of approximation method for von Mangoldt function
I'm working on a problem involving the pointwise almost everywhere convergence of multilinear ergodic averages with the von Mangoldt function inspired by this paper. Specifically, I'm looking at ...
CommunityBot
- 1
1
vote
1
answer
136
views
$\ell^2 \to L^\infty$-inequality for almost periodic functions
Suppose $u : \mathbb R \to \mathbb C$ is a smooth, (Bohr) almost periodic function. Formally, such a function admits a Fourier series expansion
$$u(x) = \sum_{\lambda \in \Lambda} \widehat u(k) e^{i \...
- 2,605
1
vote
1
answer
215
views
Compactness with respect to topology induced by total-variation distance
I've been working on a problem and at some point in the proof I need to show that the following set $$\left\{\mu \in \mathcal{P}_{ac}(\mathbb R^d): \int \varphi(x)\mu(\mathrm{d}x)\leq C\right\}$$
is ...
- 192
3
votes
1
answer
6k
views
About eigen-functions of the Gaussian kernel
If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...
- 188k
10
votes
3
answers
739
views
Is there a version of Fischer-Riesz theorem for Banach space?
$( \Omega,F, P )$: a measurable space equipped with a finite measure
$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra
$p$ : a constant bigger than $1$
...
- 41.1k
2
votes
0
answers
98
views
Decay of fourier coefficients
Let $\mathbb{S}^1$ denote the unit circle in $\mathbb{R}^2$, and let $\mathcal{M}(\mathbb{S}^1)$ denote the space of finite Borel measures on $\mathbb{S}^1$. For $\mu \in \mathcal{M}(\mathbb{S}^1)$, ...
CommunityBot
- 1
2
votes
1
answer
196
views
Estimate for the operator $A A_D^{-1}$
Let $O\subset\mathbb{R}^d$
be a bounded domain of the class $C^{1,1}$
(or $C^2$
for simplicity). Let the operator $A_D$
be formally given by the differential expression $A=-\operatorname{div}g(x)\...
CommunityBot
- 1
3
votes
1
answer
79
views
Closed linear span of the range of $\boldsymbol f$ and Pettis integrals of $\boldsymbol f$
Let $X$ be a noncompact locally compact topological space, let $H$ by a complex Hilbert space and let $\boldsymbol f:X\to H$ be a continuous function vanishing at infinity whose support is equal to $X$...
- 407
-4
votes
1
answer
302
views
A Question in Fourier Analysis proposing a conjecture
Let $f$ be a $2\pi$ periodic BV function whose derivative is also BV.Let the amount of jump at a point $x$ is denoted as $\lfloor f \rfloor (x) = f(x+0)-f(x-0)$ Define function $J:\mathbb{R} \to\...
- 698
0
votes
0
answers
49
views
On the $L^p$ estimate and Weyl's law of Eigenfunctions in Sogge's Book
I have recently started to study the book "Fourier integrals in classical analysis " by Sogge mainly oscillatory integral decay methods. I have a question from the chapters 4 and 5. Mainly ...
- 11