All Questions
12,776 questions
6
votes
0
answers
159
views
Identification of Fock space and the $L^2$ space of tempered distributions
Let $\mathcal{S}'(\mathbb{R}^d)$ be the set of tempered distributions over $\mathbb{R}^d$ and $d\phi_C$ a Gaussian measure over $\mathcal{S}'(\mathbb{R}^d)$ with covariance operator $C$. Consider the ...
- 721
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
4
votes
1
answer
158
views
Is the image of a complemented subspace complemented?
This question has been crossposted from mathstackexchange:
Let $X, Y$ be two Banach spaces and $T:X\to Y$ a continuous surjection. Assume $Z$ is a complemented subspace of $X$ and that $T(Z)$ is ...
- 655
4
votes
0
answers
168
views
Explicit bounds on gaps between zeros of $\zeta^\prime(s)$
In $\S$9.1 of "Theory of the Riemann Zeta Function", Titchmarsh uses Borel-Carathéodory and Hadamard Three Circles to show that every circle of radius 6 and center $3+iT$ contains a zeros of ...
- 11.1k
2
votes
0
answers
158
views
Conformally mapping between the upper half complex plane, and the plane with a tree on spatial points removed
A stochastic process such as SLE$_{\kappa}$ can be defined by taking the scaling limit of a curve in the upper half complex plane: put simply, one removes a line segment, then another, $n$ times, each ...
- 640
3
votes
0
answers
448
views
What are necessary and/or sufficient conditions for a Dirichlet series to admit analytic continuation?
Let $A = \{a(n)\}_{n \geq 1}$ be a sequence of complex numbers. By normalizing, we may as well assume that $|a(n)| \leq 1$ for all $n \geq 1$. Under this assumption, the Dirichlet series
$\...
- 26.9k
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
5
votes
2
answers
792
views
How to calculate an integral over the complex unit sphere
We want to calculate the following integral over the complex unit sphere $S^{2n-1}$:
$$\int_{S^{2n-1}} \frac{1 }{|1 - \langle z, \zeta \rangle|^2} \, d\sigma(\zeta),$$
where $ z $ is a fixed point in ...
- 109
3
votes
1
answer
177
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 131
23
votes
0
answers
717
views
Which proofs of the fundamental theorem of algebra are "essentially the same" vs. "essentially different"?
The classic MO thread Ways to prove the fundamental theorem of algebra contains $60$ proofs of FTA, and I'm sure there are many more in the literature. It would be nice to have some way to organize ...
- 118k
6
votes
1
answer
248
views
The sharpest regularity result of elliptic PDEs: conditions on the variable coefficients
Let $\Omega \subset \mathbb{R}^n$ be open and bounded with a sufficiently smooth boundary. Let $L$ be a second order differential operator with variable coefficients, given by
$$Lu = \partial_i(a^{ij}...
- 91
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
5
votes
1
answer
226
views
Nontrivial extension of the action of complex hyperbolic group $H$ on $\mathbb{C}$
Inspired by this question about conjugation of reql analytic maps to a holomorphic function and with a group action view point we ask the following question.
The complex Lie group $H=\...
- 356
2
votes
1
answer
113
views
Showing $\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}\leq \inf _{a \neq 0} \frac{\|\hat{a}\|_{\infty}}{\|a\|}$ in a commutative banach algebra
Suppose $A$ is a commutative Banach algebra, and let $u=\inf _{a \neq 0} \frac{\left\|a^2\right\|}{\|a\|^2}$, $v=\inf _{a \neq 0} \frac{r(a)}{\|a\|}$ ($r(a)$ is the spectral radius of $a$). I need to ...
- 775
3
votes
1
answer
203
views
Cohomology of the complex of differential forms with Schwartz coefficients
Let $U$ be an open manifold (say an open subset of $\mathbb{R}^n$ for simplicity). Denote by $\mathscr{S}(U)$ the space of Schwartz functions on $U$. Schwartz functions are defined as usual to be ...
- 1,374
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 233
2
votes
0
answers
220
views
Ultraviolet divergences of entanglement entropy in QFT
I've often read that entanglement entropy in quantum field theory is ill-defined because local algebras are generally of type III, which implies that a trace doesn't exist. For a normal state $\omega_{...
- 424
0
votes
0
answers
34
views
Locally compact groupoid with range map restricted to isotropy groupoid is open
Suppose the action groupoid 𝐺=𝐻⋉𝑋, where 𝐻 is a locally compact group and 𝑋
a locally compact space is such that isotropy subgroups of H are isomorphic to each other.
Can this be an example of a ...
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
2
votes
0
answers
142
views
A $C^*$-algebra with the bidual $B(H).$
Let $H$ be a separable Hilbert space and let $A$ be a non-unital $C^*$-subalgebra in $B(H)$ such that the second dual $A^{**} \equiv B(H).$ Does $A$ coincide with the ideal of compact operators $K(H)?$...
2
votes
0
answers
126
views
Identification of Maharam extension
All definitions used in this post are from Björklund, Kosloff, and Vaes - Ergodicity and type of nonsingular Bernoulli actions. This post is inspired by the beginning of Section 2.2 in the same paper, ...
- 307
3
votes
0
answers
69
views
Perturbation of one-parameter groups of unitary operators
Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
- 2,263
4
votes
1
answer
144
views
Asymptotic decay rate of an oscillator integral
Question:
I want to evaluate the decay estimate of the integral
$I^d(t; v) = \int_0^{\sqrt{d}\pi} dr \, r^{d-2} \int_0^\pi \sin(tr) e^{i\sqrt{d}vtr\cos\theta} \sin^{d-2}\theta \, d\theta $
for ...
- 81
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
- 765
2
votes
0
answers
95
views
On analytic functions on the complement of a curve without jump across the curve almost everywhere
Question. Suppose $f$ is an analytic function on $\mathbb C\setminus\mathbb R$ and assume that the boundary values of $f$ from above and below the real axis (denoted $f_\pm$ respectively) exist almost ...
3
votes
1
answer
79
views
How to deal with singularities in thin plate splines?
Follow up from this question Thin-Plate-Spline understanding and solution.
In the general case of $\mathbb{R}^N$ the following problem (interpolant which minimizes the Thin Plate Energy, specifically ...
- 115
2
votes
1
answer
179
views
Reference request: Parabolic Schauder estimates for the heat equation with $f \in L^\infty$
Let us consider the heat equation
$$\partial_t u - \Delta u = f(x, t) \quad \text{in }Q_R $$
where $Q_R = B_R \times (-R^2,0].$ I would like to know the kind of regularity we should expect of $u$ if ...
- 452
1
vote
2
answers
164
views
Existence of directional heat equation without uniform ellipticity
I am asking for references, or for a proof idea on how to show that weak solutions of the following problem exist: search $u$ on a bounded domain $\Omega\times (0,T]$, where $\Omega\subset\mathbb{R}^d$...
- 35
2
votes
1
answer
125
views
Reference for Mellin inversion; Meijer G-function
We have $$\frac {\Gamma (a)}{2^a}=\int _{(c)}\Gamma (s)\Gamma (a-s)\,ds,$$ see e.g. Exercise C.23 of Montgomery and Vaughan's "Multiplicative Number Theory".
I would like a similar formula ...
- 1,381
1
vote
0
answers
88
views
Schauder estimate for $f \in L^\infty$
I was reading an article where at some point the author uses the following estimate:
Let $u$ be a solution of
$$\Delta u = f \quad \text{in } B_1$$
for $f \in L^\infty$. Then $u \in C^{1,1 - \...
- 452
6
votes
1
answer
645
views
How many roots do $\tan(z)-z^n = 0$, $\sin(z)-z^n=0, \ \cos(z)-z^n=0, $ have?
I asked this question on MSE here.
I am investigating the number of roots of the equations:
$$\tan(z) - z^n = 0$$
$$\sin(z)-z^n=0$$
$$\cos(z)- z^n=0$$
within the vertical strip $|\text{Re}(z)| \leq \...
- 541
2
votes
1
answer
96
views
Representation of a meromorphic function on a once-punctured complex plane in terms of its zeros and poles
Consider a meromorphic function $f:\mathbb{C}\setminus\{0\}$ such that both $0$ and $\infty$ are its essential singularities with finite order in the sense of value distribution theory (see for ...
- 53
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
9
votes
3
answers
928
views
Are real-analytic functions in $\mathbb{R}^2$ holomorphic after suitable change of coordinates?
I'm not sure this is a research-level question, but I couldn't find an answer after a bit of searching, so here goes.
Let $f: \mathbb{R}^2 \to \mathbb{R}^2$ be a real-analytic function. Can we always ...
- 5,590
2
votes
0
answers
93
views
Reality of connection or meromorphic function
Let's considering a family of connections: $\nabla^{\lambda}:\mathbb{C}^{*}\rightarrow \Omega^{1}(sl(2,C))$ of trivial rank2 bundle on $\mathbb{P}^{1}-\{ 0,1,\infty \}$ with simple pole. In this case, ...
- 21
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
1
vote
2
answers
209
views
Approximate simple function $f$ by a sequence of continuous functions on $\mathbb{R}^d$ such that $\|f_n\|_\infty\leq \|f\|_\infty$
Let $f=\sum_{i=1}^n c_i 1_{\Delta_i}$ be a simple function on $\mathbb{R}^d$, where $c_i\in\mathbb{C}$. Then we can find sequnces of continuous functions $\{f_k^{(i)}\}$ for each $i=1,\ldots,n$ such ...
- 29
1
vote
1
answer
152
views
SOT and WOT convergence of Toeplitz operators
For the Hardy space $H^2$, every $\phi \in L^\infty (\mathbb T)$ induces a bounded Toeplitz operator $T_\phi$ on the Hardy space and $\lVert T_\phi \rVert = \lVert \phi \rVert _{\infty}$. Consequently,...
- 151
5
votes
2
answers
435
views
What is the limit of the sequence of iterated cosines?
I asked this question on MSE here.
Define $f_1(z) = \cos(z)$, $f_{n+1}= \cos(f_n (z)) $, The question is: Does $\lim\limits_{n \to \infty}f_n(z)$ exist for certain $z \in \mathbb{C}$? And what is ...
- 541
1
vote
0
answers
248
views
Solving functional analysis problems by using Algebraic geometry
I am thinking about some open problems in nonlinear functional analysis and I just wanted to know if there are any problems that have been solved by using Algebraic geometry techniques in these fields....
1
vote
0
answers
25
views
Functions of bounded boundary rotation on the upper-half plane
It is a fact that there is a one to one correspondence between the space $M(k)$ of finite, signed Borel measures on $\mathbb{S}^1$ with total mass equal to $2$ and total variation equal to some $2 \...
- 111
2
votes
0
answers
82
views
What is Lipschitz constant of the radial renormalization $(X,\|\cdot\|_a) \rightarrow (X,\|\cdot\|_b)$ on a normed vector space $X$
Suppose that $X$ is a vector space with two norms $\|\cdot\|_a$ and $\|\cdot\|_b$. The mapping
$$
f(x) = \frac{\|x\|_{a}}{\|x\|_{b}} x, \qquad \forall x \in X,
$$
with $f(0)=0$
is a radial and maps ...
- 5,327
6
votes
1
answer
256
views
Example/Existence of Positive Linear Functional which is NOT Hermitian
We know that if $\mathcal{A}$ is a unital $C^*$-algebra and if $f:\mathcal{A}\to\mathbb{C}$ is a positive linear functional then it is Hermitian. It simply follows from the fact that in $\mathcal{A}$ ...
- 173
-1
votes
1
answer
85
views
Reference Request: Continuous extension of conformal maps
currently I am trying to find some references on the continuous extension of conformal maps between two simply connected domains of the Riemann sphere $\hat{\mathbb C}$. Let $\gamma_1,\gamma_2$ be two ...
0
votes
0
answers
93
views
Orthogonalization of symmetric non-degenerate bilinear forms
It is well-known that given a field $k$ with characteristic different from $2$, every symmetric non-degenerate bilinear form $B$ over a finite-dimensional space can be orthogonalized. This means that ...
- 1,485
2
votes
1
answer
99
views
A question on Bloch functions
Let $\mathcal{B}(\Delta)$ be the space of Bloch functions in the unit disk $\Delta$. For any $f\in \mathcal{B}(\Delta)$, we define the Bloch norm by
$$
\|f\|_{\mathcal{B}}=\sup_{|z|<1}|f'(z)|(1-|z|^...
- 1,706
0
votes
0
answers
56
views
What is the maximum of $ \frac{\sin(n(x+a))}{\sin(x+a)} + \frac{\sin(n(x-a))}{\sin(x-a)}$?
I have asked this here. Due to inactivity and no satisfying answers, I am asking here. Hope that's okay.
We know the global maxima of the function $\frac{\sin(nx)}{\sin(x)}$
is $n$ (thanks to this ...
- 113
6
votes
1
answer
247
views
Convergence and meromorphic continuation of a Dirichlet series under RH
Consider a Dirichlet series $F(s) = \sum_{n\geq1} \frac{a_{n}}{n^{s}}$ such that $a_{n} = O(1)$. Suppose the Dirichlet series
$$\zeta(s)F(s)=\sum_{n\geq1} \frac{(a\star1)(n)}{n^{s}}$$
converges ...
- 611
1
vote
1
answer
151
views
Some operators on spheres
Let $S_2$ be the unit sphere in $\mathbb R^3$ equipped with normalized Haar measure. For a continuous function f and $\delta\in (-1,1)$ define $T_\delta f(x):=\int_{\{y:<x,y>=\delta\}}f(y)d_\...
- 1,879
2
votes
1
answer
89
views
The contractivity of the time derivative of the heat semigroup in $L^p$ spaces
Let $M$ be a complete manifold. The heat semigroup $e^{-tL}$ is bounded on $L^p(M)$, for any $1 \leq p \leq \infty$;
see this for instance.
It seems that we can deduce the time derivative of the heat ...
- 121