All Questions
13,944 questions
0
votes
1
answer
66
views
Does convergence in probability of iid samples imply convergence in measure of the sampled functions?
Let $g_i: [0, 1] \to \mathbb R$ be $L^1$ functions, equibounded in $L^1$ norm. Let $X_i$ a sequence of iid uniform random variables on $[0, 1]$. Suppose that
$$\frac{1}{n} \sum_{i = 1}^n g_i (X_i) \to ...
- 6,215
2
votes
1
answer
236
views
Self-adjointness of generator and semigroup of an SDE
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 835
6
votes
0
answers
131
views
Do there exist strictly contracting eikonal functions on $\mathbb R^n$?
A function $f: \mathbb R^n \to \mathbb R$ is said to be a strict contraction if
$$|f(x) - f(y)| < |x - y|$$
for all $x \neq y$.
A function $f$ is said to be eikonal if it is differentiable ...
- 6,215
0
votes
0
answers
55
views
Compactness and Leray-Schauder degree
What's the relationship between compactness of solutions in partial differential equations (PDEs) and the Leray-Schauder degree?
- 471
-3
votes
1
answer
194
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107
1
vote
0
answers
100
views
Prove or disprove that $|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$
$|(1/\zeta)^{(n)}(x)| \leq \frac{n!}{(x-\frac{1}{2})}$ for all real $x>1$.
I had this conjecture for a long time. I tried various methods and techniques but they all failed. It might also be wrong ...
- 178
5
votes
2
answers
358
views
Can one show that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$?
Is it true that $(-1)^{n-1} {(1/\zeta)}^{(n)}(x) >0$ for all real $x>1$ ?
Or in other words can you show that the higher order derivatives of the reciprocal of the Riemann zeta function ...
- 178
5
votes
1
answer
206
views
Compactness in trace class operators space
Let $H$ be a separable Hilbert space. Let $L_1$ denote the space of trace class operators on $H$ with the trace-class norm $\|\cdot\|_1$, i.e. $\|K\|_1=Tr|K|$ for all $K\in L_1$.
Are there easy ...
- 59
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
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
3
votes
1
answer
189
views
Ribe's Theorem: finitely representability between two uniformly homeomorphic Banach spaces
An infinite-dimensional Banach space $X$ is said to be crudely finitely representable (with constant $\lambda$) in an infinite-dimensional Banach space $Y$ if there is a constant $\lambda>1$ such ...
- 33
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
0
answers
95
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
6
votes
0
answers
213
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
7
votes
1
answer
554
views
Example of continuous function which is not differentiable everywhere in a strong sense
Is there a continuous function
$$u\colon (0,1)\to \mathbb{R}$$
such that at every point $x\in (0,1)$ one has
$$\lim\sup_{y\to x+0}\frac{u(y)-u(x)}{y-x}=+\infty?$$
In particular $u$ is not ...
- 21.8k
5
votes
0
answers
163
views
Does this weak omniscience principle have a name?
In constructive analysis, I'm looking at principles which follow both when there exists at least one discontinuous function from $\mathbb{R}$ to $\mathbb{R}$ (equivalent to WLPO i.e. $x > 0$ or $x \...
- 1,947
1
vote
0
answers
111
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
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$ ...
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
-1
votes
0
answers
94
views
Why define Schwartz by supremum rather than limit?
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
0
votes
0
answers
22
views
Has this notion of "variation along the diagonal of a not-necessarily-smooth function" been studied before?
I am interested in knowing whether something along the lines of the "diagonal variation" defined below has been studied before. In spirit, the basic idea is that it is a kind of ...
- 708
-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 ...
1
vote
1
answer
90
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
0
votes
1
answer
93
views
A question on finite Fourier series
Let $\mathcal F(N)$ denote the space of finite Fourier series up to frequency $N > 0$, i.e. $f\in \mathcal F(N)$ if and only if it can be written as
$$f(x) = \sum_{k=0}^N a_k\cos(kx+\theta_k)$$
for ...
- 71
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
0
votes
1
answer
71
views
Upper bound on higher order derivatives of $\frac{1}{v(t)}$
Suppose that $ v(t) >l>0$ and
$$
\vert v^{(k)}(t) \vert \leq c \frac{k!}{r^k}.
$$
Can we give an upper bound for
$$
(\frac{1}{v(t)})^{(k)}
$$
?
Attempt:
We first compute the first fourth order ...
- 269
1
vote
1
answer
69
views
Exhausting sequences contain a $\pi$ lift of a subset with a $(1-\delta)$ factor
Let $\pi : Y \to X$ be a measurable map between the $\sigma$-finite measure spaces $(Y, \mathcal{B}, \nu)$ and $(X, \mathcal{A}, \mu)$. Suppose there exists $c \in (0, \infty)$ such that for all $A \...
- 105
5
votes
0
answers
204
views
A proof for an $L^p$-$L^p$ inequality
This is a transfer of the question
https://math.stackexchange.com/questions/4996853/an-lp-lp-inequality
Let $a\in (0,1)$ and $1<p<\infty$ and use $L^{p}$ to denote the space $L^{p}([0,\infty))$ ...
- 852
-2
votes
0
answers
64
views
A Problem using Limits of Sequences of Functions
Suppose $\{f_n\}$ is a sequence of nonnegative extended real-valued functions on $X$ and $\lim_{n\to\infty}f_n=f$. Take a simple function $0\leq\varphi\leq f$. If $X_{\infty}=\{x\in X: \varphi(x)=a>...
- 1
16
votes
1
answer
969
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 5,824
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
3
votes
0
answers
95
views
Deeper reason for why classical orthogonal polynomials have simple generating functions?
Is there a known reason why all classical families of orthogonal polynomials have simple generating functions? I was wondering whether one could get an explanation using the connection with Sturm-...
- 312
0
votes
2
answers
148
views
Asymptotic behavior of the integral of Hermite functions/polynomials on half-lines
I would like to understand the asymptotic behaviour of the following integrals with fixed $x_0>0$:
$$J_m=\int^{+\infty}_{x_0}|H_m(x)|^2 e^{-x^2}dx,$$
where $H_m(x)$ is the $m-$th Hermite polynomial....
- 21
3
votes
2
answers
154
views
On nowhere differentiability of functions that just barely fail to be Lipschitz
By Rademacher’s theorem, Lipschitz functions are differentiable almost everywhere. I am wondering how badly this pointwise differentiability fails for functions that “just barely” fail to be Lipschitz....
- 6,215
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
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
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
2
votes
0
answers
82
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
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
7
votes
2
answers
394
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
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 ...
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 ...
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
0
answers
50
views
Self-adjoint operators and index of quadratic form associated to it
Let $B$ a bounded self-adjoint operator on a real Hilbert space $H$ with an associated inner product $(\cdot,\cdot).$ Take $V=\operatorname{span}\{f_1, f_2, \ldots, f_n\}$ a finite dimensional ...
- 101
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
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
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, ...
- 261
2
votes
1
answer
78
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
0
votes
1
answer
139
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
98
views
Square Roots of Non-Negative Even Functions
I'm trying to study properties of maps between quotients of representations of compact Lie groups and I stumbled upon the following problem. Suppose you have a smooth function $f:\mathbb{R}\to\mathbb{...
- 31