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

learn more… | top users | synonyms (1)

0
votes
1answer
52 views

Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all: Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...
2
votes
2answers
121 views

$\mathcal S'(\mathbb R^d)$ is separable

I Think the statement is true, but I struggle to find a reference for the fact that the space of tempered distributions equipped with the weak-* topology is separable. Thank you for your help!
3
votes
0answers
28 views

Sobolev space for Mixed Dirichlet - Neumann boundary condition

Consider the subset $\Omega\subset \mathbb{R}^N$ with boundary $\partial\Omega$ sufficiently regular and let $\Gamma\subset\partial\Omega$ be a $(N-1)$- dimensional submanifold of $\partial\Omega$. ...
2
votes
0answers
34 views

Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
0
votes
0answers
27 views

interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding \begin{equation} L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...
1
vote
0answers
41 views

Related to derivative of Modified Bessel I function wrt the order

I recently met some problems related to the modified Bessel I funtions. Let $I(\nu,x):=I_\nu(x)$, and $I'_\nu(\nu,x):=\dfrac{\partial}{\partial \nu}I(\nu,x)$. Using maple, it seems that ...
2
votes
0answers
42 views

Multiplication operators are sectorial [migrated]

Consider the multiplication operator $M_a$ on $L^p(M)$, where $M$ is a Riemannian manifold, and $a$ is a non-negative function. An operator $A$ is said to be sectorial if there exists $\theta \in (0, ...
2
votes
0answers
60 views

Resolvent estimate of hyperbolic Laplacian [on hold]

Consider the Laplacian $-\Delta$ on the hyperbolic space $\mathbb{H}^n$. For $\lambda \in \mathbb{C} \setminus [0, \infty)$, do we have resolvent estimates of the form $$\Vert (-\Delta - \lambda ...
0
votes
0answers
44 views

Completing Karlin's proof of variation diminishing transformation theorem

In S Karlin's book total positivity there's a theorem that says if $K(x,y)$ is $TP_r$ (totally positive with degree $r$) and the sign change count of function $h$, $S(h) = n\leq r-1$, then ...
1
vote
1answer
80 views

Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE: $\frac{d U_t}{dt} = (a + w(t)b)U_t$ consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...
0
votes
0answers
38 views

Alternating projections and trace preserving maps

Let $\{\Pi_i\}_{i=1}^N$, $\Pi_i\in \mathbb{C}^{n\times n}$ be a set of orthogonal projections. By the Von Neumann alternating projection theorem, it holds that $$ ...
0
votes
0answers
56 views

Multiple convex sets hyperplane separations

Hyperplane separation theorem states that if there is a bounded convex set $X$, a convex set $Y$, then there is a hyperplane that separates $X$ from $Y$. That is, there is a statement that gives ...
2
votes
0answers
30 views

Smooth bivariate functions identifiable under permutations

Consider a "smooth" $f : [0,1]^2 \to [0,1]$ and let $\pi : [n] \to [n]$ be a permutation of $[n] =\{1,\dots,n\}$. Let us define $$ A^{f,\pi} := \Big( f\Big(\frac{\pi(i)}{n},\frac{\pi(j)}{n}\Big) ...
0
votes
0answers
37 views

Auslender-Teboulle asymptotic cones Theorem 6.4.1

Is there any typo in proof of theorem 6.4.1 of Auslender-Teboulle asymptotic cones book. In this theorem the author claims that if $\text{rge}\,A\subset\text{aff}\,C$ then for $\epsilon>0$ we have ...
0
votes
0answers
30 views

Powers of compact operators [migrated]

Consider a Hilbert space $H$ and a compact self-adjoint operator $T : H \to H$. I want to prove that all positive powers (especially fractional powers) of $T$ are compact. From the spectral theorem, I ...
3
votes
0answers
63 views

independent symmetric 3-valued random variables in Lp

Consider the following excerpt from this paper: Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...
3
votes
2answers
160 views

Examples of TVS with no non-trivial open convex subsets

I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$. ...
5
votes
1answer
92 views

Schwartz space of functions with values in a Frechet space

While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
6
votes
2answers
313 views

Is there a nice “synthetic” way for doing differential geometry on infinite dimensional vector spaces?

If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...
2
votes
1answer
216 views

Interpolation between weighted $L^p$ spaces

Let $K:\mathbb{R}^3\backslash\{0\}\times\mathbb{R}^3\backslash\{0\}\rightarrow\mathbb{C}$, such that $K(x,y)=K(y,x)$ and $K(x,y)=|x|^{-1}|y|^{-1}H(x,y)$, with $H$ locally bounded. Let $T$ be the ...
1
vote
0answers
69 views

Existence of Euler product on critical line for $L(\chi,s) L(\overline{\chi},1-s)$?

Generally there is no Euler product for Dirichlet L-functions $L(\chi,s)$ in the critical strip.(cf Is the Euler product formula always divergent for 0<Re(s)<1?) But I would like to know if ...
1
vote
0answers
87 views

Transformation of kernel

I have the following problem at hand. Define the kernel $$K(x_1,x_2) = \int_{-1}^1\int_{-1}^1 \exp(-2\pi\jmath x_1 y_1)R(y_1,y_2)\exp(2\pi\jmath x_2 y_2)\mathrm{d}y_1\mathrm{d_2}.$$ Now, if ...
9
votes
1answer
238 views

Sard's Theorem For Banach Spaces

Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest ...
1
vote
1answer
92 views

Uniform convergence of infinite sum with Dirichlet characters

I would like to prove uniform convergence of function series like : $$\sum\limits_{n=1}^{\infty} \chi(n) f(nx)$$ where $\chi$ is a primitive character and $f(x)$ a function decreasing to zero in ...
-4
votes
0answers
28 views

deterining the sign of a term [closed]

I have a problem in proving the sign of a term. It is as follows: x=(1-a)/(b1b2-a)+1 y=(1-a)/(b1-a)+(1-a)/(b2-a) ...
5
votes
2answers
227 views

Weak solutions for a PDE of fourth order

I deal with two-dimensional Kirchhoff equation with $L^\infty$ coefficient and distributional right hand side: $$ \Delta\Delta w+u(x,y)\left(\alpha^2\frac{\partial w}{\partial ...
-3
votes
0answers
109 views

Compactification of Separable metric space , What is its use? [closed]

I want to know the use of the fact that a separable metric space can be homeomorphically embedded into a dense subset of a compact metric space. One such use is that certainly somes into mind is the ...
0
votes
0answers
61 views

Existing complete function space under suitable norm

This question was asked in math.stackexchange.com but no suitable answer was received, so I am posting it here. This is a question which came to me due to several previous question: sorry for the all ...
2
votes
1answer
69 views

Integral kernels of self-adjoint operators [closed]

If the integral kernel $k(x, y)$ of an operator $T : C^\infty_c(M) \to \mathcal{D}'(M)$ is symmetric ($M$ is a compact manifold), then the operator $T$ is symmetric. Is the converse true? That is, ...
0
votes
0answers
65 views

Sobolev trace theorem

Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$, where $\Omega$ is knows as a bounded domain with smooth boundary $\partial D$. We choose any subdomain $D\subset Q$ with smooth boundary $\partial ...
6
votes
1answer
270 views

An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that $$ f^2=f $$ (that ...
0
votes
0answers
35 views

Bounded linear functionals over smooth maps of a compact interval [migrated]

I have two questions regarding the topological dual of the space $E = \mathcal{C}^\infty([0; 1])$ of infinitely continuously differentiable functions over the closed interval $[0; 1]$ equipped with ...
3
votes
1answer
172 views
+50

Variations on the Mellin and Dirichlet transforms

There are a number of variations on the Laplace transform that turn up all over math. Some examples: $\int_{-\infty}^{\infty} f(t)e^{-st} dt$ - The Laplace transform $\sum_{-\infty}^{\infty} ...
3
votes
2answers
190 views

When does a function space allow for point evaluations? [closed]

Consider a space of (generalized) functions $F$ defined on a measure space $\Omega$ and equipped with a topology. What are necessary and sufficient conditions for point evaluations at arbitrary $x ...
3
votes
1answer
113 views

Mixed (anisotropic) Sobolev spaces

Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
3
votes
1answer
96 views

Can you pair $H^s(\Omega)$ and $H^{-s}(\Omega)$ on a domain $\Omega$?

Consider the fractional Sobolev spaces on $\mathbb R^n$ $H^s(\mathbb R^n) := \left\{ u \in \mathcal S'(\mathbb R^n) \; : \; ( 1 + |\xi|^2 )^{s/2} \hat u \in L^2(\mathbb R^n) \right\}$. Let $\Omega$ ...
3
votes
0answers
113 views

A “slice-map” type problem for symmetric tensors in the square of a nuclear C*-algebra

Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras. Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...
1
vote
0answers
84 views

Asymptotics of “heat” semigroup

Consider a bounded domain $\Omega \subset \mathbb{R}^n$ with smooth boundary. Consider a second order elliptic operator $L$ on $L^2(\Omega)$, defined by either the Dirichlet or Neumann boundary ...
0
votes
1answer
228 views

Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]

Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
4
votes
1answer
96 views

Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$

Let $\substack{\text{lim} \\ \leftarrow i} H_i$ be a nuclear space, considered as the limit of the codirected diagram $$... \to H_2 \to H_1 \to H_0,$$ with $f_{ji}:H_i \to H_j$ being the trace class ...
0
votes
0answers
61 views

prove that a function is approximatively three dimensional

Let $D_n(x)$ be a diagonal matrix of size $N\times N$ where the $k$th element is $\exp(2\pi\jmath x(n+(k-1)/N)$. Let $P_n$ be a random diagonal $N\times N$ matrix where each diagonal element is a ...
2
votes
0answers
48 views

Weak Morrey Spaces

As is well known, Morrey spaces are widely used to investigate the local behavior of solutions to second order elliptic partial differential equations. Recall that the classical Morrey spaces ...
6
votes
4answers
422 views

Analogue of Cayley Hamilton theorem for operators on Hilbert space

Is there an analogue of Cayley Hamilton theorem which holds for operators on a separable Hilbert space. Obviously the characteristic polynomial will be replaced by something else.
1
vote
0answers
66 views

Pertubations of self-adjoint first order operators

If we consider the self-adjoint operator $L= L_0 + h$ on the appropriate Sobolev spaces of maps from $S^1$ to $\mathbb{R}^N$, say, where $L_0$ is a first order self-adjoint operator and $h$ is a ...
0
votes
0answers
63 views

Orthogonal complements of intersections of closed subspaces

Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$. $\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
2
votes
0answers
65 views

When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...
-1
votes
1answer
95 views

Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]

Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology. Let $X$ be a topological space (for convenience, it might be Polish ...
0
votes
1answer
174 views

Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes [closed]

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
3
votes
1answer
130 views

What kind of role has Functional Analysis played in Signal Processing? [closed]

Does it serve mainly as a narration or is there any substantive consequence which might not be derived without tools of functional analysis?
2
votes
1answer
261 views

Does the following type of Gronwall inequality hold?

Let $I=[0,b)$, $b< \infty$. Suppose $u$ is a positive bounded measurable function on $I$. $v(s)$ is a positive, smooth function on $I$. Note that $u(b),v(b)$ may be $0$. Suppose that $$ u(t) ...