All Questions
10,934 questions
0
votes
0
answers
89
views
Maximal function on mixed $L^{p}$
Consider $ f_{j,k}$ to be a function in $L^{p}(l^{q}(l^{2}))$, that is
$$
\Vert f_{j,k} \Vert^{p}_{L^{p}(l^{q}(l^{2}))} = \int_{\mathbb{R}^{n}} \left( \sum_{k} \big[ \sum_{j} \vert f_{j,k}(x) \vert^{2}...
- 31
0
votes
1
answer
77
views
Decay rate of minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
2
votes
0
answers
132
views
Convergence of integral operators' inverses
Let $K$ be a positive definite integral operator with continuous kernel $K(x,y)$ defined by
$$
Kf(x) = \int_0^1 K(x,y) f(y) \, dy.
$$
Let $K_n$ denote the matrix $K(x_i, x_j)$ with $x_i = i /n$ and ...
- 620
2
votes
2
answers
155
views
"Completeness" for weak convergence of unbounded closed operators on a separable Hilbert space $H$
Let $H$ be a separable Hilbert space with the inner product $\langle, \rangle$ and $\{ T_n \}$ be a sequence of unbounded closed linear operators with a common dense domain $D \subset H$ such that $...
- 3,477
1
vote
1
answer
101
views
Image of a complete topological group under open and surjective map is complete?
A uniform space $X$ is complete if every Cauchy filter in $X$ is convergent. Here we do not require $X$ to be Hausdorff.
Question.
Let $G$ be a complete topological group and let $H$ be a topological ...
- 532
0
votes
0
answers
99
views
Dual of closure
Currently I'm studying about abstract interpolation theory for my research. One of the basic ways to construct new interpolation spaces, given an interpolation space $E$ with respect to a compatible ...
6
votes
1
answer
249
views
Syndetic sets and Banach limits: reference request
First of all, let us give a few definitions. Suppose that $A$ is a subset of natural numbers. We say that $A$ is syndetic if there is a constant $M$ such that every set of $M$ consecutive natural ...
- 7,193
0
votes
0
answers
124
views
Counterexamples in Laplace transforms
Of all the examples I know of (bilateral) Laplace transforms $F$ defined on their maximal vertical strips $V_{a,b}=\{ z \in \mathbf{C} : a < \operatorname{Re}(z) < b \}$ with $-\infty < a <...
- 115
5
votes
1
answer
221
views
In what sense does the Laplacian on compact intervals converge to one on all of $\mathbb{R}$?
I guess this topic may have been addressed somewhere but I cannot really find a reference myself, so I ask here.
For each $N \in \mathbb{N}$, consider the Laplacian $\Delta$ on the interval $[-N,N]$ ...
- 3,477
2
votes
1
answer
173
views
Difference in essential spectrum between Schrodinger operators
I am considering two Schrodinger operators on $\mathbb{Z}^2$ and compare their essential spectrum. The operators are both of the form $H=A+V$ where $A$ is the adjacency operator on the $\mathbb{Z}^2$-...
- 633
0
votes
1
answer
192
views
A continuous injection from the Hilbert cube to the real line?
Continuing an earlier "too good to be true" question that I posted recently, the same holds for the present question:
Is there a continuous injection from the Hilbert cube $[0,1]^{\Bbb N}$ ...
- 3,104
0
votes
1
answer
50
views
Norm of a $2$-tuple of operators
Let $E$ be a complex Hilbert space and $K_1,K_2$ are bounded linear operators on $E$.
Let $\omega(K_1)$ and $\omega(K_2)$ be the numerical radius of $K_1$ and $K_2$ respectively. That is
\begin{align*}...
- 1,154
1
vote
0
answers
78
views
Trace theorem for $L^2([0,1]; H^k(S^2))$
Consider a function $u$ in $L^2([0,1]; H^k(S^2))$ where $k$ is a positive integer.
Where would $u(0)$ live (or $u(r)$ for some fixed $r \in [0,1]$)? Is there a version of the trace theorem saying that ...
- 969
2
votes
1
answer
286
views
Are these conditions regarding products of consecutive terms in a sequence of positive numbers equivalent?
Assume $w_n$ is a bounded (weight) sequence of positive numbers. We want to consider products of consecutive terms in this sequence. For $i,j\in \mathbb{N}$, define $M_i^j = w_i w_{i+1}\cdots w_{i+j-1}...
2
votes
2
answers
307
views
Preimage of null sets under a monotone increasing function
Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
- 113
1
vote
1
answer
171
views
How is interpolation used in the proof of Lemma 4.1 in Tao's article Endpoint Strichartz Estimates?
In the proof of Lemma 4.1, pp. 962–963 in "Endpoint Strichartz Estimates" by Tao and Keel (1997) (see MR1646048 or Zbl 0922.35028), the authors first proved the statements hold for some ...
- 11
5
votes
1
answer
1k
views
Fastest decay of Fourier transform of function of (one-sided or two-sided) exponential (or faster) decay
Let $f:\mathbb{R}\to \mathbb{R}$ be a function in $L^2$ satisfying $|f(x)|\ll e^{-a_1 x}$, $a_1>0$, for $x\to \infty$. (Variant: assume as well that $|f(x)|\ll e^{a_2 x}$, $a_2>0$, for $x\to -\...
- 20.2k
0
votes
1
answer
53
views
Rate of convergence of the minimum point over a product space
Let $f(\theta, \epsilon)$ be smooth on $[0,2\pi] \times [0,\infty)$ such that
$f(\theta, \epsilon)$ converges to $f(\theta, 0)$ uniformly as $\epsilon \rightarrow 0$.
$f(\theta, \epsilon) > 0$ for ...
- 434
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
- 90
1
vote
1
answer
67
views
Norm of differentiation operator with respect to Gaussian norm
Here is a problem from Luenberger's optimization by vector space methods. I would appreciate steps to proceed.
Let $\mathcal{P}_n\subset\mathbb{R}[x]$ be polynomials of degree at most $n\ge0$. Compute ...
- 125
11
votes
1
answer
341
views
Density of linear subspaces in $C(K)$
Let $K$ be a compact Hausdorff space and denote by $C(K)$ the space of all real valued and continuous functions on $K$. We endow $C(K)$ with the supremum norm topology, making it a Banach space.
...
- 467
0
votes
0
answers
39
views
Comonotone solution for Optimal Transport problems with supermodular surplus
In Alfred Galichon's book Optimal Transport Methods in Economics the foollowing result is stated for OT problems on the real line.
Theorem 4.3.(i) Assume that $\Phi$ is supermodular. Then the primal ...
1
vote
1
answer
124
views
Friedrich's second inequality for functions with zero average
Friedrich's second inequality (or Maxwell Estimates or Gaffney’s inequality in the literature) is referred as follows: for all $\mathbf{u} \in H^1(\Omega)^2$ satisfying either $\mathbf{n} \cdot \...
- 31
1
vote
0
answers
92
views
Multilinear non-commutative Khintchine inequality
Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix.
Question: Is there a known bound for ...
- 156
4
votes
1
answer
137
views
Fredholm property of linearization of Floer map
I am reading Audin and Damian's book "Morse theory and Floer homology". In Proposition 8.1.4 which reveals the transversality property of moduli space of solutions of Floer equation, the ...
- 51
2
votes
0
answers
70
views
Schauder Frames in nuclear vector spaces
In recent years, the definition of frame has been extended to locally convex topological vector spaces (lcs) (1). In particular, let $X$ be a lcs and $X'$ its dual. A sequence $\big((x_n,y_n)\big)_{n\...
- 655
1
vote
0
answers
53
views
Reference for Density question
Let $ B $ be a reflexive, separable Banach space and $ p \in (1,\infty)$. Then denote by $L^{p}(B)$ the space of all functions $$ f : \mathbb{R}^{n} \to B $$ with
$$
\int_{\mathbb{R}^{n}} \vert f \...
- 31
0
votes
0
answers
97
views
Generator of an analytic semigroup
Perhaps I have a naive question. My question is as follows:
When we consider a Cauchy proposition of the following form:
$$
\begin{cases}
x'(t)= -Ax(t)+ F(t,x(t)) &\text{for}\ t> 0 \\
x(0)=...
- 39
7
votes
0
answers
151
views
Stochastic analysis on nuclear Fréchet spaces
This is a reference request question, so to make it clear what I am after, I will give a quick outline of the area I am thinking in and some questions that arise.
A lot of the time in infinite-...
- 439
4
votes
1
answer
287
views
Reference request: Gaussian measures on duals of nuclear spaces
I am interested in constructive quantum field theory where Gaussian measures on duals of nuclear spaces (specifically, the space of tempered distribution $\mathcal{S}'(\mathbb{R}^n)$) play a key role. ...
- 721
3
votes
1
answer
128
views
Fréchet-valued symbols
Denote by $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n \right)$ the usual space of symbols. Now let $E$ be a Fréchet Space. We can then define $S^m \left ( \mathbb{R}^k \times \mathbb{R}^n; E \right)$...
- 395
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
- 825
0
votes
1
answer
140
views
Singular integral bounded by Dirichlet form?
We define for some fixed $L$
$$\Omega:=\{(x_1,x_2) \in ([-L,L]^2 \times [-L,L]^2) \setminus \{x_1=x_2\}\},$$
in particular $x_1,x_2 \in \mathbb R^2.$
Let $f \in C_c^{\infty}(\Omega)$, then I am ...
1
vote
0
answers
56
views
Finding thin plate spline subjected to boundary conditions
I am trying to formulate a problem as a PDE. What I want to know is if my formulation is correct, if it admits solution and what am I missing.
This question is related to : Thin-Plate-Spline ...
- 115
1
vote
0
answers
85
views
Maximizing the integral of a transformation that depends on a neighborhood of values of the original function
I'm not an expert in analysis whatsoever, so I might be posing a well-established question, or even an unanswerable one. Also, any suggestion on changes that might make the problem better are welcome.
...
- 11
2
votes
0
answers
78
views
What is known about $\operatorname{gap}(A) = \|A\| - r(A)$ for bounded operators on Hilbert spaces?
The gap of a bounded linear operator on a Hilbert space is defined as $$\operatorname{gap}(A) := \|A\| - r(A),$$
where $r(A)$ denotes the spectral radius of $A$. A natural question to ask is - for ...
- 165
2
votes
0
answers
75
views
References for a class of Banach space-valued Gaussian processes
Let $E$ be a separable Banach space, consider a centered $E$-valued Gaussian process $\{x_t,t\ge 0\}$ that satisfies
\begin{equation}
\mathbb{E}\phi(x_s)\psi(x_t)=R(s,t)K(\phi,\psi),\quad \phi,\psi\in ...
- 121
0
votes
0
answers
112
views
Characterization for the multipliers of Schwartz space
Is the following true?
A function $m:\mathbb R^n\to\mathbb C$ is a Schwartz multiplier (i.e. $[f\mapsto mf]:S(\mathbb R^n)\to S(\mathbb R^n)$ is bounded linear) iff the following:
For every $\alpha$ ...
- 938
2
votes
0
answers
67
views
Regularity and decay of Fourier-like series on a manifold
Let $D$ be a first-order self-adjoint elliptic differential operator acting on sections of a vector bundle $S$ over a closed manifold $M$. Then it is well-known that the various eigenspaces $E_\lambda$...
- 1,903
1
vote
1
answer
57
views
Lower bound the best $\alpha$-Hölder constant of a convolution
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 825
4
votes
2
answers
781
views
Is there any bilinear Poincaré/Sobolev inequality?
Is the following, I call it bilinear Poincaré inequality, true?
Let $\Omega$ be an open bounded set in $\mathbf R^n\DeclareMathOperator{\dL}{d\!}$. There exists $C > 0$ such that for any $u, v \in ...
- 185
0
votes
0
answers
70
views
Multiplication with dilations of nonzero measurable function is injective
Denote $f_s(x):=f(sx)$ as the dilation of a function $f$. I want to know whether the following statement is true:
Suppose $f$ and $g$ are measurable functions on $\mathbb{R}$, and $f$ is not almost ...
- 807
4
votes
1
answer
175
views
Large JN-sets in Banach spaces
For every infinite-dimensional Banach space $X$ there is a weak*-null sequence in the unit sphere of $X^\ast$. Does this extend under suitable circumstances to the non-separable setting?
Say that $X$ ...
- 41
0
votes
1
answer
415
views
Necessary conditions for convergence of convolution
In math.SE, I've asked a question about the convergence of convolution of two functions which have bilateral Laplace transform and also have disjoint Region Of Convergence (ROC) but the question didn'...
- 61
4
votes
1
answer
214
views
Equivalent Littlewood-Paley-type decompositions
The theory of Besov and Triebel-Lizorkin spaces usually proceeds by taking a dyadic decomposition of unity, i.e. some non-negative functions $\psi_0,\psi \in C_c^\infty(\mathbb{R})$ such that
\begin{...
- 989
2
votes
2
answers
328
views
Existence of the limit of periodic measures
Let $T: X \to X$ be a continuous map over a compact metric space. We say that a measure $\mu$ is $T$-invariant if $T_{\ast} \mu= \mu$. We denote by $M(X, T)$ the space of all $T$-invariant Borel ...
- 1,043
0
votes
1
answer
252
views
Reference request: log Sobolev inequality for uniform measure (uniform distribution over discrete set)
Suppose that $N \in \mathbb N_+$ is fixed and denote by $\mu = (\mu_0,\ldots,\mu_N)$ the uniform distribution on the set $\{0,1,\ldots,N\}$ (i.e., $\mu_n = \frac{1}{N+1}$ for each $0\leq n\leq N$). I ...
- 730
5
votes
1
answer
615
views
Is every character of the algebra of continuous functions on a locally compact space some evaluation?
Given any locally compact Hausdorff space $X$, let $C(X)$ denote the complex algebra of all complex-valued continuous functions on $X$.
Question. Given an arbitrary character (i.e. a non-zero ...
- 960
4
votes
1
answer
311
views
Examples of Borel probability measures on the Schwartz function space?
Let $\mathcal{S}(\mathbb{R}^d)$ be the Frechet space of Schwartz functions on $\mathbb{R}^n$. Its dual space $\mathcal{S}'(\mathbb{R}^d)$ is the space of tempered distributions.
Minlos Theorem as ...
- 3,477
1
vote
0
answers
128
views
Sum of upper semi continuous and lower semi continuous functions
Let $X$ be a compact metric space. Assume that $f: X \to \mathbb{R}$ is upper-semi continuous and $g:X \to \mathbb{R}$ is lower semi-continuous. Assume that $\sup \{ f(x)+g(x) : x \in X \}$ is finite. ...
- 1,043