# Tagged Questions

**-2**

votes

**0**answers

30 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

**2**answers

183 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

**0**answers

76 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

**0**answers

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

**0**answers

32 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

**0**answers

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

**3**answers

455 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

**1**answer

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

**0**answers

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

**0**answers

40 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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

99 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

**1**answer

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

**2**answers

201 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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

92 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

**0**answers

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

**1**answer

162 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

**0**answers

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

**1**answer

209 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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

73 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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

86 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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

90 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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

86 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 ...

**0**

votes

**1**answer

85 views

### Scalar Measure Associated to a Positive Operator Valued Measure

Suppose that $X$ is a compact metric space, $\mathcal{H}$ is a Hilbert space, and that $A: \mathcal{B}(X) \rightarrow \mathcal{B}(\mathcal{H})$ is a Positive Operator Valued Measure (POVM), where ...