All Questions
10,935 questions
0
votes
1
answer
192
views
Littlewood-Paley characterisation of Hölder regularity
I am going through Terence Tao's "Nonlinear Dispersive Equations (Local & Global Analysis)" and trying to work through some of his exercises. However, I find myself being stumped by ...
- 103
10
votes
2
answers
594
views
Existence of a strongly continuous topologically irreducible representation of a compact group on an infinite dimensional Banach space?
Does there exists a triple $(G, X, \pi)$, where $G$ is a compact group, $X$ an infinite dimensional Banach space over $\mathbf{C}$, and $\pi : G \to B(X)$ a strongly continuous representation of $G$, ...
- 960
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
2
votes
0
answers
79
views
Does this variant coincide with the usual Hölder space?
$\newcommand{\NN}{\mathbb N} \newcommand{\RR}{\mathbb R}$
Let $\alpha \in (0, 1]$ and $d, j \in \NN^*$.
The usual Hölder space $C^{j, \alpha} := C^{j,\alpha} (\RR^d; \RR)$ is defined as the space of ...
- 825
0
votes
0
answers
213
views
Convergence of inverse operator with projections
Let $X$ be a separable Hilbert space, and let $(e_i)_{i=1}^\infty$ be an orthonormal basis of $X$. For each $n\in \mathbb{N}$, let $X_n$ be the subspace spanned by $(e_i)_{i=1}^n$, and consider the ...
- 503
2
votes
2
answers
290
views
Domain of Schrödinger operators
Let $S$ be a Schrödinger operator on $\mathbb{R}$, $Su=-u''+Vu$ with $V\geq1$ continuous and going to $+\infty$ at infinity (you can think of it as $x^2+1$). I wondering which assumptions do I have to ...
- 41
2
votes
0
answers
354
views
Weakly null sequences in projective tensor products
First, I'd like to record a question that may still be open. The snippet below is taken from DiestelPuglisi2009.
Second, let $E$ be a Banach space, $(u_n)$ be a weakly null sequence in the projective ...
- 2,605
1
vote
0
answers
109
views
$L^2(0,\infty;L^2(\Omega))$ estimate on solution of heat equation with Neumann boundary condition
Let $u$ be a solution of
$$u' - \Delta u = 0 \quad\text{on $\Omega$}$$
$$\partial_\nu u = 0\quad\text{in $\partial \Omega$}$$
$$u(t=0)=u_0\quad\text{on $\Omega$}$$
where $\Omega$ is a bounded ...
- 93
3
votes
0
answers
153
views
Weak*-separability of the unit ball of $X’$ and density characters and cardinalities of $X$ and $X’$
(This question has also been asked on Math StackExchange.)
Let $X$ be a Banach space, $X’$ be its continuous dual such that its unit ball is weak*-separable. I’ve been wondering what can be said about ...
- 2,830
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
2
votes
1
answer
390
views
Fourier series of Eisenstein series — elegant and very good approximation
I played around with the Fourier series of the Eisenstein series resp. divisor sums and did some calculations, see below. Although the deduction is not rigorous / wrong (as the power series for the ...
- 406
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,153
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,153
3
votes
0
answers
80
views
Does the Minlos theorem work for real-valued cases as well?
Let $\mathcal{E}(\mathbb{T}^3, \mathbb{R})$ be the Frechet space of real-valued smooth periodic functions on $\mathbb{R}^3$. Here, $\mathbb{T}^3$ is the $3$-dimensional torus.
Let us define a real-...
- 3,477
5
votes
2
answers
484
views
Optimizing a smoothing function with the Prime Number Theorem in mind
Let $f:[0,\infty)\to \mathbb{R}$ be a function with $f(x)=1$ for $0\leq x\leq 1$. Write $Mf$ for the Mellin transform of $f$. Let $c>0$, $T>10^6$ be constants. We are interested in minimizing ...
- 20.2k
1
vote
1
answer
139
views
Which kind of convergence can we get from Laplace transform convergence?
This question is a related question see this post Vague convergence VS Laplace transform convergence. But now we assume that
\begin{equation}
\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}...
65
votes
9
answers
12k
views
Polish spaces in probability
Probabilists often work with Polish spaces, though it is not always very clear where this assumption is needed.
Question: What can go wrong when doing probability on non-Polish spaces?
- 651
2
votes
0
answers
160
views
Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative
In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$.
...
- 3,477
5
votes
3
answers
1k
views
Defects of Hamel bases for analysis in infinite dimensions
I know that Hamel bases have a couple of defects for the purposes of doing analysis in infinite dimensions:
(1) Every Hamel basis of a complete normed space must be uncountable.
(2) For every Hamel ...
- 201
1
vote
1
answer
1k
views
Does weak-* convergence in $W^{1,\infty}$ imply weak-* convergence in $L^\infty$?
Let $\Omega \subset \mathbb{R}^n$ be open and bounded.
What does weak-* convergence for a sequence of functions $\{f_k\}_{k \in \mathbb{N}}$ in $W^{1,\infty}(\Omega)$ mean? It seems to me that there ...
- 13
29
votes
15
answers
6k
views
Important results that use infinite-dimensional manifolds?
Are Banach manifolds (or other types of infinite-dimensional manifolds) just curiosities, or have they been utilized to prove some interesting/important results? Where do they turn up? Important ...
4
votes
1
answer
199
views
Are nonatomic probability measures on a Banach space nicely shrinking a.e?
Let $\mu$ be a nonatomic probability measure on a Banach space $X$. Is it true that for $\mu$ a.e. $x \in X$, the function $g_x: (0, \infty) \to \mathbb R$ given by
$$g_x (r) := \mu(B_r (x))$$
is ...
- 6,275
1
vote
1
answer
90
views
Positive definite but not completely monotonic function on the upper half line
By Hausdorff-Bernstein-Widder theorem, any completely monotonic function on the half line $\mathbb{R}_{\geq 0}:=[0,\infty)$ is given by the Laplace transform of a positive measure on $\mathbb{R}_{\geq ...
- 63
0
votes
1
answer
328
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
0
votes
0
answers
113
views
Solving $\frac{\partial}{\partial t}f = h f + h \int h f$
Is there a closed form solution to the following differential equation?
$$\frac{\partial}{\partial t}f(i, t) = a h(i) f(i, t) + b h(i) \int \mathrm{d}i\ h(i) f(i, t)$$
Where $h(i)=C (i+1)^{-p}$ with $...
- 2,252
1
vote
0
answers
95
views
Are the sum and product of nonlinear compact operators compact?
In the 'interactive' proof of Lomonosov's Theorem about hyperinvariant subspaces (in the book Hilbert Space Operators, A Problem Solving Approach), one is asked to prove the compactness of the ...
- 11
4
votes
2
answers
374
views
Vague convergence: confusion about the regularity of a signed Radon measure and that of its variation
I'm reading a proof of below theorem from this paper.
Theorem A.3. Let $\Omega$ be a locally compact normal Hausdorff space. Let $\left\{\mu_n\right\} \cup\{\mu\} \subset \mathcal{M}(\Omega)$ and ...
- 657
0
votes
2
answers
166
views
Asymptotics of the unique root of a polynomial equation defined as a sum of rational expressions
Let $\lambda_1\ge \ldots \ge \lambda_n \gt 0$. Define a function $F:\mathbb R_+ \to \mathbb R_+$ by
$$
F(t) = t^2\sum_{i=1}^n\frac{\lambda_i^2}{(\lambda_i + t)^2}.
$$
It is clear that $F$ is strictly ...
- 6,853
2
votes
1
answer
237
views
Approximation of Hölder functions by Fourier series
Let $Q$ be a bounded domain in $\mathbf R^N$ with smooth boundary. Let $f\in C^a(\overline{Q})$, $0<a<1$.
Denote $\psi_k(x)$ normalized eigenfunctions and $\lambda_k$ eigenvalues ($k=0,1,2\...
- 21
0
votes
2
answers
236
views
Well-defined distribution and its singular support
Let $f$ be a smooth function on $X$, an open subset of $\mathbb{R}^n$, with $Im(f) \geq 0$. Let us fix an $\epsilon > 0$.
Let $T_{\epsilon} := \frac{1}{f(x)+i\epsilon} $ in $D’(X)$.
Now if we ...
- 319
14
votes
2
answers
3k
views
Differentiability of Fourier series
Consider the function defined by the Fourier series
$$ f(x;\alpha) = \sum_{n=1}^\infty \frac{1}{n^\alpha} \exp(i n^2 x ) , $$
where $\alpha >1 $.
For what values of $\alpha $ is $f$ ...
- 241
2
votes
1
answer
336
views
Complex Borel measures: does $\mu_n \to \mu$ weakly imply $|\mu|(\Theta) \le \liminf_n |\mu_n|(\Theta)$ for every open subset $\Theta$?
Let
$\Omega$ be a metric space,
$C_b(\Omega)$ the space of all real-valued bounded continuous functions on $\Omega$, and
$\mathcal{M}(\Omega)$ the space of all finite signed Borel measures on $\Omega$...
- 657
2
votes
2
answers
755
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
0
votes
0
answers
104
views
Can the best constants in harmonic analysis be approximated in principle?
Consider the trivial example of Holder's inequality $\|f\|_p\,\|g\|_q\geq |fg|_1$ if $\frac{1}{p}+\frac{1}{q}=1, p,q\geq 1$ and $f,g$ are functions on $\mathbb{R}^n$. Let's suppose we don't know how ...
- 265
5
votes
0
answers
246
views
Function on $\mathbb{Z}/p^k \mathbb{Z}$ with small Fourier transform?
For $f:\mathbb{Z}/p^k \mathbb{Z}\to \mathbb{C}$, define the Fourier transform $\widehat{f}:\mathbb{Z}/p^k \mathbb{Z}\to \mathbb{C}$ in the usual way, viz., $\widehat{f}(\xi) = \sum_x f(x) e(-\xi x/p^k)...
- 20.2k
1
vote
1
answer
138
views
Inequality for sums of sines with similar frequency
Let $c>0$ be a very small constant and $N \in \mathbb N$ very large.
Assume we have a function $f(x)$ for $x \in S^1$ defined as
$$
f(x) = \sum_{k=\lfloor N/(1+c) \rfloor}^{N} c_k \sin(kx+b_k)
$$
...
- 393
9
votes
2
answers
777
views
Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity
In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
- 5,380
4
votes
1
answer
285
views
Elliptic regularity when the Lagrangian is possibly infinite
I want to solve variational problems of the form
$$\inf_u \int_{-1}^1 \phi(u'(x)) \text{ with } u(-1)=u(1) = 0,$$
where $\phi(p)$ is convex and is allowed to take on the value $+\infty$ for some ...
- 981
1
vote
0
answers
145
views
Operator norm of linear functional $\varphi \mapsto \int_\Omega f\varphi$ with respect to different norms
Let $\Omega \subseteq \mathbb{R}^n$ be open. For some $f \in L^2(\Omega)$ consider the continuous linear functional $$T \colon C^\infty_c(\Omega) \to \mathbb{R}, \qquad T(\varphi) := \int_\Omega f \...
- 548
5
votes
1
answer
365
views
Isomorphic embedding of $l^n_{\infty}$ into $l_1^m$?
Given $n$, is there a $C(n)$-isomorphic embedding of $l^n_{\infty}$ into $l^m_1$ for sufficiently large $m$ and $C(n)<<\log(n)$?
For $n=2$ this can done with $m=2$. There are some results about $...
- 745
81
votes
4
answers
8k
views
Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?
Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I:
The theory of commutative ...
- 7,329
1
vote
0
answers
125
views
Probabilistic interpretation of von Neumann's approach to quantum mechanics
One of the basic postulates in the mathematical formalism of quantum mechanics is that the probability of a measurement of an observable $A$ in the state $\psi \in \mathscr{H}$ to return a value in a ...
- 1,305
4
votes
1
answer
198
views
How to compute the asymptotics of this oscillatory integral?
I posted this on Stackexchange but got no responses or comments.
Consider the following integral, for $\epsilon\ne 0:$
$$\displaystyle\frac{1}{(2\pi)^2\epsilon^4}\int_{\Omega}yb\,e^{\frac{i}{\epsilon}[...
- 1,198
2
votes
1
answer
192
views
Open sets in the space of signed measures equipped with the Kantorovich–Rubinshtein norm
Let $X$ be a compact metric space and $\mathcal{M}(X)$ be the space of variational-bounded, signed Borel measures equipped with the Kantorovich–Rubinshtein norm, cf. [Section 8.3, 1]:
$$||\mu||_0:= \...
- 113
2
votes
1
answer
91
views
Pair of positive harmonic functions with negative inner product in Drury-Arveson space
Define a reproducing kernel on the Euclidean ball in $\mathbb{C}^d$ by
$$k(z,w)=\frac{1}{1-\langle z,w\rangle}+\frac{1}{1-\langle w,z\rangle}-1.$$
Call the corresponding real reproducing kernel ...
- 1,429
6
votes
1
answer
938
views
Convergence of Fourier series
Say $f \in L^p[a,b]$, with $p \in \mathbb{N}, p > 1 $. Does its Fourier Series converge in the metric space $L^p[a,b]$? Does the series converge pointwise? And at which conditions?
Say now $p = 1$, ...
- 117
7
votes
3
answers
881
views
Criterion for compactness
Let $T:H\to H$ be a continuous operator on a Hilbert space.
Assume there exists an orthonormal base $(e_j)_{j\in\mathbb N}$, such that the sequence $Te_j$ tends to zero.
Must $T$ be compact?
user130903
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
0
votes
1
answer
92
views
Is $\Lambda:= \pi_2 \circ \pi_1:E \to L$ surjective?
Let $E$ be a Banach space. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let $I:E \to E$ be the identity map. Let $T:E \to E$ be a compact (bounded linear) operator. ...
- 657
1
vote
1
answer
195
views
Sufficient condition for two norms to be equal
Let $\mathcal{L}(E)$ be the algebra of all bounded linear operators on a complex Hilbert space $E$.
On $\mathcal{L}(E)^2$, we have two equivalent norms:
\begin{eqnarray*}
N_1(A,B)
&=&\sup\left\...
- 1,154