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

learn more… | top users | synonyms (1)

1
vote
0answers
30 views

Zero divisors and boundary elements of $A^{-1}$

I need to understand basic properties of (a) zero divisors in Banach algebras or rings, and (b) spectral properties of elements of the boundary of the set of invertibles in a complex unital Banach ...
1
vote
0answers
36 views

boundedness of a sequence $ \in L^{\infty}(I,H^1(M))\cap Lip(I,L^2(M))$ implies that its temporal derivative is bounded as well [on hold]

Hi I have the next claim which I would like to find a proof of it. I have a sequence of functions $u_\epsilon(t,x) \in H^1(M)$ where $M$ is a compact manifold, and $u_\epsilon \in ...
2
votes
1answer
103 views

Contraction semigroup

Let $(X, \mu)$ be a finite measure space and let $A$ be a non-negative self-adjoint operator which generates a contraction semigroup $e^{tA}$ on $L^2(X, \mu)$. If additionally, we have that $e^{tA}$ ...
0
votes
0answers
18 views

density function time series

I have a time series of density functions, say A1-A5. Each density function is defined as $f(x)=\Sigma_{i=1}^{N} \beta(x-a_i)$, where $\beta$ is a smoothing function (e.g., gaussian or delta), and N ...
-3
votes
0answers
30 views

Calculus II Function Construction [on hold]

I need help please! Construct a function that is continuous and non-negative [0,1], with the property that the area under the function on [0,1] is finite yet the arc length on [0,1] is infinite.
2
votes
1answer
72 views

Renorming into contraction

In Pazy's book on semigroups he mentions (page 18) that when you have a commuting family of operators $B(t)$, such that $$ \sup \| B(t_1) .. B(t_n) \| \le M $$ for all finite choices $t_1, .. t_n$ ...
0
votes
0answers
58 views

Sobolev trace of $H^1(\mathcal{M} \times I)$ functions

Let $\mathcal{M}$ be a compact Riemannian manifold and let $I=(0,1)$. I seek a trace theorem saying that functions $u \in H^1(\mathcal{M} \times I)$ have a well-defined trace at $\mathcal{M} \times ...
1
vote
0answers
60 views

Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$

Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by ...
0
votes
0answers
38 views

Densely-defined operator with closed range: conditions for operator closed

Suppose we have Banach spaces (or Hilbert spaces) $X$ and $Y$, and a densely-defined linear operator $A : \operatorname{dom}(A) \subset X \rightarrow Y$ that is densely-defined and with closed range. ...
3
votes
1answer
194 views

Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...
0
votes
0answers
66 views

First order elliptic pseudodifferential operator and Sobolev space [on hold]

Let $P$ be an elliptic pseudodifferential operator of order 1 on a compact manifold $M$. Also let the spectrum of $P$ lie inside $(0, \infty)$. I am trying to see how one could prove that $P : H^1(M) ...
1
vote
2answers
113 views

Sum of two unbounded self-adjoint operators

Let $A$ and $B$ be two unbounded self-adjoint operators. From this mathoverflow post, for instance, we know that $A + B$ is self-adjoint on $\mathcal{D}(A) \cap \mathcal{D}(B)$ if $A$ and $B$ are ...
1
vote
0answers
75 views

Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then ...
0
votes
0answers
90 views

Lower order perturbations of 2nd order differential operators

Consider the well-known Hormander's sum of squares $P = \sum_{j = 1}^m X_j^2$, where $X_j$ are vector fields on a compact manifold $M$ of dimension $n$. Also assume, as is usual to this theory, $m ...
2
votes
0answers
45 views

A Generalized Version of Maximal Correlation and Hypercontractivity of Conditional Expectation Operator

Given a pair of random variables $(X,Y)$ over a product space $\mathcal{X}\times \mathcal{Y}$, the maximal correlation coefficient is defined as ...
1
vote
0answers
46 views

Equivalence of two definitions of weak solution (subtlety with null sets)

Consider $$y_t - \Delta y = f$$ $$y(0) = y_0$$ with zero boundary condition. Let $a(t,.,.)$ be the bilinear form associated to $-\Delta$. We have two definitions of weak solutions: We have $y \in ...
1
vote
2answers
131 views

Holomorphic functional calculus and idempotents

One of the applications of the holomorphic functional calculus is with regard to idempotents. For instance, if an element $a$ in a unital Banach algebra $A$ has spectrum contained in two balls, each ...
2
votes
1answer
55 views

Does Schatten-p (quasi-)norm satisfy the norm inequality for 0<p<1?

