All Questions
1,030 questions
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 ...
- 2,246
3
votes
0
answers
76
views
Absolute continuity of $t \to \lVert u(t) \rVert^2_{H}$ and Gelfand triple : are they equivalent?
Let $V$ be a separable Banach space and $H$ be a separable Hilbert space such that
\begin{equation}
V \subset H \subset V'
\end{equation}
and the inclusion maps are continuous with dense images. Here $...
- 3,477
3
votes
1
answer
256
views
On construction of a $\mathbb{Q}$ periodic function with Fourier series
Taking $f$ a function decreasing exponentially at infinity we can consider the periodic function given by following Fourier series:
$$F(x)= \sum\limits_{n =1}^{\infty} f(n) e^{2 i \pi n x}$$
Using ...
- 1,199
3
votes
1
answer
685
views
Finding a norm on $ \mathbb{R}^X $ such that the "natural" embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry
Let $ (X,d) $ be a metric space and consider the function $ T:X \to \mathbb{R}^X$ such that $ T(x)(y) = 1$ if $ y = x $ and $ 0 $ for all other $ y $. Is there a norm on $ \mathbb{R}^X$ such that $ T $...
- 133
3
votes
4
answers
2k
views
History of the Sampling Theorem
In January, 1949, Shannon publishes the paper Communication in the Presence of Noise, Proc. IRE, Vol. 37, no. 1, pp. 10-21, available here, which establishes the Information Theory. In this paper, the ...
- 1,568
3
votes
3
answers
666
views
Is the space of all borel measures on $\mathbb R^n$ isomorphic to the tensor product of spaces of borel measures on $\mathbb R$?
Similarly to the decomposition $L_2(\mathbb R^n) = L_2(\mathbb{R})^{\otimes n}$ as vector spaces (and even as Hilbert spaces) , do we have $bm(\mathbb{R^n}) = bm(\mathbb{R})^{\otimes n}$
where $bm(\...
- 41
3
votes
1
answer
182
views
Tensor product of a slowly increasing smooth function and a tempered distribution converging to a co-located product
Let $T$ be a tempered distribution on $\mathbb{R}$ and $g$ be a smooth function on $\mathbb{R}$ whose derivatives of all orders are all polynomially bounded (a.k.a. slowly increasing).
For any pair of ...
- 3,477
3
votes
1
answer
499
views
Thin-Plate-Spline understanding and solution
This is a migrated question from: Thin-Plate-Spline understanding and solution.
If I need to delete one of the questions let me know. I was suggested to post it here as well.
As I understand it a Thin-...
- 115
3
votes
2
answers
564
views
Investigation of $\sum \limits_{k=-\infty}^\infty \frac{x^{k+n}}{ \Gamma(k+n+1)}$ where $n \in C$? [closed]
$$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{k!}$$
We can rewrite the equation as
$$e^x=\sum \limits_{k=0}^\infty \frac{x^k}{ \Gamma(k+1)} \tag{1}$$
because $x!=\Gamma(x+1)$ where $x$ is non-negative ...
- 302
3
votes
2
answers
651
views
Express Dirichlet energy $E_\mu(f) := \int \|\nabla f(x)\|^2 d\mu(x)$ in terms of Fourier information alone
Let $\mathbb R^d$ and let $\mu = p(dx)$ be a probability distribution thereupon, with density $p$ (which maybe assumed bounded, etc.). For a continuously differentiable function $f:\mathbb R^d \to \...
- 6,853
3
votes
1
answer
328
views
Typical elements of the space $\mathring {L^k_p}(\Omega)$
In the book Sobolev Spaces with Application of Maz'ya, $\mathring {L^k_p}(\Omega)$ is defined to be the completion of $\mathcal D(\Bbb R^n)$ under the norm $||\nabla^ku||_{L_p(\Omega)}$.
For nice ...
- 1,245
3
votes
1
answer
308
views
$f: [0,1]\rightarrow L^1(\Omega)$ as a (measurable?) function from $[0,1]\times \Omega\rightarrow \mathbb{R}$
Given a map from $\big([0,1], \mathcal{B}[0,1], m\big)$ to a Banach space $(X, \|\cdot \|)$. There are strong measurable functions (they are the point wise a.e. limit of simple functions) and weak ...
- 485
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
2
votes
1
answer
949
views
Hereditarily indecomposable Banach spaces and Separable Quotient problem
A Banach space $X$ is called indecomposable if there exists no infinite-dimensional subspaces $M$ and $N$ such that $X = M \bigoplus N$. If every infinite-dimensional closed subspace
of $X$ is ...
- 515
2
votes
0
answers
96
views
Is the Leray projection continuous with respect to the Frechet topology of smooth periodic vector fields in $3$ dimensions?
Let $\mathbb{T}^3:=(\mathbb{R}/\mathbb{Z})^3$ be the $3$-torus and $C^\infty(\mathbb{T}^3,\mathbb{R}^3)$ be the Frechet space of smooth periodic vector fields on $\mathbb{T}^3$.
By Helmholtz ...
- 3,477
2
votes
1
answer
233
views
${\rm II}_1$-factors with finite commutant: $\mathcal{A} \cap \mathcal{B} = \mathbb{C} \Rightarrow \mathcal{A}' \cap \mathcal{B}'$ hyperfinite?
Let $\mathcal{A} , \mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}', \mathcal{B}' $ are also a ${\rm II}_1$-factors.
Question: $\mathcal{A} \cap \mathcal{B} = \mathbb{...
2
votes
0
answers
228
views
Integrating an n-fold Cauchy product of a Fourier series
I posted this on Math Stack Exchange one month ago, but did not receive any responses. The original question (in a simplified form) can be found here.
Let $f: \mathbb{R}^d \rightarrow \mathbb{R}$ be ...
- 161
2
votes
2
answers
667
views
Computing Bochner integrals with values in L^p-spaces by Lebesgue integrals?
Let $f: \mathbb{R}^n \to L^2(\mathbb{R}^d) $ be a Bochner-integrable function (all measures are the Lebesgue measure). Does then $ \int_{\mathbb{R}^n} f(x) d\lambda^n (y) = \int_{\mathbb{R}^n} f(x)(y) ...
- 403
2
votes
0
answers
216
views
Is $f$ defined by $f(x) = t\mapsto G(t , x(t))$ differentiable?
Let us consider $X = AC([0 , 1] , \mathbb{R}^n)$, and $Y=L^{1} ([0,1] , \mathbb{R}^n )$ as Banach spaces with their usual norms. Let $G: \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ be a ...
- 369
2
votes
1
answer
997
views
Derivative and Jacobian determinant of solution of ODE [closed]
Let $\Phi$ be the unique solution of
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}^N
\end{cases}$$
where we have assumed $f$ smooth.
...
user124345
2
votes
1
answer
586
views
Inverse Problem for Pullback
Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...
- 61
2
votes
1
answer
301
views
Density of continuous functions to interior in set of all continuous functions
Let $M$ be an $m$-dimensional manifold and $N$ be an $n$-dimensional manifold with boundary. Suppose also that the topology on $N$ can be described by a metric. Thus, the set $C(M,N)$ can be endowed ...
- 5,405
2
votes
0
answers
117
views
Bounding integral expression with BV norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
2
votes
1
answer
452
views
Can we choose an element from a class?
Let $H$ be a complex Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$.
Set $H_0:=H_1\cap H_2\cap...\cap H_n$ and let
$P_i$ be the orthogonal projection onto $H_i$, $i=0,1,2,...,n$.
I study ...
- 935
2
votes
2
answers
447
views
Reconciling some result about the exponential map, the Chow-Rashevskii theorem, and $\mathrm{Diff}_0(M)$
Let $M$ be a $C^{\infty}$ manifold $C^{\infty}$-diffeomorphic to $\mathbb{R}^d$. I've recently come across some results which I'm trying to reconcile. Let $\mathfrak{X}(M)$ denote the set of ...
- 5,405
2
votes
2
answers
485
views
Dual space of the completion of the space of Lipschitz functions
This question is a continuation of this post : Metrization of a topological vector space
Let $C_{lip}(\mathbb R^d)$ be the space of Lipschitz functions on $\mathbb R^d$. We endow $C_{lip}(\mathbb R^...
user128095
2
votes
2
answers
336
views
Metrization of a topological vector space
Let $C(\mathbb R^d)$ be the space of continuous functions on $\mathbb R^d$, and $C_{lip}(\mathbb R^d)\subset C(\mathbb R^d)$ be the subspace of Lipschitz functions. We endow $C_{lip}(\mathbb R^d)$ ...
user128095
2
votes
2
answers
197
views
$L^p$ domination of mixed partial derivatives by the unmixed ones?
Is it true that for each real $p\ge1$ there is some real $C_p$ such that for all smooth real-valued functions $u$ compactly supported on $S:=(0,1)^2$ one has
$$\|D_1D_2u\|_p\le C_p(\|D_1^2u\|_p+\|D_2^...
- 128k
2
votes
0
answers
73
views
Alberti rank-one theorem and irregular jump discontinuities
Is it fair to say that Alberti rank one theorem means that a BV functions $u \in BV(\mathbb{R}^2)$ has $Du = D^{cantor}u$ if and only if it has a jump discontinuity across a curve that is not smooth (...
- 839
2
votes
1
answer
756
views
General strategy for studying the decay of eigenvalues of kernel integral operators
Disclaimer. Please, be patient, I'm here to learn functional analysis...
Let $X$ be the unit sphere in $\mathbb R^n$ and let $\sigma$ be the uniform measure on $X$. Consider a positive definite ...
- 6,853
2
votes
1
answer
755
views
Existence of a solution to an infinite dimensional Stratonovich SDE
Let
$U,H$ be separable $\mathbb R$-Hilbert spaces
$Q\in\mathfrak L(U)$ be nonnegative and self-adjoint with finite trace
$U_0:=Q^{1/2}U$
$(\Omega,\mathcal A,(\mathcal F_t)_{t\ge 0},\operatorname P)$ ...
- 167
1
vote
1
answer
263
views
Does global boundedness ruin Stone-Weierstrass denseness?
Let $X$ be any topological space and denote by $\tau_X$ the topology on $C_b(X;\mathbb{R})$ that is induced by the family of seminorms $(\|\cdot\|_\psi\mid\psi\in B_0(X))$ with $\|f\|_\psi:=\sup_{x\in ...
- 463
1
vote
0
answers
75
views
Derivation of the vortex filament equation from Euler equation
How can the vortex filament equation
$$\partial_t \chi = \partial_s \chi \wedge \partial_{ss} \chi,$$
where $\chi(t,s)$ is a curve in $\mathbb R^3$,
be derived from the Euler equation
$$\partial_t \...
- 277
1
vote
2
answers
535
views
Non-closed range space of Laplace operators?
Set $ -\Delta: H^2(\mathbb{R}^3) \subseteq L^2(\mathbb{R}^3) \to L^2(\mathbb{R}^3) $. Then $ \mathcal{R}(-\Delta) $ is non-closed?
Sorry if this question is trivial. I am not familiar with theory of ...
- 269
1
vote
1
answer
654
views
Properties of the trace term in the Itō formula
Let's consider the SDE $${\rm d}X_t=u_t(X_t){\rm d}t+\xi_t(X_t){\rm d}W_t\;\;\;\text{for all }t\ge 0\tag 1$$ where
$U,H$ are separable $\mathbb R$-Hilbert spaces
$Q\in\mathfrak L(U)$ is nonnegative ...
- 167
1
vote
1
answer
148
views
How can we calculate the generalized gradient of $L^2\ni x\mapsto a\min(x(s),by(t))$?
Let $(T,\mathcal T,\tau)$ be a measure space, $a,b\ge0$, $s,t\in T$ and $$f(x):=a\min(x(s),bx(t))\;\;\;\text{for }x\in L^2(\tau).$$
How can we calculate the generalized gradient $\partial_Cf(x)$ of ...
- 167
1
vote
2
answers
234
views
Find $\inf_{P_{X_1,X_2}}P_{X_1,X_2}(\|X_1-X_2\| > 2\alpha)$ , where $\alpha > 0$ and inf is over couplings
Let $\mathcal X$ be a seperable Banach space with norm $\|\cdot\|$, and let $X_1$ and $X_2$ be random vectors on $\mathcal X$ with finite means.
Question. Given $\alpha > 0$, what is value of, ...
- 6,853
1
vote
1
answer
247
views
Elliptic interface problem without conditions on the interface
Consider an open domain $U$ split in two non-overlapping subdomains: $U = U_1 \cup U_2$.
For a model case, consider a ball split in a smaller ball and an anulus.
Consider the following elliptic ...
user60665
1
vote
3
answers
345
views
Under what general conditions is the set $S := \left\{\int_{X}v(x)\pi(x)\,\mathrm{d}P(x) \mid \pi: X \to A\right\}$ closed?
Let $X$ be a compact subset of $\mathbb R^n$ and let $A$ be a compact subset of $\mathbb R^k$. Let $P$ be a probability distribution on $X$ and $v$ be a $P$-measurable function from $X$ to $\mathbb R^{...
- 6,853
1
vote
1
answer
154
views
BV function with absolutely continuous divergence
Let $f:\Omega \subset \mathbb{R}^N \to \mathbb{R}^N$ be a vector field such that $f \in BV(\Omega)$.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure and ...
- 839
0
votes
0
answers
205
views
Relationship between Fourier inversion theorem and convergence of "nested" Fourier series representations of $f(x)$
$\DeclareMathOperator\erf{erf}\DeclareMathOperator\sech{sech}\DeclareMathOperator\sgn{sgn}\DeclareMathOperator\sinc{sinc}$This is a cross-post of a question I posted on MSE a couple of weeks ago which ...
- 1,126
0
votes
2
answers
1k
views
Question on Hartogs's Extension Theorem
Does Hartogs's extension theorem hold if one replaces the word holomorphic by analytic (of course still in several variables)?
For Hartogs's Extension Theorem see here:
http://en.wikipedia.org/wiki/...
- 53
0
votes
2
answers
125
views
Is there a modification of $f$ on a null set such that $F: [0, T] \to L^p ({\mathbb R}^d), t \mapsto f(t,\cdot)$ is Bochner measurable?
Let $T>0$ and $p \in [1, \infty)$. Let $f \in L^p ([0, T] \times {\mathbb R}^d)$. By a theorem in this thread, there is a Lebesgue null subset $N$ of $[0, T]$ such that $f(t, \cdot)$ is Lebesgue ...
- 835
0
votes
1
answer
140
views
Approximating a sequence of tempered distributions "uniformly" by Schwartz functions
This question has been motivated by the post making sense of distributions on the diagonal.
Let $T$ be a tempered distribution on $\mathbb{R}^2$ and $\eta$ be a given mollifier on $\mathbb{R}$. For $f ...
- 3,477
0
votes
2
answers
403
views
Application of uniform boundedness principle
$\DeclareMathOperator\Lip{Lip}$Let $\Lip_0(\mathbb R^d)$ be the space of Lipschitz functions $f:\mathbb R^d\to\mathbb R$ vanishing at zero, i.e., $f(0)=0$, and equipped with the norm $\|f\|:=\|\nabla ...
user128095
0
votes
2
answers
494
views
Semifinite measure and spectral theorem
Let $H$ be a complex Hilbert space (not necessary separable).
Spectral Theorem: Let $A_1$ and $A_2$ be two commuting normal operators, then there exists a measure space $(X,\mathcal{E},\mu)$,
two ...
- 1,154
148
votes
11
answers
30k
views
Is Fourier analysis a special case of representation theory or an analogue?
I'm asking this question because I've been told by some people that Fourier analysis is "just representation theory of $S^1$."
I've been introduced to the idea that Fourier analysis is related to ...
- 15.4k
94
votes
1
answer
11k
views
The mathematical theory of Feynman integrals
It is well known that Feynman integrals are one of the tools that physicists have and mathematicians haven't, sadly.
Arguably, they are the most important such tool. Briefly, the question I'd like to ...
- 23.5k
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
71
votes
2
answers
6k
views
Barrelled, bornological, ultrabornological, semi-reflexive, ... how are these used?
I'm not a functional analyst (though I like to pretend that I am from time to time) but I use it and I think it's a great subject. But whenever I read about locally convex topological vector spaces, ...
- 26.8k