Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

2
votes
0answers
28 views

Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
-2
votes
0answers
42 views

The space $W = \{u \in L^2(0,T;V) : u_t \in L^2(0,T:V^*)\}$ without having identified $H$ and $H^*$

Let $V \subset H \subset V^*$ be a Gelfand triple with the Hilbert space $H$ identified with its dual space and $V$ a reflexive separable Banach space. Define $W = \{u \in L^2(0,T;V) : u_t \in ...
4
votes
2answers
195 views

Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...
1
vote
0answers
83 views

Reference request: functional analysis results used in Taubes paper (1980)

I'm studying Taubes paper 'Arbitrary N-vortex solutions to the first order Ginzburg-Landau equations'. I'm looking for a reference of three following theorems: Let $f(x)$ be a convex funtional ...
-2
votes
0answers
55 views

Identification of Hilbert space with dual follows from another identification? [on hold]

Let $X$ be a Hilbert space with inner product $(\cdot,\cdot)_X$, and let $Y$ be another Hilbert space with inner product $(\cdot,\cdot)_Y$. Suppose there is a bijective continuous linear operator $F:X ...
0
votes
0answers
34 views

Rate of convergence in narrow convergence

Does anyone help me in the following question? I have a sequence of probability measures $\mu_n$ and know that $\mu_n$ converges narrowly to a probability measure $\mu$. Is there any way to estimate ...
-2
votes
0answers
33 views

T is not compact operator [migrated]

I want to show that if $T$ is a bounded operator between two Hilbert spaces and $T$ is not compact then there exists an orthonormal sequence $y_{n}$ and an $R>0$ such that $\forall n\in ...
3
votes
3answers
457 views

What should be considered a finite size of an infinite dimensional space? [on hold]

I've got a map between two infinite dimensional spaces, $f: A\to B$, where $A$ seems "larger" than $B$. For the sake of conversation let's assume that $A$ is the set of smooth maps $\mathbb R^3\to ...
2
votes
1answer
55 views

Limit-circle and limit-point at endpoints

I was wondering if the following holds: If you have an ODE $$-y''(x) + q(x) y(x) = \lambda y(x)$$ on a finite interval $(a,b)$ and you know that this equation is limit-circle or limit-point at the ...
-2
votes
0answers
75 views

Closure in Hilbertspace [on hold]

I know that i asked this question already on stackexchange.com (http://math.stackexchange.com/questions/983377/closure-in-a-hilbertspace) Define for a pure contraction $S$ (remember: $\|S\|\leq1$ and ...
3
votes
0answers
41 views

Reference for existence results for 2D forced viscous Burgers equation

I am looking for results concering the following parabolic PDE $$u\cdot\nabla u + \Delta u = F(x),$$ where $$u\colon\Omega\to\mathbb{R}^2,$$ and $\Omega\subset\mathbb{R}^2$ is a 2D domain (bounded or ...
1
vote
1answer
168 views

Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1]. Germs of analytic functions can be distinguished by derivatives at a point. So in both cases we see ...
0
votes
2answers
90 views

Motivation for weak solution of a PDE (initial condition)

The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations" When looking at a (nonlinear degenerate) PDE like $$ ...
0
votes
0answers
44 views

Existence and Uniqueness of Volterra integral equations of the first kind

$$ \int_0^t k(s,t)f(s)ds=g(t) $$ To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...
-4
votes
1answer
102 views

A criterion of norm null sequences in Banach space [closed]

I would like to know if for a weak* null sequence $\left( f_{n}\right) $ in a Banach space $X$, the following characterisation is true and what about its proof: $\left( f_{n}\right) $ is norm null ...
3
votes
1answer
207 views

“Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point. Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...
2
votes
2answers
222 views
+50

If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable? Pietro Majer ...
1
vote
1answer
87 views

How to formulate approximation from above?

(This is perhaps a stupid question. If so, please give me a hint and a down vote.) I have a sequence of Banach spaces $X_{1}\supset X_2\supset ...$ and a sequence of elements $x_j\in X_j$ ...
0
votes
0answers
53 views

Hill's discriminant and spectral properties of Schrödinger operator

I am currently reading this paper on Schrödinger operators see here. On page 6 and 7 they talk about Hill's discriminant and how this is connected with the spectral properties. They also show some ...
3
votes
2answers
142 views

Schrödinger operators on a sphere

if you have a Schrödinger operator on a sphere ( $\mathbb{S}^2$) $-\Delta_{\theta,\phi} \psi(\theta,\phi) + V(\theta) \psi(\theta,\phi) = E\psi(\theta,\phi),$ where the potential does not depend on ...
3
votes
1answer
93 views

If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...
0
votes
0answers
98 views

Can we define log-convex operators?

Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$ $$f(\alpha x+(1-\alpha)y)\leq ...
6
votes
1answer
163 views

Extending compact operators

Let $X$ be a separable, infinite-dimensional complex Banach space and $Y\subseteq X$ an infinite-dimensional closed subspace. Suppose $K:Y\to X$ is an arbitrary compact operator. I would like to ...
0
votes
0answers
46 views

Solution of parabolic PDE system [closed]

For the following parabolic PDE system, $u(x,t)$ and $v(x,t)$ are functions of independent variables $x$ and $t$, $x\in[a,b]$. \begin{equation} \begin{cases} \frac{\partial}{\partial ...
3
votes
1answer
210 views

Is $L(\ell_2,\ell_2)$ dense in $L(\ell_2,c_0)$?

Let $\ell_2:=\{ x:\mathbb{N} \to \mathbb{R}: \sum_{j=1}^\infty x_j^2<\infty\}$ and $c_0:=\{ x:\mathbb{N} \to \mathbb{R}: \lim_{j\to\infty}x_j=0,\, \sup_{j\in\mathbb{N}}|x_j|<\infty\}$ denote the ...
0
votes
0answers
143 views

Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...
3
votes
2answers
135 views

Is every Montel locally convex vector space compactly generated?

Let $X$ be a Hausdorff locally convex vector space. Recall (my reference is the book of H. Jarchow, Locally Convex Spaces. B.G. Teubner, 1981) that we say that $X$ is a semi-Montel space if every ...
1
vote
0answers
42 views

Uniform bounds for a coupled parabolic system of PDE (linear)

Let $V=H^1(\Omega)$ and $H=L^2(\Omega)$ where $\Omega$ is a compact Riemannian manifold. Define $W = \{ w \in L^2(0,T;V) : w_t \in L^2(0,T;V^*)\}$. Consider the system, with $u^\epsilon, v^\epsilon ...
3
votes
1answer
104 views

Has uniform ellipticity implications on the spectrum?

Let $X$ be a complete Riemann surface with a smooth metric, and $L$ a line bundle on it also equipped with a smooth metric; associated to this data there is a Laplace-Beltrami operator $D_L$ acting on ...
3
votes
1answer
74 views

A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued ...
2
votes
0answers
111 views

Two isomorphic Gelfand triplets, is there a problem?

For $j=1, 2$, let $V_j \subset H_j$ be a dense and continuous embedding with $V_j$ a Banach space and $H_j$ a Hilbert space. Identify $H_1 = H_1^*$ and $H_2 = H_2^*$ (using Riesz representation) so ...
7
votes
0answers
114 views

What's the appropriate notion of a Unitary representation of a Lie algebra?

Here Lie algebras/groups are real. The most straightforward definition might be: Def: A representation $\rho:\mathfrak{g} \rightarrow \mathfrak{gl}(V)$ is unitary if $V$ is equipped with a Hermitian ...
1
vote
1answer
124 views

Estimates on evolution operator

Let's consider the following evolution operator in $\mathbb{R}^3$ $$S(t)=e^{(i+\delta)t\Delta }$$ How to get the following estimate $$\Vert S(t)f\Vert_2\leq C_\varepsilon t^{-\frac{1}{4}}\Vert ...
12
votes
1answer
229 views

Discrete subsets in the topology of pointwise convergence vs. metrisability

While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20: Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...
5
votes
0answers
87 views

A Banach space with all Hilbertian subspaces complemeneted

Assume that $X$ is a Banach space in which every Hilbertian subspace is complemented (let's say that all the projections are uniformly bounded). What can we say about $X$? It has to be K-convex. By ...
13
votes
2answers
354 views

What is the minimal $C_k$, such that every $f\colon \{-1,1\}^n\to \mathbb{R}$ of degree at most $k$ satisfies $\|f\|_2\le C_k\|f\|_1$

Every $f\colon\{-1,1\}^n\to \mathbb{R}$ can be repsenented as a multilinean polynomial of the form $$f(x_1,x_2,\ldots ,x_n)=\sum _{S\subseteq [n]} \hat{f}(S)\prod_{i\in S} x_i $$ The degree of the ...
0
votes
1answer
104 views

Relationship between LlogL and Hardy spaces

I think that for positive, one-dimensional, periodic functions, the following statement is true: $$ f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}), $$ where $$ LlogL=\{f\in ...
1
vote
0answers
62 views

Estimating singular values of integral operators

I would like to estimate the singular values of certain trace class integral operators. For the sake of concreteness, consider on $L^2({\mathbb R},dx)$ the integral operator $$(Tf)(x)=\int_{\mathbb ...
2
votes
1answer
141 views

Is there a non-compact Poulsen simplex?

A Choquet simplex is a closed, convex and metrizable subset of a locally convex Hausdorff topological vector space in which every point is a barycenter of a unique probability measure supported on the ...
2
votes
0answers
70 views

Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space

Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space. We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...
4
votes
1answer
119 views

Infinite dimensional subspaces of $L^1$

Suppose that $X$ is an infinite dimensional subspace of $L^{1}$. In some cases it is true that $X$ contains an isomorphic copy of an infinite dimensional Hilbert space. However, it is not the case ...
11
votes
1answer
302 views

What happens if we rotate the kernel of an integral operator?

Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...
5
votes
1answer
92 views

The Notion of Strong Measurability for Separable Banach Spaces

Let $ (X,\Sigma,\mu) $ be a measure space and $ B $ a Banach space. According to my understanding, a function $ f: X \to B $ is said to be strongly $ \mu $-measurable if and only if it is the ...
2
votes
1answer
85 views

ODE system has zero as the only solution?

Let $V \subset H$ be a continuous, compact and dense embedding with $V$ and $H$ Hilbert spaces. Let $\beta_j:[0,T] \to \mathbb{R}$ be functions for each $j$, and let $v_j$ be a basis of $V_0$. ...
0
votes
0answers
33 views

How to generalize balanced and absorbing sets to R-modules?

I'm looking for generalizing the notions of balanced set and absorbing set. The goal is using them for analyzing topological R-modules with R being a unit ring. It's easy to generalize balanced and ...
2
votes
1answer
83 views

Eigenvalues and Compact Resolvent

For $A$ an unbounded (densely defined) operator on a separable Hilbert space, what conditions on its eigenvalues will show that, for $\lambda \notin $spec$(A)$, we have that $(A-\lambda)^{-1}$ is a ...
0
votes
0answers
37 views

Inversion of Fourier transform of a multivariate gamma distribution in polar form?

Let $\mathbb{S}^{N-1}$ be the unit sphere in $\mathbb{R}^N$ under the Euclidean norm $||\cdot||$. Let $\mu$ be an infinitely divisible Borel measure. If there exists a finite measure $\alpha$ on ...
0
votes
0answers
38 views

eigenfunctions for integral operator with difference domains

I have a continuous kernel $k(x,y)>0$ and a given positive number $\lambda$, now I define different integral operators $T(f(x))=\int _{y_1}^{y_2}k(x,y)f(y)dy$ by varying $y_1$ and $y_2$ and keep ...
2
votes
0answers
59 views

Discrete versus Continuous Hilbert Transform

Let me define the Fourier transform of a function $u$, say in the Schwartz space $\mathscr S(\mathbb R)$ as $ \hat u(\xi)=\int_{\mathbb R} e^{-2iπ x\cdot \xi} u(x) dx. $ The Hilbert transform ...
3
votes
1answer
87 views

$C_0$ semigroups on parameterized Banach spaces or moving domains

Is there any literature corresponding to one or two-parameter semigroups such that eg. $T(t) \in \mathcal{L}(X(t))$ or $T(s,t) \in \mathcal{L}(X(t),X(s))$ for parameterized Banach spaces $X(t)$??? I ...