I'm reading the paper by ANGELIKA ROHDE AND ALEXANDRE B. TSYBAKOV, ESTIMATION OF HIGH-DIMENSIONAL LOW-RANK MATRICES. And in the paper, they provide an inequation of the Schatten-p (quasi-)norm, ...
0
votes
0answers
41 views

Self adjoint operator and vertex conditions in quantum graphs

Let $\Gamma$ be a metric graph with finitely many edges. Consider the operator H acting as $\frac{-d^2}{dx_e^2}$ on each edge $e$, with the domain consisting of functions that belong to $H^2(e)$ on ...
4
votes
1answer
110 views

Diffusion semigroup generated by Laplacian

Let $M$ be a complete Riemannian manifold and $\Delta$ denote the Laplacian on it. Also assume that the spectrum of $-\Delta$ lies inside $[a, \infty)$. Let $P_t, t > 0$ denote the diffusion ...
1
vote
0answers
96 views

$L^2$ bound on solution of PDE in terms of $L^2$ norm of initial value

Let $u \in H^1((0,T)\times S)$ be the unique solution of $$u_{tt} + \Delta u =0$$ $$u|_{t=0}= u_0$$ $$u|_{t=T}=0$$ where $u_0 \in H^{\frac 12}(S)$ and $S$ is some Euclidean hypersurface without ...
14
votes
1answer
780 views

How many values determine a norm?

It is well known that for a bilinear form over an n-dimensional vector space, $n^2$ values (on all pairs of basis-vectors) determine it uniquely. How many values do we need to specify in order to ...
2
votes
0answers
86 views

Is there a name for this space?

I'm just asking if there is a name for the space of functions on $\mathbb R^n$ whose norm is defined by $$ \|f\|=\|\hat f\|_{L^p} $$ for $p\in [1,\infty]$. I find it handy to give it a name when ...
3
votes
0answers
67 views

Domain of $A^{1/2}$ on $L^2(\mathbb{T}^2)$

Let $A$ be a densely defined unbounded self-adjoint operator defined on $L^2(\mathbb{T}^2)$, where $\mathbb{T}^2$ stands for the 2-torus. It is known that $A$ is positive, that is, $\langle Au, ...
1
vote
0answers
76 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Although this is not research, I think the question is a little bit too specific for math.stackexchange Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a ...
2
votes
1answer
79 views

Follow up question to: Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$

This is a follow up question of the question Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$ Let $\Omega \subset \mathbb{R}^{N}$ ...
0
votes
0answers
65 views

time evolution of a density function [closed]

I have a time series of density functions, say A1-A5. Each density function is defined as $f(x)=\Sigma_{i=1}^{N} \beta(x-a_i)$, where $\beta$ is a smoothing function (e.g., gaussian or delta), and N ...
0
votes
1answer
146 views

Operator theory of the Hessian

How can I learn more about the operator theory of the Hessian? The Hessian of a function $u : \Omega \rightarrow \mathbb R$ over a domain $\Omega \subseteq \mathbb R^n$ is the matrix of second ...
-1
votes
0answers
98 views

Hiring pointers/communities for quantum mechanics and functional analysis [on hold]

