All Questions
12,935 questions
4
votes
0
answers
333
views
Book recommendation in functional analysis and probability
I am interested by functional analysis and probability. I would like to know if you have any books that deal with these two subjects (at a graduate level) to recommend?
I'm looking for a book that has ...
1
vote
0
answers
175
views
Solution of recurrence relation with summation
I have the following recurrence relation:
$$b(n,k)=\sum _{\text{i}=0}^{2 n-1} \left(b(n-1,k-\text{i})+\frac{\text{i} (2 n-\text{i}) \binom{2 n-1}{\text{i}} \binom{(n-2)^2}{k-\text{i}}}{2 n-1} \right)$$...
- 47
1
vote
1
answer
87
views
Convergence in $H^{-2}$ of $L^2$-functions with limit in $L^2$
Assume a sequence $f_n$ in $L^2(\mathbb{R}^d)$ converges in $H^{-2}$ (w.r.t. its norm topology) to a limit $f \in L^2(\mathbb{R}^d)$. In this case, can one improve the convergence, for instance to ...
- 133
1
vote
0
answers
98
views
$(\lambda I-A)^{-1}-(\lambda I-B)^{-1}$ compact implies $\sigma_\text{ess}(A)=\sigma_\text{ess}(B)$
Suppose $H$ is a Hilbert space and $A$, $B$ are two adjoint operators on it (not necessarily bounded), satisfying $D(A)=D(B)$.
Question: If $\exists \lambda\in \rho(A)\cap\rho(B)$ such that $(\lambda ...
- 785
0
votes
1
answer
100
views
Spatially localised solution to the Schrödinger equation with potential is a combination of eigenfunctions
In this Terry Tao's blog post, he claims that if one has a solution to the Schrödinger equation
$$i\,\partial_t u +\Delta u=Vu $$
with a "reasonably smooth and localised $V$", $u$ has ...
- 94
1
vote
1
answer
62
views
Integrability in the product space can follow from a property of the Nemytskii operator?
Let's say that $f:\Omega\times\mathbb{R}\to\mathbb{R}$ is a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where ...
- 1,759
7
votes
0
answers
131
views
Approximation of a continuous curve on commuting matrices
I have a continuous curve $A:\mathbf{R}_+\rightarrow \text{M}_N(\mathbf{R})$ such that
$[A(t),A(s)] \operatorname*{\longrightarrow}_{t,s\rightarrow +\infty} 0$, where $[A(t),A(s)] = A(t)A(s)-A(s)A(t)$....
- 3,425
3
votes
0
answers
320
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,251
0
votes
0
answers
59
views
Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?
I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
- 63
2
votes
0
answers
96
views
Isometric Schröder-Bernstein theorem for injective Banach spaces?
It's known that every injective Banach space is of the form $C(M)$ where $M$ is a compact, Hausdorff, extremally disconnected topological space.
Let $X$, $Y$ be two injective Banach spaces such that,
...
- 2,605
0
votes
1
answer
106
views
Convergence of mollified functions in weighted $L^p$ norm
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\supp}{\operatorname{supp}}
$
Let $(\rho_n)_{n \geq 1}$ be a sequence of mollifiers on $\bR^d$, i.e., each $\rho_n$ is a ...
- 825
11
votes
1
answer
677
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
- 196
6
votes
2
answers
449
views
Asymptotic behavior of the "Cauchy square" series
$\renewcommand{\ge}{\geqslant}\renewcommand{\le}{\leqslant}$
$\newcommand{\pa}[1]{\left( #1 \right)}$
Let us take $\alpha > 0$, $x_1 := \alpha$ and for any $n \ge \mathbb{N}$,
\begin{align*}
\boxed{...
- 61
1
vote
0
answers
55
views
References for the generalized Dirichlet problem for plurisubharmonic functions on the bidisc
In the paper "On a Generalized Dirichlet Problem for Plurisubharmonic Functions and Pseudo-Convex Domains. Characterization of Silov Boundaries" Theorem 5.3, the following result is obtained ...
- 53
5
votes
2
answers
458
views
Question about Neumann eigenvalues on manifolds
Question:
Let $\Omega\subset \mathbb{S}^2_+$ be any geodesically convex subset of the hemisphere $\mathbb{S}^2_+$. Then is it true that $\mu_1(\Omega)\geq \mu_1(\mathbb{S}^2_+)$ where $\mu_1$ is the ...
- 537
2
votes
0
answers
84
views
Question about the Nemytsky operator on $L^p$ space
Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
- 1,759
5
votes
2
answers
329
views
Regularity of stochastic heat equation
For the heat equation:
$$\frac{\partial u}{\partial t} = \Delta u + \zeta(t,x)$$
where $u:\mathbb{R}^{+}\times \mathbb{R}^{n} \rightarrow \mathbb{R}$ and $\zeta$ is a space-time white noise.
I'm ...
- 51
1
vote
0
answers
159
views
Density of Schwartz distributions in the space of distribution
Let $\mathscr S(\mathbf R^3)$ and $\mathscr D(\mathbf R^3 )$ be the space of Schwartz function and test function respectively, $\mathscr S'(\mathbf R^3)$ and $\mathscr D'(\mathbf R^3)$ be their duals....
4
votes
2
answers
354
views
Injectivity of a convolution operator
Let $p,\mu,\nu$ be probability density functions on
$\mathbb{R}$ such that
$$
\int_{\mathbb{R}}p(y-x) \nu(y) \, dy=\mu(x).
$$ Now, consider the operator $T:L^2(\mu)\to L^2(\nu)$ such that $$ Tf=f*p.$$ ...
- 407
1
vote
0
answers
105
views
Can a uniform weak null set of $c_0$ be uniformly embedded into a Hilbert space?
Remark that a uniform weak null set $A$ of $c_0$ satisfied that for any $\epsilon>0$ there exists a positive number $N(\epsilon)$ such that for every $f$ in $B(\ell_1)$, the unit ball of the ...
- 11
5
votes
1
answer
351
views
Does the Poincaré inequality hold on annular domains?
Does the following Poincaré inequality hold
$$\int_{B_{r_2}\setminus B_{r_1}} |f-\bar{f}|^2 dx \leq C(r_2-r_1)^2 \int_{B_{r_2}\setminus B_{r_1}} |\nabla f|^2 dx,$$
where $B_r$ denotes a ball of radius ...
- 537
7
votes
1
answer
185
views
Question on ODE involving mollifiers from Taylor's book on PDEs
In Taylor's third book on PDEs chapter 16, the author discusses quasilinear symmetric hyperbolic systems of the form
$$\partial_{t}u=A^{k}(t,x,u)\partial_{k}u+g(t,x,u)$$
with some initial condition $u(...
- 1,171
2
votes
0
answers
240
views
What is the fundamental solution for the backward heat equation?
According to the theorem of Malgrange and Ehrenpreis a fundamental solution exists for any PDE with constant coefficients. But I didn't manage to find in the literature an explicit formula for the ...
- 2,715
7
votes
2
answers
345
views
Integral means vs infinite convex combinations
Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function.
Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
- 60.6k
7
votes
2
answers
628
views
Elliptic regularity on manifolds: Is this true?
Let $(M,g)$ be a Riemannian manifold (without boundary) and denote by $\Delta_{g}$ the Laplace-Beltrami operator (or any other elliptic operator if you wish). I was trying to find a reference for the ...
- 1,171
0
votes
0
answers
79
views
Is the Bures metric equivalent to the Euclidean one?
Let $K=\mathbb R$ (reall numbers) or $K=\mathbb C$ (complex numbers). Define $\mathcal M_n$ to be the space of $n\times n$ matrices $A=(a_{i,j})_{1\le i,j\le n}$, with $a_{i,j}\in K$. Let $\|\cdot\|$ ...
- 1,334
3
votes
0
answers
104
views
Comparing unitaries which are perturbatively close
Let $\mathcal{H}$ be a Hilbert space and let $H_0$ and $H_1$ be two Hermitian operators on $\mathcal{H}$. Thinking of $H_1$ as a perturbation of $H_0$, the Duhamel formula allows us to write $e^{-...
- 452
2
votes
0
answers
60
views
Semigroup property in SPDEs
In fact, we know that a bounded linear operators on a Banach space $X$ satisfies the semigroup property, i.e. $$S(t+s)=S(t)S(s), \text{for every}\ t,s\geq 0.$$
However, in various literatures, I ...
- 57
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
5
votes
0
answers
277
views
Elliptic equation on differential forms
Let $\Sigma$ be an $n$-dimensional smooth closed manifold ($n\ge 3$) with a non-continuous metric $g\in W^{2,\frac{n}2}\cap L^{\infty}(\Sigma)$. Let $g'$ be a fixed smooth metric on $\Sigma$, there ...
- 435
1
vote
0
answers
177
views
Unitary operators in $\mathcal{U}(L^2(X,\mu))$ not coming from $\operatorname{Aut}(X,\mu)$
$\DeclareMathOperator\Aut{Aut}$Let $(X,\mu)$ be a measured space with probability measure $\mu$ and $\Aut(X,\mu)$ denote the group of measure preserving bijections of $(X,\mu)$. It is easy to see ...
- 105
0
votes
0
answers
107
views
Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?
Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
- 41
2
votes
0
answers
112
views
Everywhere-defined unbounded operators between Banach spaces
In this post, it is said that there are no constructive examples of everywhere-defined unbounded operators between Banach spaces; every example furnished must use the axiom of choice. This seems like ...
- 151
1
vote
1
answer
146
views
Form of a hereditary subalgebra of $C^*$-algebra $C_0(X)$
I would like to show that:
"every hereditary subalgebra $U$ of a $C^*$-algebra $C_0(X)$ for a locally compact Hausdorff Space $X$ has the form $J_E := \{f \in C_0(X) : f|_E=0 \}$ for a closed ...
- 11
3
votes
2
answers
251
views
Existence of a positive measurable set with disjoint preimage under iterated transformation
Let $(X,\mathcal B,\mu)$ be a atomless probability measure space and $T:X\to X$ be a non-singular transformation such that $\mu\left({x\in X: T^n(x)=x}\right)=0$ for every $n\ge 1$. Let $A\in \mathcal ...
- 105
2
votes
1
answer
228
views
Examples showing Rellich-Kondrakov theorem fails for domains with non-Lipschitz boundary?
The Rellich-Kondrakov theorem requires the domain to have Lipschitz boundary, but after searching in many places, I have not found an example to show that this is necessary.
Can anyone share an ...
- 1,755
2
votes
1
answer
136
views
Is there a scalar product which makes orthonormal the family of complex functions $ (f_n)_{ n \geq 1 } $?
Let $ (f_n)_{ n \geq 1 } $ be a family of complex functions defined as follow,
$ \forall n \geq 1 $,
$$ f_n (z) = \dfrac{1}{n^{z}} $$
I would like to ask you if it is possible to construct a ( non-...
- 595
6
votes
1
answer
403
views
Do acyclic amenable groups exist?
Is there an example of a nontrivial discrete amenable group with vanishing integral homology?
To put the question in contrapositive. Given arbitrary acyclic group $Q$, is there some reason for the ...
- 4,600
2
votes
0
answers
71
views
How to naturally define an output space with certain properties
Consider the following regression problem $v=A(u) + \varepsilon$
for some operator $A:\mathcal{U} \rightarrow \mathcal{V}$ and some function spaces $\mathcal{U},\mathcal{V}$, mapping from $\mathcal{X}$...
- 51
8
votes
1
answer
390
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
- 12.6k
11
votes
3
answers
1k
views
"Simple" integral equation
Let $H(z)$ be a continuous solution of the problem
$$
H(z)=\frac1{1-z}\int_z^1 \frac{2\zeta}{1+\zeta} H(\zeta^2)\,d\zeta,\ \ \ z\in[0,1);\ \ \ H(1)=1.
$$
Is it true that $H(0)=1-\ln2$? The question ...
- 283
2
votes
1
answer
176
views
Does $i\partial_tu = \Delta^2 u$ exhibit more or less dispersion than $i\partial_t u= \Delta u$?
Consider the initial-value problems in $d=1$
$$\begin{cases} i\partial_tu = \Delta^2 u \\
u(x,0)=u_0
\end{cases}$$
and
$$\begin{cases} i\partial_t u= \Delta u \\
u(x,0)=u_0,
\end{cases}$$
Solutions to ...
- 890
2
votes
0
answers
86
views
Exhaustion function with uniform controls of level sets on universal covers of compact manifolds
recently I encountered the following problem in my research. Roughly speaking, it asks if, on the universal covers of a closed Riemannian manifold, one can find exhaustion functions with uniformly ...
- 587
0
votes
0
answers
38
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
7
votes
3
answers
909
views
Using the Stone-Weierstrass theorem to solve an integral limit
The following question was posted on math stack exchange here but it got no answers
Let $c\in (1, +\infty)$ and $f \colon [0, c] \to \mathbb{R}$ be a continuous and monotonically increasing function ...
- 331
5
votes
0
answers
180
views
A variant of Schwarz's theorem on generators of smooth $G$-invariant functions
Let $V$ be a finite dimensional euclidean space and let $G\subset O(V)$ be a finite (or compact) group, let $\mathbb{R}[V]$ be the algebra of polynomial functions on $V$. If $E\subset \mathcal{C}^\...
- 4,123
2
votes
1
answer
155
views
Tempered distributions at non-coinciding points and density of Schwartz functions
In the previous question, I find that situation is much less favorable than expected…. So I add more details to focus on the specific case I have in mind.
Let us consider the Schwartz space $\mathcal{...
- 3,477
2
votes
0
answers
85
views
Dirichlet problem for an elliptic operator
consider de Dirichlet problem $Lu=0$ on the unit ball B of $\Bbb C^n$ and $u=f$ on the unit sphere $S^{2n-1}$, we suppose that $L$ is an elliptic operator.
My question is there is a formula of the ...
- 21
4
votes
2
answers
258
views
Simple proof that exactness implies strong mixing
Let $f$ be a continuous map defined on a compact metric space $X$. Suppose that $f$ preserves the Borel probability measure $\mu$ and that, for every positive-measure set $A\subseteq X$, we have $$\...
- 63
5
votes
1
answer
368
views
Systems of (hyperbolic) 2nd order PDEs with lower order constraints
Certain surfaces in mechanics are endowed with the fundamental forms
\begin{align}
\text{I} &= \mathrm{d}u^2+\mathrm{d}v^2+2\cos\gamma\: \mathrm{d}u\: \mathrm{d}v \\
\text{II} &= \alpha\left(\...
- 134