All Questions
10,199 questions
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
4
votes
1
answer
267
views
Is $T$ totally bounded when $C_u(T)$ is separable?
I'm seeking help with a question regarding the space of bounded and uniformly continuous functions $C_u(T,d)$, where $(T,d)$ is a metric space. In this context, $C_u(T)$ is a closed subspace of $C_b(T)...
- 235
2
votes
0
answers
92
views
Is every compact convex set covered by a Choquet simplex?
Here is a natural question which I have been unable to find discussed in the literature. If $K$ is a compact convex set in a locally convex topological vector space, is there a Choquet simplex $\...
- 2,049
1
vote
1
answer
113
views
The notion of "Admissible" and "Permitted" in the context of convolution with distributions and hypocontinuity
I am reading the paper "On Convolutions" (1958) and have encountered the notion of "Admissible" and "Permitted" spaces.
In p.17-18 of the above paper, it says that an ...
- 3,477
26
votes
2
answers
6k
views
Understanding a simplifying assumption in proof of the invariant subspace problem
In a recent preprint On the invariant subspace problem in Hilbert spaces Per H. Enflo claims to have solved the invariant subspace problem, showing that every bounded linear operator on a separable ...
- 423
2
votes
0
answers
155
views
Regularity of a weak solution to an elliptic PDE with mixed boundary condition
I have a question on the regularity of a weak solution to an elliptic PDE with mixed boundary condition.
Let $\alpha \in (0,1]$ and let $D$ be a bounded $C^{1,\alpha}$-domain. Let $x \in \partial D$ ...
- 721
1
vote
0
answers
133
views
Infinite dimensional matrix solvability
In order to solve a boundary problem for a conducting hemisphere, the following matrix equation arises (derived from the boundary condition on the curved part of the surface) where we must solve for ...
- 573
2
votes
1
answer
174
views
Maximizing the first Neumann eigenvalue on disks
Let $D^2$ be a smooth disk and for any Riemannian metric in $D$, let $\mu_1(g)$ be the first positive Neumann eigenvalue of the Laplacian on $(D, g)$. Li and Yau proved that
$$\mu_1(g) \operatorname{...
- 2,095
4
votes
0
answers
74
views
Is there a dense set of Lipschitz functions in $H^\infty(U)$, each of which maps $(1,0,\ldots,0)$ to 1, where $U$ is the unit ball in $\mathbb{C}^N$?
Let $U$ be the open unit ball in $\mathbb{C}^N$, let $A(U)$ be the algebra of functions analytic on $U$ and continuous on $\bar U$, and let $u=(1,0,\ldots,0)$. Let $\mathcal{B}=\{f\in H^\infty (U): \|...
1
vote
2
answers
311
views
Is there a bounded sequence $(e_n)$ such that $e_n \in E_n$ and that $(e_n)$ does not have any convergent subsequence?
Let $(E, |\cdot|)$ be an infinite-dimensional Banach space. Assume that
$T:E\to E$ is a compact (bounded linear) operator, and
$(\lambda_n)$ is a sequence of distinct eigenvalues of $T$.
Let $E_n$ ...
- 657
0
votes
1
answer
51
views
Convergence of Gaussian measures $\{ d\mu_a \}$ whose variances depend smoothly on the index $a$
Let $f: \mathbb{R} \to \mathbb{R}$ be a smooth function such that $f(x)$ is positive in a small punctured neighborhood of $x=0$ but $f(0)=0$.
Now, define a collection of centered Gaussian measures on $...
- 3,477
0
votes
0
answers
74
views
Computing the eigenvalues of $A+E$ where $A$ is an upper triangular matrix whose diagonal entries are all zero and $E$ is a rank one matrix
Let us consider the backward-shift matrix $B=(b_{ij})\in M_n(\mathbb{R})$ whose entries are given by $b_{k,k+1}=1$ and the other entries are all 0. We also consider $X=(x_{ij})\in M_n(\mathbb{R})$ ...
- 4,058
1
vote
1
answer
242
views
near ergodic theory question
Let $(X,\sigma,\mu)$ be a measure space, $\mu(X)=1$. End let $T:X\to X$ be a measurable map such that
$$D\in\sigma\Longrightarrow \mu(T^{-1}D)=\mu(D).$$ Let $f:X\to\mathbb{R}_+$ be an integrable ...
0
votes
1
answer
135
views
When integrating by part produces a singularity
I'm currently interesting in the following operator:
$$O[f](x):=f(x)-2xe^{x^2}\int_x^{+\infty}dt \, e^{-t^2} f(t)$$ for all $x\in\mathbb{R}$ and $f$ smooth and decaying at infinity fast enough with ...
- 41
5
votes
1
answer
177
views
Complemented subspaces of a dual Banach space
Let $\kappa$ be an infinite cardinal number and by $\mathcal{B}(\kappa)$ denote the class of all Banach spaces of density $\kappa$.
My question reads as follows:
Does there exist $\kappa$ for which ...
- 1,151
2
votes
1
answer
433
views
Stone-Weierstrass theorem: coefficients of approximating sequence bounded?
Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a subalgebra of $C(X;\mathbb{R})$.
The Stone-Weierstrass theorem asserts that if $\mathcal{A}$ contains the constants and separates the points ...
- 463
7
votes
0
answers
123
views
Steklov eigenvalue for circle valued functions
Let $(M,g)$ be a compact Riemannian manifold with boundary. It is well known that the first positive Steklov eigenvalue $\sigma_1$ of $M$ has the following variational characterization:
$$\sigma_1(M,g)...
- 2,095
4
votes
0
answers
239
views
The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras
I'm currently reading the paper The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras and having difficulty in understanding the proof of Proposition $4.5$ from the paper.
Let $A$ ...
- 1,115
7
votes
1
answer
653
views
Extending Hölder functions
I originally asked this question on MathStackExchange some time ago, but it seems that MathOverflow would be more appropriate. Essentially, I would like to find references for extension theorems for (...
- 820
4
votes
1
answer
785
views
The definition of simple eigenvalue
This question was posted a long time ago on the mathexchange, but I didn't get any answers there, and despite having discussed it with some colleagues, I don't think I have a definitive answer.
I am ...
- 136
1
vote
1
answer
113
views
Is $I-S$ in my attempt of Fredholm alternative injective?
Let $E$ be a Banach space. Let $\mathcal K(E)$ be the space of all compact (bounded linear) operators from $E$ to $E$. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let ...
- 657
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
3
votes
1
answer
500
views
Thin-Plate-Spline understanding and solution
This is a migrated question from: Thin-Plate-Spline understanding and solution.
If I need to delete one of the questions let me know. I was suggested to post it here as well.
As I understand it a Thin-...
- 115
-1
votes
2
answers
408
views
Conditional expectation: commuting integration and supremum
Let $X$ and $A$ be compact Polish spaces endowed with Borel $\sigma$-algebras. Let $\mathcal{A} = X\times \mathcal{B}(A)$ be the $\sigma$-algebra consisting of cylinders whose projections on $A$ are ...
- 109
4
votes
1
answer
161
views
For centered Gaussian measures, is $E[\lVert X\rVert^2] \lesssim E[\lVert X\rVert ]^2$ true in infinite dimensions as well?
In the proof of Corollary 5.7 in the following link:
https://arxiv.org/pdf/1610.05200.pdf
the author claims that $E[\lVert X\rVert^2] \lesssim E[\lVert X\rVert ]^2$ for the standard normal ...
- 3,477
3
votes
1
answer
190
views
Can the equation $1+z+z^q=z^n$ have multiple complex roots $z$?
It is proved here that the equation $1+z+z^2=z^n$ have no multiple complex roots.
Q. Let us consider the equation $1+z+z^q=z^n$ where $q$ and $n$ are natural numbers with $1<q<n$. Any ...
- 4,058
6
votes
3
answers
964
views
Convolution of $L^2$ functions
Let $u\in L^2(\mathbb R^n)$: then $u\ast u$ is a bounded continuous function. Let me assume now that $u\ast u$ is compactly supported. Is there anything relevant that could be said on the support of $...
- 16.2k
2
votes
1
answer
112
views
The eigenvectors of adding a particular rank one matrix to the circulant matrix
Suppose that $e_1, \cdots, e_n$ are the standard vectors of the Euclidean space $\mathbb{R}^n$.
Let us consider the backward shift operator $T:\mathbb{R}^n\to \mathbb{R}^n$ given by $Te_k=e_{k-1}$ ...
- 4,058
1
vote
1
answer
131
views
A generalized form of the approximation to identity?
This question is an extension of the one I posted on ME: https://math.stackexchange.com/questions/4701500/if-alpha-nx-int-lvert-x-y-rvert-leq-1-n-lvert-x-y-rvert2-d-muy
It might be elementary for here,...
- 3,477
0
votes
0
answers
307
views
Generalizations of the generalized Stokes theorem and the Atiyah-Singer index theorem
I am interested in the generalized Stokes theorem and its various generalizations. It is apparent to me that many theorems in vector analysis and certain theorems in complex analysis can be viewed as ...
- 131
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
3
votes
1
answer
148
views
positive functional on Banach *-algebra (with appro. identity) is continuous?
Theorem (N. Th.Varopoulos): Let $\mathcal{B}$ be a Banach *-algebra
with a bounded approximate identity. Then every positive functional $T$ on $\mathcal{B}$ is continuous.
I think this theorem is ...
- 325
1
vote
0
answers
133
views
Does the Gaussian Poincare inequality hold for infinite dimensional measure metric spaces?
This is a question subsequent to the one:
Does the Gaussian Poincare inequality hold for $p=1$ as well as $p=2$?
There, I received a very helpful answer that the Gaussian poincare inequality for any ...
- 3,477
1
vote
1
answer
160
views
On an integral equation
Let $B: C^{\infty}([0,1]^3)$ satisfy
$$B(t,t,x)=0 \quad \text{for all $t,x \in [0,1]$.}$$
Let $f \in C^{\infty}([0,1]^2)$ satisfy the following integral equation:
$$ \int_0^1 f(t,x)\,dx + \int_0^t\...
- 4,153
0
votes
0
answers
114
views
Norm distance in a Banach space
Consider the Hilbert space $l_2(\mathbb{N})$ under the square summable norm $\Vert \cdot \Vert_2.$ Let us define a new norm $||| \cdot ||| $ equivalent to $\Vert \cdot \Vert_2$ such that the closed ...
- 85
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
2
votes
1
answer
375
views
Radon-Nikodym derivative in a compact Hausdorff space
Let $X$ be a compact Hausdorff space where $X$ have infinitely many points and the topology is non-discrete, $m$ be a regular probability measure defined on the Borel $\sigma$-algebra of $X$, and $g$ ...
- 307
1
vote
0
answers
79
views
Groups without "almost equivariant" coarse embeddings
Let $X$ be a set. We say that $\psi:X\times X\to[0,\infty)$ is a CND (conditionally negative definite) kernel if there is a Hilbert space $\mathcal{H}$ and a map $f:X\to\mathcal{H}$ such that
\begin{...
- 81
2
votes
0
answers
57
views
Regularity on $\mathbb{T}^3$ of the "functional average" of a map $S : C^\infty(\mathbb{T}^3, \mathbb{R}) \to L^2(\mathbb{T}^3, \mathbb{R})$
For simplicity, let $C^\infty(\mathbb{T}^3, \mathbb{R})$ be the real Frechet space of periodic smooth functions on $\mathbb{R}^3$. Here, $\mathbb{T}^3$ is the $3$-dimensional torus.
For a fixed ...
- 3,477
3
votes
1
answer
182
views
How to choose some $h$ so its Fourier transform supported in some set?
Suppose that $K=[-N, N]$ is some compact subset of $\mathbb R$, for some $N>2.$
Can we expect to choose $h$ such that $h=1$ on $K$ and the support of the Fourier transform of $\widehat{h}$ ...
- 325
2
votes
1
answer
389
views
Can we interpret fractional Sobolev spaces in terms of fractional derivatives?
Let $1 \leq p < \infty$, $0<s<1$, and $\Omega \subseteq R^n$ be a domain. The Banach space $W^{s,p}(\Omega)$ is defined as
$$W^{s,p}(\Omega) := \left\{ f \in L^p(\Omega) \colon \int_{\Omega \...
- 5,327
1
vote
1
answer
319
views
Total variation distance
Let $\mathcal{X}$ be the input or feature space, let $\mathcal{B}$ be Borel $\sigma$-algebra on $\mathcal{X}$ and $P(\mathcal{X})$ denotes the set of all probability measures on $(\mathcal{X},\mathcal{...
- 23
0
votes
1
answer
154
views
Finite dimensionality of a subspace
Let $c>0$ and let $Y$ be the space of all distributions of compact support in $(-1,1)$ with singular support at $\{0\}$. Let $X$ be subspace of $Y$ such that for any $\phi \in X$ there holds:
$$ \...
- 4,153
2
votes
0
answers
62
views
On a real smooth version of white noise distribution theory
In white noise analysis, one starts with a real Gelfand triple $\mathcal{N}\subset \mathcal{H} \subset \mathcal{N}^{*}$ and produces out of it, using complexifications along the way, the complex ...
- 505
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 531
17
votes
1
answer
570
views
Does a completely metrizable space admit a compatible metric where all intersections of nested closed balls are non-empty?
(cross-posted from this math.SE question)
It is well-known that given a metric space $(X,d)$, the metric is complete if and only if every intersection of nested (i.e. decreasing with respect to ...
- 775
1
vote
0
answers
105
views
Friedrichs extension of the Laplacian from a smooth subspace and density of its eigenbasis in the Frechet topology of the subspace as well?
Let $C^\infty_\text{div}(\mathbb{T}^3)$ be the "real" Frechet space of periodic, divergence-free smooth vector fields on $\mathbb{R}^3$. That is, $\mathbb{T}^3$ is the $3$-dimensional torus.
...
- 3,477
0
votes
0
answers
119
views
Weak convergence in $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$ space
Let $\Omega \subset \mathbb { R } ^ n $be a bounded domain, and suppose that in the space $W^{ 1,q}(\Omega) $ $ (1 \leq q < \infty)$, the sequence $\{ u_j \} $ converges weakly in $W^{ 1,q}(\Omega)...
- 471
4
votes
0
answers
197
views
Bounded cohomology and unitary representations
On page 9 of Nicolas Monod's very nice ICM report "An invitation to bounded cohomology" (https://egg.epfl.ch/~nmonod/articles/icm.pdf), he mentions that bounded cohomology may be related to ...
0
votes
0
answers
145
views
Convergence of Solutions of Integral Equations with Weakly Converging Forcing Terms
Let $\Omega$ be a bounded interval of $\mathbb{R}$ and let $y\in L^\infty(\Omega \times (0,T))$ be a mild solution of the integral equation
$$
y(\cdot,t)=S(t) y_0+\int_0^t S(t-s) \left[u(\cdot,s)y(...
- 55