I am looking for pointers to recruiting postdocs and PhDs to an interdisciplinary project: physics, chemistry, and importantly applied mathematics (functional analysis, spectral theory of self-adjoint ...
2
votes
1answer
115 views

Kernel of the Radon transform

Consider the following generalized version of the Radon transform. Let $X,Y,Z$ be compact smooth manifolds. Let $p\colon Z\to X$, $q\colon Z\to Y$ be smooth maps. Let $m$ be a fixed smooth density ...
4
votes
1answer
139 views

Location of a Banach Space inside its bidual

Let $X$ be a Banach Space and let $Y$ be a closed subspace of $X^{**}$ such that $X\bigcap Y=0$. Let $P$ be the quotient map from $X^{**}$ onto $X^{**}/ Y$. I need to prove or refute that ...
8
votes
3answers
473 views

Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...
7
votes
1answer
128 views

Boundary values of boundary value problems

Let $M$ be a manifold with smooth boundary. We can consider the Dirichlet or the Neumann problem on $M$. Let $(\phi_k)$ be an orthonormal basis of eigenfunctions to the Dirichlet problem and let ...
1
vote
1answer
79 views

Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$

Let $\Omega \subset \mathbb{R}^{N}$ be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$ is a Caratheodory function such that $g(x,t)=0$ for $t\leq0$ . Suppose that ...
12
votes
1answer
464 views

Are “most” operators on an infinite-dimensional complex Banach space “diagonalizable”?

This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0. To be ...
0
votes
0answers
46 views

smoothness of green's function in wave equation

I have a linear acoustic wave propagation originated from a monopole source, written as \begin{align} \mathcal{L}p(\mathbf{x},t) = S_m(\mathbf{x},t), \quad \mbox{in } \Omega \end{align} where the ...
1
vote
1answer
48 views

Asymptotics of Fresnel integrals

It is known that $I(p) = \sqrt { \frac {4 \mathrm{i} p} {\pi}}\int \limits _{-\infty} ^{\infty} \mathrm{e}^{- \mathrm{i} p x^2} \varphi (x) \mathrm{d}x$ is a bounded smooth function on $(0,\infty)$ ...
3
votes
1answer
83 views

When are countably generated Hilbert modules generated by c.p.c. order zero maps?

Throughout let $B$ be a stable C*-algebra, i.e. $B\cong B\otimes K$, where $K$ is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. It is well-known that any ...
5
votes
3answers
190 views

Is the space of all borel measures on $\mathbb R^n$ isomorphic to the tensor product of spaces of borel measures on $\mathbb R$?

Similarly to the decomposition $L_2(\mathbb R^n) = L_2(\mathbb{R})^{\otimes n}$ as vector spaces (and even as Hilbert spaces) , do we have $bm(\mathbb{R^n}) = bm(\mathbb{R})^{\otimes n}$ where ...
1
vote
0answers
89 views

Estimates of entropy of functional spaces

Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it. ...
0
votes
1answer
57 views

Upper bound for a ratio of modified Bessel functions

I am looking for an upper bound for the ratio of Bessel I functions $\dfrac{|I_\nu'(z)|}{|I_\nu(z)|}$ where $\nu$ is complex, and $z$ is a positive real number. Do you know any results about it? Thank ...
9
votes
1answer
199 views

What happens to continuous spectrum upon discretization?

Excuse me for a bit of an vague question, but I haven't been able to find a definite answer for this for quite some time. My question is regarding (mostly non-normal )linear operators and their ...
-1
votes
0answers
30 views

How would an operator from a semigroup, act on a fixed element in Banach algebra?

Let $X$ be a Banach lattice algebra endowed with an ordering $\leq$. $T=\{T(t)\}_{t\geq 0}$ be the positive semigroup defined on $X$. $F: X_+\rightarrow X$ is a continuous mapping such that ...
4
votes
3answers
295 views

Measure with `somewhere dense' support

Let $X$ be a compact Hausdorff (but not necessarily metrizable) space. Is it always true that there exists a probability Borel measure $\mu$ and an open set $U$ such that any nonempty open set ...
0
votes
0answers
28 views

Help with an inequality in Cazenave's book “Semilinear Schrodinger equations” [migrated]

I'm reading Cazenave's book "Semilinear Schrodinger equations" and I found this inequality at page 84 $$\vert\vert u_1\vert^\alpha u_1-\vert u_2\vert^\alpha u_2\vert\vert\leq C (\vert ...
1
vote
1answer
99 views

Orthogonal functions with shrinking support

This question is more or less a cross post of http://math.stackexchange.com/questions/1218660/orthogonal-functions-with-shrinking-support. Let $X$ be a metric space (compact, if it helps) and let $Y$ ...
2
votes
1answer
103 views

Weak convergence of probability measures on weak versus strong dual

The space of temperate distributions $S'(\mathbb{R}^d)$ is often equipped with the weak-$\ast$ or with the strong topology. When defining the notion of a probability measure on $S'(\mathbb{R}^d)$, ...
2
votes
1answer
171 views

Does this linear elliptic equation have a weak solution?

Let $Q = \Omega \times (0,C)$ where $\Omega$ is a bounded domain, write $(x,y) \in Q$ for $x \in \Omega$ and $y \in (0,C)$. Is the problem $$\Delta_{(x,y)}v = 0\quad\text{in $Q$}$$ $$\frac{\partial ...
1
vote
0answers
39 views

A fundamental lemma involving a certain exponential kernel

Let $h \in L^1(\mathbb R^n, \mathbb R)$ be a scalar field and let $\Psi_t: \mathbb R^n \to \mathbb R$ be smooth mappings, parameterized by $t \in \mathbb R$. Suppose that we are given data $$D(v,t) = ...
0
votes
1answer
216 views

Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question. Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$). I'm interested in the topological ...