All Questions
13,927 questions
0
votes
0
answers
105
views
About the definition of lineal convexity
I have been trying to understand the definition of lineal convexity. I am reading the article Duality of functions defined in lineally convex sets by Christer O. Kiselman. For a set $A\subset \mathbb{...
- 31
0
votes
0
answers
168
views
Creation and Annihilation operators in QFT - Part II
Following some suggestions on my previous posts, I'm trying to reformulate my question in a more specific way. This is a continuation of my original post. Since the mentioned post, I think I've ...
- 3,535
0
votes
0
answers
174
views
Problem of Thickening an Arc in a Topological $ 2 $-Manifold
Let $ M $ be a topological $ 2 $-manifold (possibly with boundary), $ C $ an arc in the interior of $ M $ (i.e., an injective continuous function from $ [- 1,1] $ into $ \operatorname{Int}(M) $), and $...
- 1,396
0
votes
0
answers
63
views
Double commutant theorem when $C^*$-subalgebra does not contain identity operator $1$
Double commutant theorem: For a unital $C^*$-subalgebra $M \subset B(H)$, one has
$$\smash{\overline M}^\text{SOT}=\smash{\overline M}^\text{WOT}=M''.$$
My question:
For a $C^*$-subalgebra $M \subset ...
- 823
0
votes
0
answers
45
views
Critical Growth of Dimension for Dense Cover by Linear Subspaces
Let $X$ be a separable Banach space of dimensional $>2$. When does there exist a sequence positive integers $\{N_n\}_{n \in \mathbb{n}}$ such that
For any sequence of distinct finite-dimensional ...
- 5,405
0
votes
0
answers
90
views
Differential equation
Consider $u = u(\phi,\psi)$ where $\phi = \phi(x)$ and $\psi =\psi(x)$ are both analytic function. The following equation
$$\partial_x u - u\partial_x (\phi-\psi)=0$$
has a trivial solution $u(\phi,\...
0
votes
0
answers
107
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
- 101
0
votes
0
answers
107
views
Open subset of compact-open topology
Let $E$ be a Banach space, $X$ a locally-compact metric space, equip $C(X,E)$ with the compact-open topology. Let $F:E \rightarrow E$ and consider the induced map $F_{\star}(f):=F \circ f$ on $C(X,E)$...
- 5,405
0
votes
0
answers
113
views
Viewing limit as a map
Question: Let $X$ be a set of functions from $\mathbb{R}$ to itself. Consider the subset $X_0$ of the sequences $(f_n)_{n=1}^{\infty}\in X^{\mathbb{N}}$ for which
$$
f_{\infty}(x) = \lim\limits_{n \...
- 5,405
0
votes
0
answers
255
views
The limit of the operator norm in a Hilbert space
I am not familiar with functional analysis. Could you tell me please, how to prove the following statement (if it is true)?
$$
\lim_\limits{M \to \infty} \|T_A - T_b \| = 0,
$$
here operator norm ...
- 335
0
votes
0
answers
102
views
Can a quotient space of a locally convex space have finer topology that its domain?
The following is related to this post.
Let $X=X'$, as sets, and let $T:X \rightarrow X'$ be a surjective map from a countably infinite-dimensional LCS $X$ to itself and equip $X'$ with the final ...
- 5,405
0
votes
0
answers
60
views
The scalar convergence in $\mathcal{C}(X)$ is topologizable?
Let $(X,\|.\|)$ be a separable Banach space and $\mathcal{C}(X)$ be the collection of all nonempty, closed and convex subsets of $X$. For any $C$ in $\mathcal{C}(X)$ we set
$$
s(x^*, C) := \sup_{x\in ...
- 115
0
votes
0
answers
47
views
An algebraic property that makes a per-C*-algebra complete
Let $A$ be a normed *-algebra with $\|x^*x\|=\|x\|^2$. Suppose that for every subset S of A, the left annihilator
${\displaystyle \mathrm {Ann} _{L}(S)=\{a\in A\mid \forall s\in S,as=0\}\,}$
is ...
- 4,058
0
votes
0
answers
161
views
When linear strongly elliptic operators are invertible?
I am studying Pazy's book "Semigroups of Linear Operators and Applications to Partial Differential Equations" and when considering an operator like:
A linear differential operator, $$A : W^{...
- 1,774
0
votes
0
answers
52
views
Does the following operator have a unique fixed function? Do iterations of the operator converge?
The functions considered are positive real for positive real $x$, and monotonically increasing to infinity. Given such a function $f(x)$, define the (nonlinear) operator $f\mapsto f^*$ by
$$
f^*(x) := ...
- 211
0
votes
0
answers
76
views
Constructing a small Radon-Nikodym derivative
Let $u:\mathbb{R}^n\to\mathbb{R}^n$ be a $C^1$ function. Is it possible to (explicitly construction) a function $h$ such that:
$0<h(x)$.
$\int_{x \in \mathbb{R}^n} |h(x)|<\infty$,
$\sup_{x \in ...
- 5,405
0
votes
0
answers
67
views
Convergence as measure vs in $H^{-2}$
Let the domain be the two dimensional torus $\mathbb{T}$, and let $f_n $ be a sequence bounded in $H^1$, such that $\sup_n |f_n|\le 1$, and $f_n \to f$ weakly in $H^1$. Let $u_n = f_n \frac{\partial ...
- 131
0
votes
0
answers
84
views
Can we extend a function from the diagonal matrices to an orthogonally-invariant function on $\text{GL}_n$?
This is a cross-post.
Let $g:(0,\infty)^n \to [0,\infty)$ be a symmetric function -i.e. $g(\sigma_1,\dots,\sigma_n)$ does not depend on the order of the $\sigma_i$, with $g(1,\dots,1)=0$.
We ...
- 6,741
0
votes
0
answers
61
views
Weak topology of Gaussian measures
Let us consider a space of Dirac measures $\delta_{x}$ on a Tychonoff space $X$. I know that this space is homeomorphic to $X$. A space of Gaussian measures (weak topology) on some loсally convex ...
- 11
0
votes
0
answers
42
views
How are the vector-valued trace and the unique linearization of $\mathfrak L(X,Y)\:\hat\otimes_π\:X→Y$ of $\mathfrak L(X,Y)×X→Y,\;(L,x)↦Lx$ related?
Let $X$ be a $\mathbb R$-Banach space and $X'\:\hat\otimes_\pi\:X$ denote the completion of the tensor product of $X'$ and $X$ with respect to the projective norm. The trace functional $\operatorname{...
- 167
0
votes
0
answers
142
views
Cardinality of the closure of subset of a dense subset
Is the following true? Given a first countable Hausdorff space $X$ and a dense subset $Y\subset X$ which is initially $2^\omega$-initially Lindelöf in $X$. Let $F$ be a subset of $Y$ such that $\vert ...
0
votes
0
answers
53
views
Separability of Minkowski Sum of well-behaved sets
Let $A$ and $C$ be non-empty simply connected and connected subsets of $\mathbb{R}^k$ and suppose that $C$ is convex. Then is the Minkowski sum $A+C$ separable?
- 5,405
0
votes
0
answers
68
views
Closed graph theorem for cones?
In the paper "A strong open mapping theorem for surjections from cones onto Banach spaces, Marcel de Jeu and Miek Masserschmidt, Adv. Math." it is proved (among other things) that if $X, Y$ are ...
0
votes
0
answers
253
views
Images of measurable function
My question is as follows. Consider an $L^\infty$ function $f:\mathbb{R}^n\times\mathbb{R}^n\to\mathbb{R}^n$ such that, for almost all $y$, the function $f({\cdot}, y)$ is continuous.
$\...
- 1
0
votes
0
answers
104
views
Locally connectedness and accessibility in $\mathbb{C}$
Suppose $\Omega$ to be a bounded area in the complex plane $\mathbb{C}$ with a locally connected boundary $\partial\Omega$, then every point of $\partial\Omega$ is accessible from Ω.Here accessibility ...
- 101
0
votes
0
answers
63
views
The eigenvalue of Schrodinger opeartor
Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^n$, consider $L=\Delta+V$ where $\Delta=div\nabla$. According to section 8.12 in Gilbarg and Trudinger's book, if $V\in L^\infty(\Omega)$, then ...
- 101
0
votes
0
answers
154
views
Use of this space of very rapidly decreasing continuous functions
Let $C_n$ denote the subspace of continuous function on $[0,\infty)$ supported on $[n,n+1]$. Denote the $\ell^p$-direct sum Banach space
$$
V_p
:=
\left\{
f \in C([0,\infty)):\,
\sum_{n=1}^{\infty} ...
- 5,405
0
votes
1
answer
100
views
What is the definition of a prorelation?
In the context of quasi-uniform spaces, what is a prorelation?
In the text I'm reading, they're defined as a down-directed upper set on relations X->Y.
Now, I'm fine with a down-directed up-set, but ...
- 1
0
votes
0
answers
132
views
Spectral Theorem for compact self-adjoint operators on real Hilbert spaces [duplicate]
Is the spectral theorem for self-adjoint compact operators on a Hilbert space also true if the Hilbert space is real (instead of complex)?
Wikipedia says this is true.
However, it seems to me that ...
- 253
0
votes
0
answers
55
views
Dense stratification of a separable Hilbert space
Let $\{X_i\}_{i \in \mathbb{N}} $ be a sequence of $n$-dimensional linear subspaces of the separable Hilbert space $H$ and let $\{\phi_i\}_{i \in I}$ be a sequence of continuous injective linear maps ...
- 5,405
0
votes
0
answers
116
views
Finding a square integrable dominating function for function class
problem statement
For any $x \in R^d$, consider the function $$\phi(x,a) = \min_{1\leq j \leq k} \|x-a_j\|^2,$$
where $a = (a_1, \dots, a_k) \in R^{kd}$ and $\| \cdot \|$ is the $L_p$ norm for any $p ...
- 11
0
votes
0
answers
57
views
Non-uniqueness of (Galerkin) approximations and convergent subsequences without the axiom of choice?
Suppose I have an equation in some reflexive separable Banach space $X$:
$$Au=f$$
for given data $f \in X^*$ and $A\colon X \to X^*$ a pseudo-monotone operator. Existence can be proved via Galerkin ...
- 107
0
votes
0
answers
254
views
The set of all functions which vanish at infinity is a subset of the set of all functions which have vanishing variation
Let $X$ be a coarse space, we define the following:
$D_b(X)$ is the set of all bounded functions $f:X\rightarrow \mathbb{C}$
$f\in $$D_b(X)$ is said to vanish at infinity if for each $\varepsilon$>0 ...
- 313
0
votes
0
answers
66
views
Generalized compact open topology?
Let $X,Y$ be topological spaces. The compact-open topology on $C(X,Y)$ is generated by the sub-basic open sets
$$
\left\{U_{K,O}: \mbox{ K is compact in X and O is open in Y}\right\}\\
U_{K,O}:=\...
- 5,405
0
votes
0
answers
153
views
Representations of Banach algebras
If $A$ is a Banach algebra and $L$ a left ideal of $A$, consider the representation $T_{L}$ of $A$ into the algebra $B(A/L)$ of bounded linear operators on the quotient space $A/L$ defined by $T_{L}(a)...
0
votes
0
answers
94
views
A characterization for a topological property
Let $X$ be a compact non-Hausdorff topological space. I am looking for a characterization for the following property on $X$:
Property: For each non-empty closed subset $C$ of $X$ there exists a ...
0
votes
0
answers
46
views
Show that $\big(s(. |C_n)\big)_n$ is equicontinuous on $X^*$
Let $(X,\|.\|)$ be a separable Banach space with dual $X^*$. $\mathcal{P}_{wkc}(X)$ be the class of nonempty, weakly-compact and convex subsets of $X$. For any $C\in\mathcal{P}_{wkc}(X)$ we define ...
- 1
0
votes
0
answers
97
views
Uniform bound on $\lVert \chi_{\{u_n=0\}}\rVert_{W^{s,p}(\Omega)}$ for a bounded sequence $u_n$ in $H^1_0(\Omega)$?
Suppose I have a sequence $u_n \to u$ in $H^1_0(\Omega)$ on a smooth and bounded domain. For some $p>1$ and $s \in (0,\frac 12)$, is it possible to estimate the norm of the characteristic function ...
0
votes
0
answers
66
views
Coincidence Topologies for $L^p$ spaces
If $X$ and $Y$ are compact metric spaces then it is well-known that the compact-open topology on $C(X,Y)$ coincides with the topology of uniform convergence on compacts. Therefore, the latter is ...
- 5,405
0
votes
0
answers
142
views
Mackey topology
Recall that for a Hausdorff locally convex space $X$ the Mackey topology $\tau (X^*,X)$ is the topology in its topological dual $X^*$ of uniform convergence on all weakly compact absolutely convex ...
- 1
0
votes
0
answers
99
views
Link between eigenvalues of a symmetric matrix and a functional space
Let $f_1,\dots,f_n \in L^2(\mathbb{R},\mathbb{R})$ be $n$ mutually orthogonal functions with $\int f^2_i =1$ such that $|\{x \in \mathbb{R} | f_i(x) = 0\}| = 0$ for any $i \in \{1, \dots,n\}$. Does ...
- 31
0
votes
0
answers
86
views
Let $f$ be periodic with a continuous image and $a_n = cn$ for some $c > 0$. When is $\{f(a_n)\}$ dense in the image of $f$?
Let $f:\mathbb{R}\to\mathbb{R}$ be a periodic function with period $T$ and continuous everywhere except perhaps on a countable set, and have an image that's an uncountable subset of $\mathbb{R}$. Let $...
- 277
0
votes
0
answers
85
views
Sine-Gordon transformation and functional integrals
In the past months, I've been trying to understand the so-called Sine-Gordon transformation, so I've posted some questions here about this topic. I also did an extensive research about this subject, ...
- 3,535
0
votes
0
answers
145
views
“Chapman-Kolmogorov”-convolution vs. smoothness
Let $K:\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ be a so-called "integral-kernel": we certainly require $K(x,.)$ and $K(.,y)$ to be Lebesgue measurable for almost all $x,y \in \mathbb{R}^n$. An ...
- 1,461
0
votes
0
answers
135
views
Reference for discrete Laplacian on $\mathbb{Z}$
For $x\in \mathbb{R}^\mathbb{Z}$, let the discrete Laplacian be defined as
\begin{align*}
(\Delta x)_k = 2x_k-x_{k+1}-x_{k-1}.
\end{align*}
I am looking for good references about its spectrum (or ...
0
votes
1
answer
546
views
Orlicz–Sobolev spaces
Let $A$ be an N-function and suppose that
$$\int^{+\infty}_1\frac{A^{-1}(\tau)}{\tau^{1+\frac{1}{n}}}d\tau=+\infty. $$
We denote by $\widehat{A}$ an N-function equal to $A$ near infinity and $\widehat{...
0
votes
0
answers
162
views
A ``1-soft'' improvement of the Parovichenko theorem
This is a ``1-soft'' modification of this problem. We start with the necessary definitions.
Definition 1. A compactification $c\mathbb N$ of the discrete space $\mathbb N$ is called 1-soft if for any ...
- 41.9k
0
votes
1
answer
126
views
Tauberian operators
Let $X$ be a Banach space non reflexive and $T$ from $l_2(X)$ to $l_2(X)$ a bounded operator defined by:
$$T(x_n )=\frac{x_n }{n}.$$
We know that :
$$T^{**-1}(l_2(X))=\{x_n^{**} \in l_2(X^{**}) : \...
0
votes
0
answers
147
views
Approximation of Inductive Tensor Product $C(X) \bar{\otimes} C(Y)$
The following question is from Banach Algebra Techniques in Operator Theory written by Ronald G. Douglas.
Assume both $X, Y$ are Banach spaces and $X \otimes Y$ is the algebraic tensor product. Let ${...
- 307
0
votes
0
answers
255
views
Span of a nonlinear function
Fix vectors $x,y\in\mathbb{R}^d$ and a smooth function $\phi:\mathbb{R}\rightarrow \mathbb{R}$. Define $\phi^d: \mathbb{R}^d \rightarrow \mathbb{R}^d$ as applying $\phi$ entrywise (i.e. $\phi^d(x_1, ...
- 159