All Questions
9,780 questions
7
votes
0
answers
266
views
Problem with Shelah and Stern's paper on the Hanf number of the theory of Banach spaces
I have been trying to understand "The Hanf number of the first order theory of Banach spaces" by Shelah and Stern (Trans. AMS 244 (1978) 147-241). They construct a normed space $M$ from a Hilbert ...
- 879
0
votes
1
answer
340
views
Reference for spectral theory of group of linear operators
It is not hard to find the spectral theory of a single unitary operator $U$. This is the spectral theory for a $\mathbb{Z}$-action because we consider $U^n$ for $n\in\mathbb{Z}$. This is clear with ...
- 163
2
votes
0
answers
105
views
Fourier multiplier with a singularity on a convex curve
Let $h$ be a strictly convex function such that $h(0) = h'(0)=0$. Let $\Phi: \mathbb{R}^2 \to \mathbb{R}$ be a $C^{\infty}$-function with compact support (say, $\Phi$ is supported on $[-1,1]\times[-1,...
2
votes
0
answers
122
views
A parametrix for the $\bar\partial$ operator adapted to a holomorphic foliation
Let $X$ be a compact complex manifold with (regular) holomorphic foliation given by a holomorphic subbundle $\mathcal F$ of the tangent bundle. The foliation induces a filtration on differential forms....
- 51
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 ...
- 13
0
votes
0
answers
186
views
Properties of Eigenfunctions of a Kernel
I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple and provide me some references.
I've and Kernel function $K(x,y)$
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$...
- 17
2
votes
0
answers
202
views
Frames and reproducing kernels
Hello MathOverFlow
I have some questions about frames and reproducing kernels and here they are:
For a Hilbert space $H$ spanned by a frame $\lbrace f_n \rbrace$ there exists a reproducing kernel $K(...
- 21
1
vote
0
answers
91
views
Bound for $\Vert g\Vert_r$ when $ \Vert g-f\Vert_2<\varepsilon$
Let $f\in L^2(\mathbb{R}^n)$, $\varepsilon>0$ and $r\in[1,2)$. Define
$$ L_{r,\epsilon}:=\inf{\{\Vert g\Vert_r}:g\in L^1(\mathbb{R}^n)\cap L^2(\mathbb{R}^n),\, \Vert g-f\Vert_2<\varepsilon\}$$
...
- 21
0
votes
0
answers
388
views
Global index of convexity/concavity of a function
We are looking for a global index of the convexity/concavity of a function.
For concreteness, how can I formalize the intuitive notion that a function $f$ is more convex than $g$ where $f,g:[0,1]\...
- 111
1
vote
0
answers
92
views
Scattering solutions for $L_2$ potentials
Consider the equation
$$
Lu = -\Delta u+v(x)u = Eu, \tag{1}
$$
where $x = (x_1,x_2) \in \mathbb R^2$, $v \in L_2(\mathbb R^2)$, $E>0$. Is it known that for almost any $E>0$ and for any fixed $...
- 1,329
3
votes
0
answers
145
views
Growth of inner functions on the disk
Recall that an inner function on the disk $D$ is a bounded analytic function on $D$ having radial limits of modulus one almost everywhere.
There has been many works on the growth of the inner ...
- 769
1
vote
0
answers
123
views
Checking initial condition of PDE is satisfied in Galerkin method
I asked this question here: https://math.stackexchange.com/questions/416885/checking-initial-condition-of-pde-is-satisfied-in-galerkin-method
But I did not receive the solution so I post it here.
...
- 21
5
votes
0
answers
616
views
Lebesgue measure on Frechet space?
It is well known that there are no Lebesgue measures on infinite-dimensional Banach spaces (see e.g. http://en.wikipedia.org/wiki/There_is_no_infinite-dimensional_Lebesgue_measure). However, I couldn'...
- 1,368
1
vote
0
answers
74
views
Closed for the motion of an interacting particle system
I am dealing with interacting particle systems approximately in the sense of http://www.math.vu.nl/~rmeester/onderwijs/Interacting_Particle_Systems/liggett.pdf p. 5 except I am reading a book by the ...
- 277
1
vote
0
answers
83
views
Topologies on spaces of linear sections
Let $X$ and $Y$ be topological linear spaces which are complete & Hausdorff, and admit dual spaces which separate points. Suppose the topologies are non-separable and non-metrizable.
Let $f : X \...
- 8,512
4
votes
0
answers
158
views
Does this construction yield an injective hull ?
Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
- 7,249
0
votes
1
answer
156
views
Does homeomorphism preserves the family of cones?
Let me state my problem. Suppose we have a ball $B$ in standard $\mathbb{R}^3$, that is a $\varepsilon$-neighbourhood of $0$ point. Suppose we have a family of cones $X_C = \lbrace C > 0 \vert x^2 +...
- 165
0
votes
0
answers
113
views
Reference Search for a Functional Minimization Problem
Let $u(x) \ge 0$ be a non-negative, piecewise-differentiable function on the real line. Moreover, let $u(x)$ be integrable with fixed positive mass, that is
$$M \equiv\int_{x=-\infty}^\infty u(x) ~ ...
- 151
1
vote
0
answers
477
views
A norm ratio inequality
Let $y,z\in(0,1)^n$ satisfy $||y||_1 = ||z||_1=1$.
Then
$$
\frac{||z||_3}{||z||_2} \le
K_n
||z/y||_\infty
\frac{||y||_3}{||y||_2}
$$
where $z/y\in\mathbb R^n$ is the coordinate-wise quotient of $z$ ...
- 6,541
0
votes
0
answers
100
views
Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$
Let ${\mathcal S}'$ be the set of all distributions.
Denote by ${\mathcal P}$ the set of all polynomials,
which is embedded into ${\mathcal S}'$ as a closed subspace.
Equip ${\mathcal S'}/{\mathcal P}$...
3
votes
0
answers
163
views
Isometric automorphism of $c_0$ different than coordinate permutation
Does there exist an isometric automorphism of $c_0$ which is not a permutation of coordinates?
- 311
2
votes
0
answers
86
views
Terminology and reference question
I am working on a problem involving bilinear forms over complex Hilbert spaces, and in my case it is not natural to make the forms sesquilinear, i.e., $a(u,v)$ is linear in both complex arguments. ...
- 143
1
vote
1
answer
312
views
Invertibility of frame/sampling operator on Bargmann-Fock spaces
Let $F_\alpha ^p (\mathbb{C}^n)$ for $1 < p < \infty$ and $\alpha > 0$ be the Bargmann-Fock space defined as the Banach space of entire functions $f$ such that $f(\cdot) e^{- \frac{\alpha}{2} ...
1
vote
2
answers
177
views
Restriction on the coefficients for an operator in the free group factor $ L(\mathbb{F}_2) $
Let $\mathbb{F}_2$ denotes the free group generated by a,b, denote this group by $G$. Then consider the von Neumann algebra $L(G)$ generated by the family
$\{L_{x_g} : g \in G\}$, here, with $g \in G$...
- 1,528
3
votes
1
answer
914
views
Range of a Certain Linear Operator
Consider the following hermitian form on the sobolev space H^1(I), of an interval I:
g(u,v):= \int_I (du/dt dv/dt - \rho(t) u v)dt, where \rho is a nice bounded function on I.
Riesz representation ...
- 31
1
vote
1
answer
244
views
Oscillatory integral decay & sublevel set growth
I am trying to understand how estimates on sublevel integrals imply estimates on oscillatory integrals. Specifically in this article by M. Greenblatt it says on page 7:
By well-known methods ...
- 93
1
vote
1
answer
142
views
Linear Maps between $L^1$-spaces of singular measures
I posted the following question also here, but thought that I can get more answers in MO.
Let $(\Omega,\Sigma)$ be a measurable space and $\nu_1$, $\nu_2$ two probability measures on it. For $i=1,2$, ...
- 13
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 1
1
vote
2
answers
139
views
Given f(t) = \sum_k C_k exp(2 pi i w_k t ) + noise. Need to estimate C_k and w_k .
Simpliefied setup.
Assume I am given some function f(t).
I know that it is constructed as $f(t) = \sum_{k=1...M} C_k exp(2 \pi~ i~ w_k t ) + noise(t)$.
where $noise(t)$ is some random set of numbers ...
- 24.9k
2
votes
0
answers
176
views
Banach Algebras and the peripheral spectrum
Here is a little theorem that I'm trying to prove. I haven't seen it in literature before, but I think the applications will be quite useful, particularly in the context of Banach algebras.
Denote ...
- 21
3
votes
1
answer
362
views
Cartesian product of test function spaces
Mini introduction
Suppose $U \subset \mathbb R^n, V \subset \mathbb R^m$ are two open sets. If we take http://en.wikipedia.org/wiki/Distributions_space#Test_function_space">test functions $f_i \in \...
5
votes
1
answer
403
views
Local form of a real-analytic function taking values in a Banach space
Let $B$ be an infinite-dimensional Banach space, and let $M\subset\mathbb{R}^n$ be a neighborhood of the origin in $\mathbb{R}^n$.
Suppose that $I:M\to B$ is a real-analytic function with $I(0)=0$ ...
- 6,548
2
votes
0
answers
64
views
Almost-Monotone Kernels - Examples and/or Covering Theorems
I am looking for examples (or, if it exists, a theory) of almost-monotone kernels. First, a bit of notation.
Recall that if $(\leq, \Omega)$ is a partially ordered set, then the set of measures $\...
- 81
1
vote
0
answers
378
views
Adjoint operators in LCS
Before my main question let me start with the following notions.
Let $X$ and $Y$ be locally convex spaces and let $T \colon X \rightarrow Y$ be a linear mapping. The adjoint of $T$ is an operator
$T^...
- 145
4
votes
0
answers
109
views
How fast is discrete-time diffusion on a continuous set?
This question is inspired by Joseph O'Rourke's beautiful answer to my previous question.
Let $\mathbb{S}^{d\times n}$ denote the set of real $d\times n$ matrices whose columns have unit norm and sum ...
- 7,633
2
votes
1
answer
208
views
Is there an elementary proof for preserving inequalities under the change of l_p metrics?
Here is what I mean exactly:
Let $A=(a_1,a_2)$ and $B=(b_1,b_2)$ be two points in the real plane (for simplicity, but general finite dimensions would also be nice), and define the $\ell_p$-metric as ...
2
votes
2
answers
303
views
Characterisation of positive elements in l¹(Z)
Consider the Banach $^* $-algebra $\ell^1(\mathbb Z)$ with multiplication given by convolution and involution given by $a^*(n)=\overline{a(-n)}$.
I would like to find nice necessary and sufficient ...
- 3,184
5
votes
0
answers
157
views
Containment of an element to an operator system
This question will probably appeal to people in operator systems theory as it is very much related. However, I'm interested in down-to-earth concrete systems with finite dimensional Hilbert space ...
- 315
8
votes
0
answers
349
views
Finding a dimension-free bound for a certain multiplier on Euclidean space
The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
- 141
2
votes
0
answers
327
views
Generalizations of Kato-Rosenblum theorem?
The Kato-Rosenblum theorem says that if $H_0, H$ are self-adjoint operators on a Hilbert space such that the difference $H-H_0$ belongs to the trace class, then the strong limit of $\exp(itH)\exp(-...
- 21
2
votes
1
answer
272
views
Contractions and spaces
Suppose $X$ is a closed subspace of an $L^{1}$-space and $X$ is isometric to another $L^{1}$-space. Then we know that $X$ is in the range of a contractive projection on the $L^{1}$-space. Is there any ...
- 95
1
vote
0
answers
369
views
Infinite internal direct sums of subspaces
Given a compact Hausdorff space $K$ such that $C(K)$ is of density $\omega_1$. Suppose that every copy of $c_0(\omega_1)$ in $C(K)$ is complemented. Let $\{Y_\alpha\colon\alpha<\omega_1\}$ be a ...
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?
- 71
2
votes
1
answer
412
views
General Sobolev Inequalities
In Partial Differential Equation by Lawerence Evan p284 there is this theorem stated:
Let $U$ be a bounded open subset of $\mathbb{R}^n$ with $C^1$ boundary. Suppose $u\in W^{k,p}$ then if $k>n/p$ ...
- 3,217
1
vote
1
answer
275
views
Shift operator that generates separable orbit
Suppose, that $f$ is bounded measurable function, $T_h(f)(x) = f(x+h)$ is the shift operator.
How to prove, that if the whole orbit $T_h(f):\, h\in\mathbb{R}$ has a dense, countable subset $T_{n_k}(f)$...
- 696
2
votes
1
answer
373
views
Strong measurability reference
I'm reading a book on Lyapunov Exponents by Lian and Lu in which they refer to strong measurability of operator-valued maps. They define this by saying an operator valued map $T:\Omega\to L(X,X)$ is ...
- 23.2k
3
votes
0
answers
385
views
Off-diagonal asymptotic expansion of the Bergman kernel on hyperbolic Riemann surfaces
Let $X$ be a compact Riemann surface of genus at least 2. Let $K$ denote the canonical line bundle, and $E$ be any vector bundle. Let $P^{(m)}$ be the projection map from the space $L^2(X,K^mE)$ of ...
user2529
2
votes
0
answers
242
views
Core of divergence form operator with unbounded coefficient
Consider the unbounded operator $L$ on $L^2(\mathbb{R^d})$ to be the self-adjoint extension of
$$Lf := \nabla \cdot \left(a(x) \nabla f(x) \right)$$ on $C^2_c(\mathbb{R^d})$.
I also assume that $a(x)...
- 617
1
vote
0
answers
460
views
Topology for test functions [closed]
One naive way to define a topology on test functions ${\mathcal D}(\Omega)$ would be to exhaust $\Omega$ by compacts $(K_n)$ and to take the metric induced by the semi-norm system
$$
{\| f \|} _ {n} :=...
- 53
0
votes
1
answer
384
views
spectral measure
how to calculate spectral measure for a given normal operator for example right shift operator?
- 1