All Questions
10,935 questions
2
votes
1
answer
189
views
Equivalent characterization of weak derivative in Bochner space
Let $H$ be a hilbert space. A function $v\in L_\text{loc}^1(0,T;H)$ is called the weak derivative of $u \in L_\text{loc}^1(0,T;H)$ iff
$$ \int_0^T u(t) \varphi'(t) \, dt = -\int_0^T v(t) \varphi(t) \, ...
- 75
4
votes
1
answer
228
views
Diagonalizing selfadjoint operator on core domain
Let $A$ be a densely-defined, positive, self-adjoint operator with compact resolvent on a Hilbert space $H$. Then, $\text{Range}(1+A)=H$ and there is a basis for $H$ consisting of eigenvectors of $1+A$...
- 143
2
votes
1
answer
151
views
Distance between convex hulls in a bounded closed convex set
Let $X$ be an infinite-dimensional Banach space and $C\subseteq X$ be a bounded closed convex subset. Let $\{z_i\}_{i\in\mathbb{N}}$ be a sequence of linearly independent points in $C$ and for each $n\...
- 307
5
votes
1
answer
238
views
Confusion with the definition of a Frechet space regarding completeness and uniqueness of a limit
I am aware that a Frechet space $V$ is a topological vector space whose topology is induced by countably many seminorms $\{ \lVert \cdot \rVert_k \}$ such that
it must be Hausdorff
it must be ...
- 3,477
3
votes
1
answer
185
views
Uniformly closed ideals of smooth/real analytic functions
Consider $U\subseteq \mathbb{R}^n$ an open subset and denote by $R$ either the algebra of real-valued smooth or real analytic functions on $U$. In either case suppose that $R$ is equipped with the ...
- 513
6
votes
0
answers
253
views
Are bounded groups of thin operators on Hilbert space similar to groups of unitaries?
QUESTION. Let $G$ be a group of bounded operators on $\ell^2$, satisfying $\sup_{x\in G} \lVert x\rVert <\infty$, whose elements are all of the form "identity+compact" (sometimes called &...
- 25.8k
4
votes
0
answers
197
views
Compactness of the unit ball in the space of Radon measures w.r.t. the Kantorovich-Rubinstein norm
This question was posted previously but has not attracted any responses so I am repharising it in a slightly different language hoping to reach a wider community
Let $(X,d)$ be a pointed metric space ...
- 437
1
vote
1
answer
148
views
Why does failure of boundedness of this operator for $p<q$ implies its failure for $p>q^{\prime}$?
I am reading the paper "P.Sjolin, Convolution with Oscillating Kernels, Indiana University Mathematics Journal Vol. 30, No. 1 (1981), pp. 47-55" where $L^p-L^p$ boundedness of the operator
$...
- 852
1
vote
1
answer
84
views
optimization over moving domains
Let $A, B$ be Banach spaces, and for any $a\in A$, $B_a\in B$ is a measurable subset. Consider the following optimization problem:
$$L(a)=\inf_{b\in B_a}\ell(b),$$
where $\ell(b)$ is a infinite-times ...
- 87
2
votes
1
answer
139
views
Can a chaotic trajectory solve an algebraic equation?
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n$$
we ...
- 247
7
votes
2
answers
408
views
$L^p-L^q$ boundedness of this simple singular oscillatory integral operator
Let $0<\alpha<1$ and define
$$Tf(x):=\int e^{\dot{\imath} x y} \frac{f(y)}{|x-y|^{\alpha}}dy.$$
The Hardy-Littlewood-Sobolev inequality characterizes $L^p-L^q$ boundedness of
$Hf(x):=\int \frac{...
- 852
1
vote
0
answers
125
views
Transforming nilpotency into diagonalizability [closed]
We designate the $k$-th standard vector as $e_k$ in $\mathbb{C}^n$.
We consider the backward shift operator, denoted as $T: \mathbb{C}^n \to \mathbb{C}^n$, which is defined as follows:
$Te_1=0$ and $...
- 4,058
5
votes
2
answers
665
views
Separate continuity implies (joint) continuity
I believe that the following fact is true and I am looking for a reference.
Let $X$ be a locally compact Hausdorff topological space (may be assumed to be metrizable). Let $V$, $W$ be Fréchet spaces.
...
- 21.8k
1
vote
0
answers
169
views
Generalization of Borel functional calculus
[Repost from https://math.stackexchange.com/questions/4802593/generalization-of-borel-functional-calculus]
Let $A$ be a normal operator on a Hilbert space $V$. The continuous functional calculus gives ...
- 95
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
1
vote
1
answer
100
views
Is there literature on the existence of solutions to elliptic systems on unbounded manifolds?
Most of the current literature I've seen is either for compact Riemannian manifolds or unbounded subsets of Euclidean space. In this article, the authors consider a priori bounds on such systems on ...
- 419
1
vote
1
answer
310
views
Weak convergence in $H^{1}$ implies different convergence in $L^{p}$?
Suppose I have a sequence $\{f_{n}\}_{n\in \mathbb{N}} \subset H^{1}(\mathbb{R}^{d})$ which converges weakly to $f$ in $H^{1}(\mathbb{R}^{d})$, in the sense that $\langle f_{n},\varphi \rangle_{L^{2}}+...
1
vote
1
answer
265
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 ...
- 825
4
votes
0
answers
128
views
Looking for a generalization of fast Fourier transform form for Gauss sums
I want to compute quickly compute a sum of the form
$$\sum_{k=0}^{N}\sum_{l=0}^{M} e(g^{a^k*b^l})$$
Assume $a^N = b^M = 1$ modulo $q-1$.
Where $e(x) = e^{2\pi ix /q}$. This is very similar to the ...
- 591
1
vote
1
answer
88
views
Bounded $C_0$-semigroups on barrelled spaces are equicontinuous
I have the following question: Let $X$ be a barrelled locally convex space (every absolutely convex, absorbing and closed set is a neighborhood of zero) and let $(T(t))_{t\geq0}$ be a $C_0$-semigroup, ...
- 129
1
vote
0
answers
739
views
Finding a unique and finite expected value for almost all measurable functions?
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
- 63
4
votes
1
answer
305
views
Holomorphic extension of the Fourier transform of a measure
If an entire holomorphic function $f(z)$ is given by the analytic continuation of $f(x)=\int_\mathbb{R}e^{-ix\xi}\,d\mu(\xi)$ with a finite Borel measure $\mu$ on $\mathbb{R}$, then $g(x):=\int_\...
- 63
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
3
votes
1
answer
293
views
How to find the inverse of a product of two integral equations
Problem
I am trying to invert an equation of the form:
$R(l_0)=(\int_{0}^{l_0} \rho(x) \, dx)(\int_{l_0}^{l} \rho(x) \, dx)$
where $0\leq l_0 \leq l$
I.e. I want to find $\rho(x)$ given $R(l_0)$ via ...
- 33
5
votes
1
answer
526
views
Boyd & Chua 1985: Is the proof of Lemma 2 correct?
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'm reading this article by Boyd and Chua [1], in which they prove the approximability of arbitrary time-invariant (TI) operators ...
- 153
6
votes
1
answer
574
views
Integration in Banach algebra
Let $\mu$ be a Borel measure on the real line $\mathbb{R}$ taking values in a separable Banach algebra $A$. Assume that $\mu$ is such that the total variation measure $|\mu|$ is finite. Let $f$ be a ...
- 552
2
votes
0
answers
45
views
Topology of an orbit space constructed from a Fréchet space under the "local" action of some "smooth" group
Let $G$ be a nontrivial connected compact subgroup of the general linear group $\operatorname{GL}(\mathbb{R}^3)$. For example, we may take $G$ to be $\operatorname{SO}(3)$.
Next, let $\mathcal{S}(\...
- 3,477
1
vote
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 101
3
votes
2
answers
2k
views
Can every real function be approximated with a Riemann-integrable one with any precision required?
Is there some proof that Riemann-integrable functions are dense in the space of all real functions?
In a sense that for every real function $f$ and number $\varepsilon>0$, there is Riemann-...
- 117
1
vote
1
answer
113
views
The Fourier projection mappings $\{ P_N \}$ form an equicontinuous family of linear maps on $E'(S^1)$ as well?
Let $S^1=\mathbb{R}/\mathbb{Z}$ and define the Fourier projection operator $P_N$ for each $N \in \mathbb{N}$ as
\begin{equation}
P_N(f)=\sum_{n=-N}^N \langle f, e_n \rangle_{L^2} e_n
\end{equation}
...
- 3,477
0
votes
0
answers
49
views
Reference needed for powers of semi-group generators
Let $\mathcal{L}$ be the infinitesimal generator of a Markov semi-group. I am looking for references that study powers of $\mathcal{L}$; i.e. $\mathcal{L}^n$, for $n\in\mathbb{N}$.
For example, if the ...
- 90
2
votes
1
answer
155
views
Variation of concept of a Lusin space
Citing from Wikipedia,
A Hausdorff topological space is a Lusin space if some stronger topology makes it into a Polish space.
Is there a (previously studied) analogous concept of a Hausdorff (...
- 651
6
votes
0
answers
201
views
Dependence of Neumann eigenvalues on the domain
I have the following problem in hands, in the context of a broader investigation:
Let $V\in L^{n/2}$ compactly supported, where $n\geq 3$ is the dimension. I want to prove the following:
For any $\...
- 101
3
votes
1
answer
521
views
Is the set of real matrices with at least one real logarithm closed under multiplication?
Let $S$ be the set of real matrices with at least one real logarithm. For some couple of its elements, for example those with at least (one real logarithm each with submultiplicative norm smaller than ...
- 286
0
votes
1
answer
228
views
Norm equivalence in finite dimensions - is the equivalence "universal" if the dimension is fixed?
I am aware that in a finite dimensional vector space, any two norms are equivalent.
However, I cannot really figure out how "universal" the equivalence constants are.
To be specific, let us ...
- 3,477
2
votes
2
answers
200
views
If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised
Let us consider the Fréchet space $C^\infty\Bigl([0,1],\mathbb{R} \Bigr)$ of real-valued, periodic smooth functions.
That is, $f_n \to f$ in $C^\infty\Bigl([0,1],\mathbb{R} \Bigr)$ if $f^{(m)}_n$ ...
- 3,477
0
votes
0
answers
81
views
Ultraproduct reflexive
Hello I have the following construction: Let $(E,\|\cdot\|_E)$ be a Banach space, $E_n:=E^n$ and $\|x_n\|_n:=\frac{1}{n}\sum_{k=1}^n \|x_n(k)\|_E$ for all $x_n=(x_n(1),...,x_n(n))\in E^n$ and $n\in\...
- 1
0
votes
0
answers
63
views
Chapter 2, Section 5 of Chavel's book “Eigenvalue In Riemann Geometry" is about the zero-point distribution of the derivatives of eigenfunctions
In Chapter 2, Section 5 of Chavel's book, regarding the Neumann eigenvalues of the Laplacian in space forms, how did Chavel determine that $T'_{l,j}$ has ($j-1$) zeros? I have consulted books on the ...
- 11
1
vote
1
answer
180
views
Shape, shift and scaling retrieval of a sampled function
Let $f(x)$ be some unknown continuous square-integrable function defined on the interval $[0,1]$.
Suppose we have $i=1,...,n$ samples $f_i$ of $f$ of the following form:
$$f_i(x)=a_i*f(x+b_i)+c_i$$
...
- 230
1
vote
1
answer
119
views
Extremally disconnected rigid infinite Hausdorff compacta(?)
Question: does there exist an extremally disconnected infinite Hausdorff compact space $\ X\ $ such that the only homeomorphism
$\ h: X\to X\ $ is the identity homeomorphism
$\ h=\mathbb I_X:\ X\to X\...
- 4,786
1
vote
1
answer
262
views
Any $L^\infty (\mathbb{R}^3)$ can be approximated pointwise almost everywhere by continuous function with compact support
In the book Fourier Analysis and Self-adjointess of Reed and Simon in the proof of the
Feynman-Kac formular the author states that for any $V\in L^\infty (\mathbb{R}^3)$ there is a sequence $(V_n)_n$ ...
3
votes
0
answers
253
views
Two more topologies on unitary groups
Let $H$ be a separable Hilbert space and let $\operatorname{U}(H)$ be the group of unitary transformations of $H$. It is well known that the weak, strong and compact-open topologies on $\operatorname{...
- 9,853
1
vote
0
answers
75
views
$T$ trace, then $Tg(u)=g(T(u))$ for all $u$ on $W^{1,p}$
The trace operator $T$ is defined for bounded domain $U$ with $C^1$ boundaries as the linear, continuous operator
$T: W^{1,p}(U) \rightarrow L^p(\partial U)$
such that
$$
Tu=u\;\text{ on }\partial U
$$...
- 11
2
votes
0
answers
120
views
Closure of Laplacian
Let $(M,g)$ be a complete Riemannian manifold and $\Delta$ the (positive) Laplace-Beltrami operator. Now, consider this operator as an operator
$$\Delta:\mathcal{D}(\Delta)\to L^{2}(M)$$
There are two ...
- 1,171
0
votes
0
answers
37
views
Finding an element of Gelfand triple with a designated time derivative
Let $V$ be a real separable Banach space and $H$ be a real separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
where $V'$ is the dual of $V$ and the inclusions are ...
- 3,477
2
votes
0
answers
157
views
Why do von Neumann algebras possess identity?
My starting point is that a von Neumann algebra is a $C^*$-algebra with a predual. The usual approaches to showing the existence of identity involve spectral theory (for approximate identity), but ...
- 433
0
votes
1
answer
242
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
- 297
1
vote
1
answer
329
views
Hölder continuity of Radon transform of smooth function
Given an integrable function (e.g a probability density function) $f:\mathbb R^n \to \mathbb R$, let $R[f]$ be its Radon transform defined by
$$
R[f](w,b) := \int_{\mathbb R^n} \delta(x^\top w - b)f(x)...
- 6,853
17
votes
1
answer
986
views
Uncountably many subsets of the natural numbers with certain natural density condition
Are there uncountably many $A_\alpha $ of subsets of $\mathbb{N}$ with the following two properties:
Each $A_\alpha$ has positive upper natural density
$A_\alpha \cap A_\beta$ is a finite set for $\...
- 356
94
votes
6
answers
14k
views
Quasicrystals and the Riemann Hypothesis
Let $0 < k_1 < k_2 < k_3 < \cdots $ be all the zeros of the Riemann zeta function on the critical line:
$$ \zeta(\frac{1}{2} + i k_j) = 0 $$
Let $f$ be the Fourier transform of the sum ...
- 22.3k