All Questions
12,936 questions
0
votes
1
answer
188
views
Does the second Bourgain–Delbaen space belong to C_p?
The second Bourgain–Delbaen space $Y$ is a separable $\mathcal{L}_\infty$ space such that $Y$ contains no copy of $c_0$ or $\ell_1$. The dual space is isomorphic to $\ell_1$.
An operator $T:X\to Y$ ...
1
vote
0
answers
84
views
Does sets of positive capacity rule out constant functions?
Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by
\begin{align*}
\text{Cap}_{p}(K, U) :=
\inf \left\{
\int_U |\...
- 1,101
7
votes
2
answers
397
views
Tangent space to infinite dimensional manifolds
In finite dimensional geometry, there is a single invariant of a vector space - its dimension. This characterizes finite dimensional manifolds as being glued from Euclidean balls.
This situation is ...
- 593
4
votes
1
answer
195
views
Asymptotic spectrum of a complex Sturm-Liouville differential operator
Let $\varepsilon > 0$ and consider the (complex) Sturm–Liouville differential operator on $[0,1]$ given by
$$
\mathcal{L}_\varepsilon f(x) = \varepsilon^2 f''(x) + i V(x) f(x),
$$
with Neumann ...
- 333
2
votes
0
answers
52
views
On distributions and kernels
Let $U\subset\mathbb{R}^{d}$ be an open set and consider $X=\mathbb{R}\times U$. Now, lets consider a smooth (regular) kernel $k_{A}\in C^{\infty}(X\times X)$ and corresponding continuous operator $A:...
- 1,429
0
votes
0
answers
113
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets?
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
6
votes
0
answers
217
views
Hölder's inequality for trace-class maps of $p$-liquid spaces and a related conjecture of Grothendieck
In Condensed Math and Complex Geometry Proposition 8.8, Clausen-Scholze describe trace-class maps between projective objects in the $p$-liquid category as sums of rank 1 operators against ${<}p$-...
- 61
0
votes
1
answer
119
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 107
3
votes
1
answer
257
views
Asymptotic parametrization for negatively curved surfaces
Let $S$ be a complete simply connected negatively curved surface immersed in Euclidean space $\textbf{R}^3$. Does there exist a parametrization $f\colon\textbf{R}^2\to\textbf{R}^3$ for $S$ such that ...
- 7,179
1
vote
0
answers
49
views
What makes the generalized projection different than metric on a Banach space?
I have came across the notion of generalized projection in Banach spaces, introduced by Ya. Alber and has seen many iterative algorithms being solved by using this projection. It helps in finding the ...
- 85
1
vote
0
answers
112
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,399
4
votes
2
answers
390
views
Gaussian mixtures are dense in total variation?
Let $M_{TV}(\mathbb{R}^d)$ denote the set of probability measures on $\mathbb{R}^d$ with finite total variation norm which are absolutely continuous with respect to the Lebesgue measure.
By a Gaussian ...
- 5,405
1
vote
2
answers
117
views
If $f\in C([0,\infty))$, does $\delta>0$ and $g\in C^1((0,\delta))\cap C([0,\delta])$ s.t. $g\geq f$ on $[0,\delta]$ and $g(0)=f(0)$ exist?
The question is the following:
Suppose $f : [0,\infty) \rightarrow \mathbb{R}$ is a continuous function. Can I find $\delta \in (0,\infty)$ and a function $g : [0,\delta] \rightarrow \mathbb{R}$ such ...
- 309
-1
votes
0
answers
94
views
Why define Schwartz by supremum rather than limit? [migrated]
The Schwartz space is defined as the set of all indefinitely differentiable functions such that the supremum over the free variable of any (order) derivative times any (order) power is finite.
However,...
- 107
3
votes
0
answers
155
views
Colimits in commutative Banach algebras?
Let $K$ be a complete non-Archimedean field. It is known that the category $\mathrm{Ban}_K$ of $K$-Banach spaces with bounded linear maps does not have infinite colimits. The usual argument for $\...
- 426
3
votes
1
answer
307
views
Approximate square root of Dirac delta function on $\mathrm{SL}_2(\mathbb{R})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\AdS{AdS}$I hope to find a sequence of complex-valued functions $\{f_i(g)\}$ on the group element $g$ of a locally compact group $\SL(2,\mathbb{R})$ so ...
- 175
1
vote
1
answer
91
views
Sobolev inequality with weight in the case $1<n\leq p$
Assume that $1<n\leq p$. Does there exist a (non-negative) measure $\mu$ (preferably with some positive density function with respect to the Lebesue measure $dx$) and $q>p$ so that for all $f\in ...
- 459
1
vote
0
answers
57
views
'Invert' perturbed vorticity equation to forced Euler system
Given the vorticity form of the Euler equations in $2D$ with stream function $\psi$
\begin{align}
\omega_t + \nabla^\perp \psi \cdot \nabla\omega &= 0 \\
\Delta \psi = \omega
\end{align}
we know ...
- 255
2
votes
0
answers
70
views
Is the hypothesis "uniformly equivalent" needed?
I am reading S. Shimorin's paper titled Complete Nevanlinna-Pick property of Dirichlet-type spaces. My question concerns Lemma 2.3. which is as follows:
Assume $\mathscr{H}$ is a Hilbert space of ...
- 151
0
votes
1
answer
169
views
Existence of a "universal" measure-preserving transformation on the unit interval
Let $I = [0,1]$ be the unit interval equipped with the Lebesgue measure $\lambda$. Let $\mathcal{M}$ be the set of all Lebesgue measure-preserving transformations $T: I \to I$. We say a transformation ...
user545331
4
votes
1
answer
227
views
Problem in Probability Theory and Functional Analysis
Let's consider the vector space V of bounded scalar functions, which includes the constant function 1. We assume that any uniform limit of a bounded monotonic sequence of functions from V also ...
2
votes
1
answer
106
views
Elliptic regularity with negative Sobolev space on bounded or unbounded domains
I am looking for some reference which deals with the existence and regularity of solution to $ -\Delta u = f $ in bounded or unbounded domain $\Omega$ and with Dirichlet boundary condition, $u|\...
- 121
1
vote
1
answer
117
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
- 121
7
votes
1
answer
968
views
a claim for a proof of the invariant subspace problem [closed]
Recently four mathematicians claimed to have proven the invariant subspace problem, which is the problem that states
Does every bounded operator on a separable Hilbert space have a non-trivial ...
- 87
2
votes
0
answers
43
views
Distributions and time-kernels
Let $U\subset\mathbb{R}^{d}$ be an open subset and set $M:=I\times U$, where $I=(a,b)\subset\mathbb{R}$ is some open subset. Lets consider a linear operator $B:C^{\infty}_{c}(M)\to C^{\infty}(M)$ that ...
- 1,429
7
votes
2
answers
841
views
Why is $\mathbb R^{\mathbb N}$ not high-dimensional enough?
In this paper [1], the authors consider the limiting distribution of $$S_{n,p}:=\frac{1}{\sqrt n}\sum_{k=1}^nX_k$$ for $p\rightarrow\infty$ as $n\rightarrow\infty$, where $X_1, X_2,\dots, X_n$ are ...
- 181
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
- 391
0
votes
0
answers
146
views
On the pointwise limit of a sequence of analytic functions
I have been confused with this problem for weeks now. Suppose I have Banach spaces $E$ and $F$ and a sequence of functions $f_{n}: U \subset E \to F$, where $U$ is open and nonempty. Let $x \in U$ be ...
0
votes
1
answer
140
views
Existence of infinite rank compact operator
Given any separable Banach space $X$, we know that always there exists a Banach space $Y$ such that there is an injective compact operator from $X$ to $Y$. Can we show that given any infinite ...
- 585
3
votes
0
answers
96
views
Commutator of $A\otimes I$ and $I \otimes B$ vanishes?
Consider two Hilbert spaces $H_1$ and $H_2$, and $A$, $B$ unbounded operators on $H_1$, $H_2$ respectively. $(A \otimes I)$ is classically defined as the closure of the operator defined on the set of ...
- 31
0
votes
0
answers
71
views
Second order PDE with Hessian
I am wondering if there is a existence/uniqueness result for the solution to PDE
$$
D^2 u = F (x, u, Du)
$$
with appropriate initial value conditions.
(Just to clarify, $u : \mathbb R^d \to \mathbb R$ ...
- 51
-1
votes
0
answers
53
views
convergence of convolution in Bochner space
I want to prove a well-known fact in $L^p(R^n)$ namely that, the convolution of an element in $L^p$ with an element of $L^1$ is in $L^p$
let: if $u∈L^p (R;X) , f∈L^1 (R)$ and $X$ is Separable and ...
3
votes
1
answer
213
views
$\nabla \times (F\times \mathbf v)=g$, $\operatorname{div}(\mathbf v)=0$
I want to solve the equation:
$$
\begin{cases}
\nabla \times (F\times\mathbf v)=g, \\
\operatorname{div}(\mathbf v)=0,
\end{cases}\label{1}\tag{1}
$$ where $F$ and $g$ are given vector fields. The ...
- 617
2
votes
0
answers
83
views
The support of the functions in the closed span of the Rademacher functions in $L_1(0,1)$
Given a measurable function $f:(0,1)\to \mathbb{R}$, we denote by $M(f)$ the measure of the set $\{t\in (0,1) : f(t)\neq 0\}$.
It is not difficult to prove that if $(f_n)$ is a normalized sequence in $...
- 4,461
0
votes
1
answer
53
views
Exponentially weighted norms are not equivalent
Let $\|u\|^2_{L^2_\eta}$ be the exponentially weighted norm of the space of functions $u(x)$ for which $u(x)\mathrm{e}^{\eta\cdot x}$ with $\eta\in \mathbb{R}$ is in $L^2(\mathbb{R})$. How can I show ...
2
votes
0
answers
229
views
Any rigorous construction of $\phi^4$ theories without the mass term in the Lagrangian? (revised)
There are various papers on rigorous construction of massive $\phi^4$ theories in $2$ or $3$ Euclidean dimensions.
In 2D, there are in fact more general results such as this one by Glimm, Jaffe and ...
- 3,477
1
vote
0
answers
127
views
Trace type convergence of the Laplacian on the box to the Laplacian on $\mathbb R^d$
Let $-\Delta \colon H^2(\mathbb R^d) \to \mathbb R^d$ be the (negative) Laplacian on the full space and $-\Delta_L$ the Laplacian acting on $L^2([-L,L]^d)$ with some boundary conditions making it self-...
- 61
2
votes
1
answer
80
views
Is there a relative projective tensor (cross-)norm for Banach $A$-algebras?
$\newcommand\norm[1]{\lVert#1\rVert}$I am interested in a relative version of the projective tensor product and projective tensor (cross-)norm for Banach algebras. Let $A$, $B$, $C$ be commutative (...
- 7,127
7
votes
1
answer
415
views
Is there a “Closure-of-Range Theorem” for Banach spaces?
The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions:
$T(X)$ is $s$-closed; $T(X)$ is $...
- 60.6k
12
votes
3
answers
2k
views
Why is resonance such a widespread phenomenon?
It is easy to mathematically describe the motion of a mass which is attached to a spring and also pushed around by a sinusoidal force. We get a differential equation of the form:
$$\frac{\mathrm{d}^2x}...
- 1,433
3
votes
0
answers
130
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
1
vote
0
answers
87
views
Proof mistake of: $M_0A(G) = B(G)$ for a locally compact group
I am posting my question of mathstack exchange here. (see: My post on MSE)
Let $G$ be a locally compact group with Haar measure $\mu$, and $B(G),A(G),C_r^*(G),L(G)$ be its Fourier-Stieltjes algebra, ...
- 311
1
vote
0
answers
65
views
Fractional Sobolev embedding
Let $s\in (0,1)$ and $1<p<\infty$. Let $H^{s,p}(\mathbb{R}^n)=H^{s,p}$ the Bessel potential space, defined as the image of $L^p(\mathbb{R^n})$ by the Bessel potential. It is known that these ...
3
votes
1
answer
159
views
Upper and lower bounds for a Rademacher-type expectation
Suppose that $\varepsilon_i$
are independent Rademacher random variables
(that is,
$
\mathbb{P}(\varepsilon_i=-1)
=
\mathbb{P}(\varepsilon_i=1)
=1/2
$.
Fix an $a\in\mathbb{R}^n$
and define the random ...
- 6,541
10
votes
1
answer
316
views
Weakly metrizable sets in normed spaces
A similar question was asked on MSE without getting an answer.
In the proof of lemma 1.2 of Asplund operators and holomorphic maps the author (my attempt to contact him failed because the only e-mail ...
- 16.5k
1
vote
0
answers
94
views
One question about Theorem 4 in Brezis–Merle's famous paper
I'm reading Theorem 4 of the paper "Uniform Estimates and Blow-up Analysis for Solutions of $-\Delta u = V(x) e^u$ in Two Dimensions" by Brezis and Merle, and at the beginning of the proof ...
- 213
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 359
2
votes
0
answers
90
views
Representation of Dirac-delta distribution in subspace of functions
Suppose I have a subspace $V\subset L^2(\Omega)$ where $\Omega\subset \mathbb{R}^d$ is a bounded and closed set. $V$ is defined by
\begin{align}
V=\text{span}(\{\varphi_i(x): i=1,2,\dots,n\})
\end{...
- 93
1
vote
0
answers
39
views
Hyperbolic equation without initial state
Consider the hyperbolic equation on a rectangular domain of the form $(0, L_x) \times (0, L_y)$:
$$
a^2 u_{xx} - b^2 u_{yy} = f(x, y),
$$
with Dirichlet boundary conditions on $u$.
By using the ...
- 617
0
votes
0
answers
55
views
reference request: conditions for pointwise and operator-norm convergence of kernel projections
At a very high level, I’m interested in the following question. Suppose $X$ is a (separable) Hilbert space, and $T_n : X \rightarrow X$ is a sequence of finite rank self-adjoint maps that converges (...
- 101