All Questions
13,925 questions
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 ...
- 60.5k
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
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 ...
- 11
3
votes
0
answers
60
views
What circumstances guarantee a p-adic affine conjugacy map will be a rational function?
Let $\Bbb Q_p$ be a p-adic field and let any element $x$ of $\Bbb Q_p$ be associated with a unique element of $\Bbb Z_p$ via the quotient / equivalence relation $\forall n\in\Bbb Z:p^nx\sim x$
Then in ...
- 308
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
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 ...
- 21.5k
5
votes
1
answer
215
views
Is it possible to fill a boundary component of an irreducible 3-manifold using a handlebody so that the resulting manifold is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with boundary (possibly more than one component). Let $S\subseteq\partial M$ be one of its boundary components, which is an orientable surface ...
- 28.2k
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 \, ...
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 ...
- 109k
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
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$...
- 12.9k
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
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 ...
6
votes
1
answer
290
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,075
4
votes
1
answer
227
views
Continuity upgrade for nonlinear maps
Let $E,F,G$ be topological vector spaces such that $F\subset G$ with continuous embedding.
By continuity upgrade I mean the following phenomenon: In some circumstances a continuous linear map $f:E\...
- 1,075
5
votes
1
answer
380
views
Proving the Cork Theorem
I am reading Kirby's paper paper "Akbulut's corks and h-cobordisms of smooth simply connected 4-manifolds" and I have a question about how to actually prove the cork theorem from the results ...
- 1,040
9
votes
0
answers
180
views
How should we picture the set of monomial orders (= positive monoid orders on $\mathbb{N}^k$)?
Motivation: So apparently there's some sort of sport competition currently going on where I live, which leads to countries being given an element of $\mathbb{N}^3$ called a “medal count”, and not ...
- 32.5k
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)?$...
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
1
vote
1
answer
132
views
Is the product of torus and sphere a cover of the symmetric square of torus?
Let $T$ denote the $2$-dimensional torus and $T^{(2)}$ denote its symmetric square (which is the orbit space of the canonical $\mathbb{Z}_2$ action on the $4$-torus $T \times T$).
One can see $T^{(2)}$...
- 148k
1
vote
2
answers
156
views
Numerical evaluation of monomial divided differences
Suppose $f(x)=x^{n+1}$ for some $n\in\mathbb{N}$, and define the divided difference $$f[a,b]=\frac{a^{n+1}-b^{n+1}}{a-b}.$$
I am wondering about the best way to numerically evaluate $f[a,b]$ to high ...
- 8,271
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
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$...
- 12.9k
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 ...
- 346
7
votes
1
answer
253
views
Does a Banach algebra version of "the sum of a closed subspace and a finite dimensional subspace is always closed" exist?
In the setting of Banach spaces, it is well know that if $M$ is a closed subspace of a Banach space $X$ and $F$ is a finite dimensional subspace of $X$, then $M+F$ is closed.
Does a Banach algebra ...
- 2,830
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
1
vote
0
answers
36
views
When must a space generated by compacts also be generated by Hausdorff compacts?
Cross-posted from Math.SE: https://math.stackexchange.com/questions/4948421/.
I'm interested in comparing $k_1$-spaces,
spaces whose topologies are witnessed by
their compact subspaces, and $k_3$-...
- 1,362
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 ...
- 6,367
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,...
- 24.2k
15
votes
1
answer
1k
views
Borel-Écalle re-summation and resurgence: criteria and results
This is about the theory of Borel-Écalle re-summation and resurgence, see Refs below.
This states that the perturbative series (say of the vacuum expectation value of an operator $\mathcal{O}$ in ...
CommunityBot
- 1
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 \...
CommunityBot
- 1
14
votes
2
answers
873
views
Which finite dimensional Banach spaces can be represented isometrically as spaces of bounded operators on a finite dimensional Hilbert space?
Background:
It is known that every Banach space $X$ can be embedded isometrically as a subspace in the space $C(K)$ of continuous functions on a compact Hausdorff space $K$. Indeed, one can take $K$ ...
- 6,406
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
4
votes
1
answer
1k
views
Original proof of the Borsuk-Ulam theorem
I am looking for the original proof by Borsuk of the Borsuk-Ulam theorem. I would appreciate very much if someone could outline the proof.
- 356
7
votes
2
answers
351
views
Can the Banach algebra structure on $B(E)$ be (almost) retrieved from its Banach space structure?
This is basically just out of curiosity. Also, since my research area is in von Neumann algebras and my knowledge of general Banach algebras as well as general Banach spaces is somewhat limited, I ...
- 2,605
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....
- 12.9k
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 ...
CommunityBot
- 1
6
votes
1
answer
257
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}$ ...
- 2,830
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
0
votes
0
answers
353
views
On a Duality between Riemann-weil explicit formula and Abel- Plana summation of trigonometric prime counting function:
Consider the analytic function $g(x)$
Now define
$f(x)=g(x)\frac{\sin^2\left(\frac{π\Gamma(x)}{2x}\right)}{\cos^2\left(\frac{π}{2x}\right)}$
Such that
$|f(x+it)|=o(e^{2πt})$
uniformly for every $x$...
- 790
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
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 ...
- 2,703
1
vote
0
answers
66
views
Extending homeomorphisms on closure spaces
Let $C$ be an infinite $T_1$ closure space, which is not a topological space. Suppose $C$ has the exchange property: for $x,y\in C$ and $A\subseteq C$
$$
\big( x\notin\overline{A}, \hspace{4mm} x\in \...
- 2,605
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_\...
- 6,035
2
votes
1
answer
251
views
Log-Sobolev constant
Let $\nu \propto e^{-f}$ be a probability density on $\mathbb{R}^d$ with full support. We say $\nu$ satisfies the log-Sobolev inequality (LSI) with constant $\alpha$ if for every smooth function $g:\...
CommunityBot
- 1
1
vote
0
answers
30
views
Generalization of subadditivity analogous to quasiconvexity, and variants
I am curious if there are natural generalizations of subadditivity which have been studied in the past or have been stated in the literature? I (and people that I have talked to) have not had much ...
- 21
4
votes
1
answer
183
views
When can a generalized connected sum be aspherical
Let $M$ and $N$ be compact $n$-dimensional manifolds with a common (nicely embedded) compact submanifold $S$ (we may assume that the inclusion of $S$ in $M$ and $N$ is $\pi_1$-injective). Let $M\#_S N$...
- 311
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 60.5k
5
votes
1
answer
221
views
How big is the class of all closed range bounded linear operator?
Let $X$ and $Y$ be Banach spaces and let $CR(X,Y)$ denote the set $B(X,Y)$ of all bounded linear maps from $X$ to $Y$ with $T(X)$ closed in $Y$. Certainly $CR(X,Y)$ is not open in $B(X,Y)$ as given ...
- 63.9k