All Questions
3,508 questions with no upvoted or accepted answers
0
votes
0
answers
94
views
Is the space of affine continuous functions a Baire space
Let $\Omega$ be a compact convex set in q linear normed space. Let $A(\Omega)$ be the space of affine continuous real-valued functions. My question is whether the space $A(\Omega)$ is a Baire space? ...
- 675
0
votes
0
answers
143
views
Minimax problem : uniqueness of a solution
Let $n\geq2$. Is it true that the minimax problem:
$$
\min_{p\in\mathcal{P}}\max_{H\in\mathcal H}p^tH\bar{p},
$$
where
$\mathcal H\subset\mathcal{M}(n)$ is a strictly convex bounded subset of ...
- 4,034
0
votes
0
answers
113
views
Existence of distance-preserving mappings for general norm in vector space
We say a mapping $f:\mathbb R^n\to \mathbb R^n$ be 1-Lipschitz with respect to a norm $\|\cdot\|$ if $\|f(x)-f(z)\|\le\|x-z\|$ holds for all $x,z\in\mathbb R^n$. Such a mapping are sometimes called a ...
- 601
0
votes
0
answers
52
views
How to know if two special functions are related by an elementary function?
Suppose I have two special functions $f_1$ and $f_2$. Is there an algorithm which can tell me whether there exists elementary $g$ such that $f_1 = g\circ f_2$? Furthermore, is there any possibility to ...
- 333
0
votes
0
answers
540
views
The definition of essential spectrum for general closed operators
I've asked this problem in MSE several days ago, see here. But there is no reply up until now. Maybe I wrote things too complicated there and so I'll write a very clean problem here. For background ...
- 1
0
votes
0
answers
43
views
Minimal condition on set for an optimisation problem
We fix $\Omega \subset \mathbb{R}^{2}$ an open set. My question is: what are the minimum conditions we need on $E \subset \Omega$ such that the following optimisation problem:
$$
\sup\{ \int_{E}(\...
- 181
0
votes
0
answers
210
views
Reed-Simon Vol. IV: Question regarding convergence of eigenvalues
I am reading through Chapter XIII.16 of Reed and Simon's Methods of Modern Mathematical Physics IV: Analysis of Operators about Schrödinger operators with periodic potentials. Since the topic is kind ...
- 91
0
votes
0
answers
21
views
Estimatives for elliptic systems involving the laplacian
Considering the problem
\begin{equation}
\left\{
\begin{array}[c]{11}
\Delta(\Delta \chi -\chi) = 0 & \text{in } \Omega, \\
\Delta \chi -\chi = h_2 - h_1, & \text{on } \partial\Omega \\
\end{...
- 101
0
votes
0
answers
75
views
Extracting the point mass measure of some type of positive measures
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on the reals.
Let $\delta_0$ be the point mass measure concentrated on 0, which is also the multiplicative ...
- 4,058
0
votes
0
answers
80
views
Cyclicity of composition operators
Let $E=C([0,1]^m,\mathbb{R}^n)$ where $K=[0,1]^m$ where $E$ has the compact convergence topology. Recall that for a function $f:[0,1]^m\rightarrow [0,1]^m$ the associated composition operator $C_f$ ...
- 5,405
0
votes
0
answers
116
views
Is there a proper term for a "continuum-convex" set?
Let $X$ be a Banach space, and for any compactly supported Borel probability measure $\mathbb{P}$ on $X$, define the mean $\mu_\mathbb{P}$ by $\mu_\mathbb{P}=\int_X x \, \mathbb{P}(dx)$.
I want to say ...
- 708
0
votes
0
answers
40
views
Time regularity of traces
I have a question about the time regularity of the traces in one dimension.
Suppose I have a function space $$X = C^1([0,T];L^2(0,1))\cap C([0,T],H^1(0,1))$$ and I define an operator $E$ on $X$ by $(...
- 11
0
votes
0
answers
70
views
Normal vector to a level set and fractional Laplacian
Let $U=\{u\le0\}$ and $\partial U=\{u=0\}$. Suppose $\nabla u$ does not vanish on $\partial U$. Then the (canonical extension of the) normal vector field to $\partial U$ (pointing to the interior of $\...
- 99
0
votes
0
answers
112
views
How to prove or disprove $ |r'(a)| \leq c_1 \sup_{x \in [a-1/2,a+1/2]} |r(x)|$?
Let $ A = \begin{bmatrix}
a & 1 \\ 0 & a
\end{bmatrix}$ be a Jordan matrix with $ -1 < a < 1 $.
Let $r(z) = \frac{p(z)}{q(z)}$ be an irreducible rational function, where $p(...
- 101
0
votes
0
answers
141
views
Extending an unbounded dense linear functional
Let $H$ be an infinite dimensional separable Hilbert space over $\mathbb{C}$
Let $V \subset H$ be a dense subspace of $H$
Let $f : V \to \mathbb{C}$ be a unbounded functional linear
My question is:
Is ...
- 433
0
votes
0
answers
103
views
A question on the Haar basis for $L_{1}[0,1]$
Let $(x_{n})_{n=1}^\infty$ be a basis for a Banach space $X$. It is important to know the exact expression of the norm of $\|\sum_{i=1}^{n}a_{i}x_{i}\|$ for all $n$ and all scalars $a_{1},a_{2},\ldots,...
- 3,343
0
votes
0
answers
112
views
Fixed point of a contraction map
This question is a continuation of Is this a contraction mapping for small $T$?
Set, for $T, m>0$, $H^m_T:=\{h:[0,T]\to [0,m]:~ h,~h' \mbox{ are both continuous on } [0,T]\}$ endowed with the norm
$...
- 1,334
0
votes
0
answers
148
views
About the theorem of Weierstrass?
Is $E=Vect\{1,x,x^2,...,x^{2^n},...\}$ dense in $C([0,1])$ for the uniform norm?
While looking for a short proof for Weierstrass' theorem, I came across this justification(*) (which shows this result)...
- 4,074
0
votes
0
answers
84
views
Determining the tails of a convolution from its behavior on a compact set
Let $p$ be a smooth (say, $C^\infty$, but this is not crucial) density on the interval $I=[0,1]$ and $g_\sigma$ be the density of $N(0,\sigma^2)$. Define $f=p\ast g_\sigma$. To what extent does the ...
- 19
0
votes
0
answers
56
views
Existence of minimal subset of dual ball such that the intersection of kernels is trivial
Let $(V, \lVert \cdot \rVert)$ be a separable Banach space and let $B_{V^*}$ denote the closed ball in the dual $V^*$. Suppose we have a family $C \subseteq B_{V^*}$ such that $\bigcap_{\Lambda \in C} ...
- 820
0
votes
0
answers
198
views
eigenvalues of the product of a unitary with a diagonal
In $M_n(\mathbb{C})$, suppose $U$ and $D$ are a unitary and an invertible diagonal matrix with eigenvalues $\{e^{i\theta_1},\cdots,e^{i\theta_n}\}$ and $\{e^{i\eta_1},\cdots,e^{i\eta_n}\}$ ...
- 4,058
0
votes
0
answers
176
views
A convergence question in $L^2$ construction of Brownian motion
I feel confused with a particular step in the $L^2$ consturction of Brownian motion.
Let $\{\xi_n \sim N(0,1)\}_{n\geq 1}$ be a sequence of i.i.d Gaussian random variables on some probability space $(\...
- 227
0
votes
0
answers
165
views
Compact embedding of Lipschitz continuous functions
Let $(X,d,\mu)$ be a metric measure space, not necessarily with $\mu(X)<\infty$. I would like to study the embedding of $W^{1,2}(X)\cap \mathrm{Lip}(X)$ into $L^2(X)$. Are there simple conditions ...
- 3,388
0
votes
0
answers
109
views
Generator problem for reduced group C*-algebra
(Not sure if it is appropriate or not, if no I will delete the post)
Recently I am concerned about the number of generator of $C^{*}_{r}(\mathbb{F}_{k})$, the reduced group algebra of the free group, ...
- 523
0
votes
0
answers
199
views
Is the kernel $\vert d_X - d_Y \vert^p$ conditionally negative definite?
Given two finite metric spaces $(X,d_X)$ and $(Y,d_Y)$, for $p > 0$, define the kernel ($4$-D tensor) $K$ on $(X \times Y)^2$ by:
$$K\big( (x_i, y_k), (x_j, y_l) \big) = \vert d_X(x_i, x_j) - d_Y(...
- 111
0
votes
0
answers
109
views
The non empty set of accumulation points of a bounded linear operator is the spectrum of another operator
Let $X$ be an infinite dimensional Banach space, and let $T \in L(X)$ such that the set of accumulation points of $T$ is non empty, i-e $\mbox{acc}\,\sigma(T)\neq 0.$\
Is there a Banach space $Y$ ...
- 1
0
votes
0
answers
129
views
Bounding trace operator from below
In a paper, I've read the following thing. Here $\Omega$ is a smooth domain
From the standard trace theorem we know there exists a bounded linear operator $$\gamma: H^1(\Omega) \rightarrow H^{\frac{1}...
- 111
0
votes
0
answers
140
views
Space derivative of Brownian local time
Let $\{L_x(t):(t,x)\in [0,T]\times\mathbb R\}$ be the local time of a Brownian motion $(B_t)_{t\in [0,T]}$, I know that the map $x\mapsto L_x(t)$ is $\alpha$-Hölder for $\alpha<1/2$ (uniformly in ...
- 515
0
votes
0
answers
72
views
Does $L^{\infty}[0,1]$ admits infinitely many densely defined derivations in weak* topology?
To clarify the question. First we define what is densely defined derivation. A densely defined derivation $\delta:D(\delta):\rightarrow L^{\infty}[0,1]$ where $D(\delta)$ is a dense subalgebra( in ...
- 523
0
votes
0
answers
96
views
Books on limiting properties of matrices with growing size
This question has been posted on Math-Se previously.
I am studying asymptotic properties of the Projection Matrix
$$
H_n=X'(X'X)^{-1}X
$$
By the Gerschgorin disc theorem, the bounds on the ...
- 101
0
votes
1
answer
431
views
Approximation of the product $(\bar{z} - a)^{-1} \cdot (z - b)^{-1}$
$\def\zbar{\smash{\overline z}\vphantom z}$I would like to construct an approximation of the product
\begin{equation}
f(z) = \frac{1}{\zbar-a} \frac{1}{z-b},
\end{equation}
where $a, b \in \mathbb{C}$,...
- 11
0
votes
0
answers
197
views
Link between a categorical and an algebraic characterization of (infinite-dimensional) Hilbert space
On one side, a very recent paper of Chris Heunen and Andre Kornell "Axioms for the category of Hilbert spaces" (Arxiv:2109.7418v1 latest Arxiv version) offers a characterization of the ...
- 2,655
0
votes
0
answers
85
views
How can we define $\chi_{\Omega}(A)$?
I was reading Spectrum and dynamics where Paolo Facchi discusses projection-valued measures and integrals. The discussion and constructions are all based on the fact that one can define characteristic ...
- 1,305
0
votes
0
answers
95
views
Empirical estimation of Brenier map from data
Let $f:\mathbb R^d \to \mathbb R$ be a "nice" (say, continuous) function define $A = A_f := \{x \in \mathbb R^d \mid f(x) \ge 0\}$ and $B =B_f:= \{x \in \mathbb R^d \mid f(x) \le 0\}$, and ...
- 6,853
0
votes
0
answers
114
views
Analysis, matrix exponential, infimum and limit
I was working in this problem for a long time and I didn't have success.
Someone could help me, please?
The problem:
Let $f: \mathbb{R}^{n^2} \times \mathbb{Z}^{n} \longrightarrow \mathbb{R}$ defined ...
0
votes
0
answers
85
views
An amenable operator algebra has the total reduction property
This is from
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CB20539885C03522D141C34024707702/S1446788700014026a.pdf/div-class-title-operator-algebras-with-a-reduction-property-...
- 101
0
votes
0
answers
109
views
Operator algebra on an invariant subset
In Rickart, page 50 Theorem 2.2.1, the statement is made: A linear subspace $\mathfrak{M}$ of the algebra $\mathfrak{A}-\mathfrak{L}$ is invariant with respect to the representation $a{\rightarrow}A_a^...
- 109
0
votes
0
answers
291
views
Operator norm on tensor product of trace classes is multiplicative
Given Hilbert spaces $\mathcal H_1,\mathcal H_2,\mathcal K_1,\mathcal K_2$ and bounded linear maps $S_i:\mathcal B^1(\mathcal H_i)\to\mathcal B^1(\mathcal K_i)$, $i=1,2$ between the respective trace ...
0
votes
0
answers
48
views
Surjectivity of the limiting operator
Consider the operator
\begin{eqnarray*}
K_{n} &:&L^{2}(0,1)\longrightarrow L^{2}(0,1)^{n}, \\
u(x) &\mapsto &A_{n}U_{n}(x)=A_{n}(u(\frac{x}{n}),u(\frac{x+1}{n}),...,u(%
\frac{x+n-1}{n})...
- 617
0
votes
0
answers
101
views
Are there any known results for the spectrum of $(-\Delta)^s/V^{p-1}$?
I am interested in generalizing some results known for the $\frac{-\Delta}{U^{p-1}}$ where $U$ is a Talenti bubble to the non-local operator $\frac{(-\Delta)^s}{V^{p-1}}$ where $U$ and $V$ are bubbles ...
- 537
0
votes
0
answers
95
views
A property of the Hilbert transform involving the cotangent function
A lemma of a paper by T. Elgindi and I.-J. Jeong (Arch. Rational Mech. Anal. 235 (2020) 1763–1817, Lemma 2.2) states the following:
Let $g(z)=\operatorname{sgn}(z)k(|z|^\alpha)$ with $k$ smooth and $k(...
0
votes
0
answers
171
views
Is $\ell_2$ is isomorphic to a subspace of $L_\infty(0,1)$?
I know that $\ell_2$ is isomorphic to a subspace of $L_p(0,1)$ for any $1\le p<\infty$. However, I haven't seen anything about $L_\infty$. Is $\ell_2$ is isomorphic to a subspace of $L_\infty(0,1)$?...
- 617
0
votes
0
answers
79
views
Compact operators and projective tensor space
I know that the space of all the bounded linear maps between two Banach spaces, denoted by $L(X,Y)$, has a relationship with the projective tensor space of $X$ and $Y$,
$$({X \widehat\otimes_{\pi} Y})...
- 11
0
votes
0
answers
72
views
Di Perna-Lions theory for transport equations with an additional integral operator
I'm looking for a reference about some possible generalization of the well-known Di Perna-Lions theory for transport equations (say, on $[0,T] \times \mathbb{R}^d$) of the form
\begin{align}
\...
- 161
0
votes
0
answers
161
views
When does a positive operator preserve invertibility
Let $\Omega_1,\Omega_2$ be compact Hausdorff spaces and let $P:C(\Omega_1)\longrightarrow C(\Omega_2)$ be a unital positive operator. I wanted to know if there is a necessary and sufficient condition ...
- 175
0
votes
0
answers
120
views
Are bounded maps determined by their images on the algebraic tensor product?
Let $\mathcal A,\mathcal B,\mathcal C$ be von Neumann algebras. Let $F:\mathcal A\otimes\mathcal B\to\mathcal C$ be a bounded linear map. Assume $F(a\otimes b)=0$ for all $a,b\in\mathcal A,\mathcal B$....
- 896
0
votes
0
answers
106
views
Extension of a Hilbert basis
The picture below is taken from this paper: http://real.mtak.hu/22877/.
The authors claim that the basis of $H^2(\Omega) \cap H^1(\Omega)$ denoted by $\lbrace w_i \rbrace _{i \geq 1}$ can be extended ...
- 617
0
votes
0
answers
154
views
When is the heat semigroup Gibbs?
Defining the Laplacian on a region $Ω$ of $\mathbb{R}^d$ with Dirichlet boundary conditions, under what conditions on the region (or any other possible assumptions) is the semigroup it generates Gibbs,...
0
votes
0
answers
67
views
Dual of isometric copies into dual Banach spaces
Let $X$ be a Banach space and $X_1\xrightarrow{}X$ isometrically. Under some assumption can we guarantee that $X^*$ contains an isometric copy of $X_1^*$. I am also interested to know if this happens ...
- 1,879
0
votes
0
answers
129
views
Certain decompositions of decomposable Banach spaces
Let $\mathcal{X}$ be a decomposable Banach space (i.e. a topological direct sum of infinite-dimensional subspaces, say $\mathcal{X}=\mathcal{A}\oplus\mathcal{B}$). Can one always obtain another ...
- 1,453