All Questions
9,959 questions
0
votes
1
answer
722
views
Pointwise limit at Lebesgue's point
Dear MOs,
I am sorry if this problem is too elementary for someone. I just want to get confirmation.
Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
- 1,786
5
votes
0
answers
160
views
reference for perturbation of projection result
Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...
- 12.7k
4
votes
1
answer
521
views
Basic sequences in $\ell_p$
Let $p\in [1,\infty)\setminus\{2\}$. Suppose $(e_n)$ is a basic sequence in $\ell_p$ (or $L_p$) equivalent to the basis of $\ell_p$ ($L_p$). Is there a subsequence $(e_{n_k})$ such that $[e_{n_k}]$ is ...
- 31.5k
1
vote
1
answer
496
views
Convergence of Difference Quotients
Let $\gamma_{\varepsilon} \rightharpoonup \gamma$ in $W^{1,\infty}(0,1)$. Then for any fixed $s \in \mathbb (0,1)$ does the limit $\lim_{\varepsilon \rightarrow 0} \frac{\gamma_{\varepsilon}(s\...
- 52.3k
4
votes
1
answer
471
views
Ask for theory about the weighted L^2(R^d) space.
Dear MOs,
I am now considering the following norm:
$$
||f||_{H}^2 := \iint f(x) H(x,y) f(y) d x d y\:.
$$
where the integral is over the whole space $R^{2d}$ and $H(x,y)$ is some non-negative ...
- 42.8k
2
votes
1
answer
763
views
Equicontinuity of continuous families of maps between topological vector spaces
Let $X$ and $Y$ be locally convex, Hausdorff topological vector spaces and let $[a,b] \subset \mathbb{R}$. Let $f: [a,b] \to \hom(X,Y)$ be continuous, where $\hom(X,Y)$ is the space of continuous ...
- 16.4k
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
CommunityBot
- 1
0
votes
1
answer
612
views
Calculating a distributional derivative
Suppose that we have a sequence of functions $u_j$ that are in $L^{\infty}(0,1)$. Then the sequence of maps $N_j(s) := \|u_j(s)\|^2$ are also in $L^{\infty}(0,1)$. Hence they give rise to ...
- 34.7k
2
votes
1
answer
303
views
Proper sobolev spaces invariant under no-linearities
Let $f:H^s\to H^s$ at least continuous and not necesarily linear. Is there some kind of criterion or condition over $f$ that lets to ensure that $f({H^{s+k}})\subseteq H^{s+k}$?
CommunityBot
- 1
1
vote
1
answer
1k
views
Some Functional Analysis Questions (Laplace Operator And Fourier Transform)
Given a set of the k first eigenvalues $ (\lambda_i)_ 1 ^k $ of some operator , and a set of the first k orthomormal eigenfunctions for these eigenvalues : $ ( \phi_i ) $ .
Define: $ \Phi(x,y) = \...
- 342
-1
votes
2
answers
407
views
Almost isometric subspaces of $\ell_p$
1) Given $p\in (1,\infty)$.
2) Let us fix two, non-isometric subspaces $X,Y\subseteq \ell_p$ isomorphic to $\ell_p$.
3) Are there an $\varepsilon\in (0,1)$ and an isomorphism $S\colon X\to Y$ such ...
- 31.5k
2
votes
2
answers
1k
views
Existence of power series expansion for implicitly defined function
I am trying to solve the following implicit equation for $g(x)$.
$F[ g(x) ] = y(x)$
For simplicity assume that $F$, $g$ and $y$ all map $\mathbb{R} \to \mathbb{R}$. It is known that, for every $x$ ...
- 351
2
votes
1
answer
695
views
Is the F.T of $\operatorname{Span}(\mathscr S(\mathbb R^2)\otimes\mathscr D(D))$, $D\subset\mathbb R^2$ dense in $L^2(\mathbb R^4)$?
Let $K$ be the real vector space generated by elements $f$ in $\mathscr S(\mathbb R^2,\mathbb R)\otimes\mathscr D(D, \mathbb R)$, where $D$ is any bounded subset of $\mathbb R^2$. Let $\hat K$ be the ...
CommunityBot
- 1
5
votes
1
answer
526
views
A fact about finite-dimensional manifolds I fear does not hold for Frechet manifolds (what's new?)
Let $M$ be a manifold equipped with a pair of surjective submersions $N_1 \stackrel{p_1}{\leftarrow} M \stackrel{p_2}{\rightarrow} N_2$ where $dim N_1 = dim N_2 = n$. Then we can find, for any point $...
- 35.5k
4
votes
2
answers
2k
views
Sum of two essentially self-adjoint operators
Hi, I hope this question will make more sense than the one I posted yesterday.
I have two operators $p$ and $q$ which are essentially self-adjoint on a common domain $D$.
Now I define $A = c_1 p + ...
CommunityBot
- 1
3
votes
2
answers
2k
views
Sum of operator and adjoint operator
If I have an unbounded operator $A$ with domain $D$ on a hilbert space, I can define the sum of $A$ and its adjoint $A^\ast$ on $D$. I know that in general, $A + A^\ast$ will not be self-adjoint, ...
- 541
0
votes
1
answer
238
views
A property of a quasiperiodic function
Let F be a continuous periodic function on R^N. Let a,b be vectors in R^N. Also assume a is not parallel to b.
Does the limit of
$\varepsilon \int_0^{1/\varepsilon} F(as+b/\varepsilon) ds$
Exist ...
- 148k
5
votes
0
answers
569
views
Functional calculus for vector-valued holomorphic functions?
Good afternoon,
I would like to ask a question on the functional calculus of several commuting operators. If someone knows some good/standard references, could you please tell me about them.
Firstly,...
- 758
4
votes
1
answer
903
views
Separable $L_1$-predual
Some isometric preduals of $\ell_1$ are of the form $C_0(K)$ where $K$ is countable. I am wondering whether this is a general rule.
Question: Is there a measure $\mu$ and a (preferably separable) ...
- 31.5k
8
votes
0
answers
452
views
Preduals of $\ell_1$
The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices.
Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
- 191
0
votes
2
answers
1k
views
Weak versus strong convergence
This is my first time posting.
I am well aware that an $L^2$ weakly converging sequence is not convergent in the corresponding strong topology. However, my question is as follows, do the sequence of ...
- 44.4k
1
vote
0
answers
187
views
Injective modules over Fourier algebra
Is there any article on injective modules over Fourier Algebras?
Do we have anything about injectivity of $A(G)$ as a $A(G)$-bimodule?
- 25.8k
6
votes
0
answers
257
views
What is the intersection of the closures of left invertible operators and right invertible operators?
From Douglas Zare's answer (see Does $X$ embed in $Y$, and $Y$ embed in $X$, always imply that $X$ isomorphic onto $Y$?), one know that
$$ \overline{G_{l}(X,Y)} \bigcap \overline{G_{r}(X,Y) } = \...
CommunityBot
- 1
1
vote
0
answers
125
views
base change for distributions
For distributions on smooth manifolds one can consider the push-forward which is defined for proper maps, and the pull-back which is defined under certain condition on the wave front set see ...
- 2,649
0
votes
0
answers
227
views
Hermite function expansion
Let $f$ be a continuous function on $\mathbb{R}$ with compact support and unique maximum. Form the functions
$$
F_{n,k}(x)=f^n\left(x-\frac{k}{2^n}\right), k \in Z, n>0
$$
I am wondering if one ...
- 71
11
votes
1
answer
983
views
Applications of the "almost commuting" theorem of H. Lin
H. Lin proved that "almost commuting" hermitian matrices are "nearly commuting." To be more precise, Lin showed that given $\epsilon > 0$ there exists a $\delta > 0$ such that if $A, B \in M_N$ ...
- 1,759
1
vote
1
answer
767
views
Is the set of all probability measures weak* closed?
Let $(\Omega,\Sigma)$ be a measurable space. Denote by $ba(\Sigma)$ the set of all bounded and finitely additive measures on $(\Omega,\Sigma)$ (see http://en.wikipedia.org/wiki/Ba_space for a ...
- 41.1k
0
votes
1
answer
286
views
Irreducible subspaces of separable Hilbert space
A question about definition: Let $\mathcal{H}$ be a separable Hilbert space over $\mathbb{C}$, with $B(\mathcal{H})$ the bounded linear operators on it. What does it mean to have an irreducible ...
- 103
-2
votes
1
answer
295
views
When does the adjoint operator map closed convex subsets to closed convex subset?
Let $T:X\rightarrow Y$ be a linear continuous map between Banach spaces $X$ and $Y$ and denote by $T':Y'\rightarrow X'$ the norm adjoint of $T$. Let $M\subseteq U'$ be a subset of
the unit sphere $U'$ ...
- 42.8k
2
votes
1
answer
2k
views
Invariant functionals on C(R) and amenable groups
Since there seems to be no progress in this interesting question, I took the liberty to reformulate it in a way, that is easier to understand. Moreover, my answer shows that the question is related to ...
- 385
12
votes
3
answers
2k
views
To what extent is convexity a local property?
A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
- 265
2
votes
2
answers
422
views
non-Identity operator on a separable Hilbert space
Suppose $\mathcal{H}$ is a separable Hilbert space over $\mathbb{C}$ (countable dimensions) with inner product $\langle,\rangle$. Let $A$ be a bounded linear operator on $\mathcal{H}$, i.e, in $B(\...
- 161
18
votes
1
answer
996
views
Existance of certain almost invariant functions related to amenability and piece-wise transformations
We would like very much to know the answer to the following question:
Let $\|\cdot\|$ be any norm on $\mathbb{Z}^d$ and let $W(\mathbb{Z}^d)$ be the group of all bijections of $\mathbb{Z}^d$ such ...
- 4,705
2
votes
1
answer
213
views
Local convexity of C([a,b])
Let $C([a,b],\mathbb{R})$ denote the space of continuous functions from $[a,b]$ to the real numbers. For a function $f\in C([a,b],\mathbb{R})$ and $d\gt 0$, define
$$p_d(f) :=sup\{\lvert f(x)-f(y)\...
- 11.4k
0
votes
1
answer
220
views
Frames and completeness
Let $H$ be a separable Hilbert space.
A sequence $\{f_{n}\}$ is a frame for a separable Hilbert space $H$ if there exists $A,B>0$ such that for all $f$ in $H$
$$
A\|f\|^2 \leq \sum |\langle f, ...
- 17.6k
5
votes
2
answers
686
views
Bounded linear functionals and representations
Suppose that $A$ is a unital C$^*$-algebra and that $\varphi: A \to \mathbb{C}$ is a bounded linear functional. Then there exists a Hilbert space $H$, a representation $\pi: A \to B(H)$ and vectors $\...
- 42.8k
1
vote
0
answers
125
views
Isomorphisms of group extensions arising from antisymmetric forms
Let $V,W$ be topological vector spaces and fix continuous antisymmetric bilinear forms $\omega_1:V\times V\to \mathbb{R}$, $\omega_2:W\times W\to\mathbb{R}$. Since $\omega_1$ is a 2-cocycle (in fact ...
- 1,411
4
votes
0
answers
1k
views
The spectrum of a Markov Operator and Invariant Measures
Suppose I have a discrete-time Markov Chain (in an infinite dimensional state space $\Omega$) with Markov operator $P$, a linear operator on the space of bounded measurable functions on $\Omega$. (Or ...
- 509
2
votes
1
answer
452
views
What do we get from an euclidian affine structure ?
Imagine you investigate a set of objects $\mathcal{E}$, and you just realize this that $\mathcal{E}$ possesses an affine structure with respect to some real vector space $\mathcal{V}$ having a scalar ...
CommunityBot
- 1
1
vote
0
answers
465
views
Reference book for a stronger version of Goldstine theorem
Let me quote the proof of Goldstine theorem from wikipedia ( http://en.wikipedia.org/wiki/Goldstine_theorem ):
Given an $x^{**} \in B_{X^{**}}$, a tuple $(\phi_1, \dots, \phi_n)$ of linearly ...
- 311
1
vote
0
answers
119
views
Particular types of basis on a normed vector space of finite dimension
Is it true that on every normed vector space $V$ of dimension $n$ there exists a basis of norm $1$ vectors $v_i$, such that $\|\sum_{i=1}^n\epsilon_iv_i\|\geq 1$ for all possible combinations of $\...
- 31
0
votes
1
answer
2k
views
weak convergence in Sobolev spaces and pointwise convergence?
I encounter a problem when reading Struwe's book Variational Methods (4th ed). On page 38, it is assumed that
$\|u_m\|$ is a minimizing sequence for a functional $E$, i.e. $E(u_m)\rightharpoonup I$...
- 60.5k
8
votes
0
answers
1k
views
Strictly singular operators and their adjoints
This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing.
Let $X$ and $Y$ be infinite dimensional separable Banach ...
- 1,073
3
votes
1
answer
352
views
Integral Equation with "convolution"
I've got the following problem I'm working on which is related to some of my research:
Solve:
$f(x) = \int_{-\infty}^x G(x,y)f(y)f(x-y)dy$
for f, given $G$ which has whatever smoothness ...
- 1,687
4
votes
1
answer
1k
views
Sobolev-Slobodeckij spaces for p=infinity
For $1\leq p<\infty$ an approach to define fractional Sobolev spaces is by Sobolev-Slobodeckij spaces a generalisation of Hölder continuity. For example letting $U\subset\mathbb{R}^n$ then,
$
\...
- 60.5k
4
votes
1
answer
875
views
equality in noncommutative Hölder inequality
Let $1\leq p,q,r\leq \infty$ such that $\frac{1}{r}=\frac{1}{p}+\frac{1}{q}$. Let $S_p$ denote the Schatten space. For any $x\in S_p$ and any $y\in S_q$ we have
$$
||xy||_{S_r} \leq ||x||_{S_p}||y||_{...
- 60.5k
7
votes
0
answers
1k
views
Reference request: Arzela-Ascoli theorem for smooth Hölder norms
Could anyone suggest a textbook account of the Arzela-Ascoli theorem for $C^{k,\alpha}$ norms?
- 60.5k
11
votes
0
answers
601
views
High-dimensional geometry: Top-down Vs. Bottom-up
There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
CommunityBot
- 1
2
votes
2
answers
181
views
convergence of the coefficients of lacunary series
I just want to find some standard reference to the following result: let $(a_k)_k$ be the sequence of coefficients of a lacunary Fourier series which converges to an $L_1(T)$ function in the sense of ...
- 25.8k
1
vote
1
answer
190
views
cardinality of discontinuity curves of BV function
If the function $f:R\to R$ is of BV class then it has at most countably many discontinuity points (since it can be represented as a sum of two monotonic function).
I am interested to know whether the ...
- 236k