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

learn more… | top users | synonyms (1)

0
votes
0answers
7 views

On quasi-equivalence of norms

Two norms $p(v),q(v)$ are equivalent if there exist two real constants $c,C$, with $c > 0$ such that for every vector $v$ in $V$, one has that: $c q(v) ≤ p(v) ≤ C q(v)$. Can we something about ...
1
vote
1answer
66 views

Non-closability of an operator

Let $a$ be a positive continuous function nowhere differentiable on $[0,1]$. The operator $T$ in $H:=L^2(0,1)\oplus L^2(0,1)$ defined by $$T(u_1,u_2) := (u_1' + au_2',0)$$ on $\textrm{Dom} \,T := ...
4
votes
0answers
48 views

Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure ...
1
vote
1answer
87 views

Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state. Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...
1
vote
0answers
76 views

Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as $$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...
0
votes
1answer
110 views

$u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;H)$?

Let $V \subset H$ be a dense and compact embedding. Let $$\lVert u_n\rVert_{L^\infty(0,T;H)} + \lVert u_n \rVert_{L^2(0,T;V)} < C$$ where $C$ is independent of $n$. It follows that eg. $u_n ...
0
votes
0answers
37 views

Non Normal operator [on hold]

Standard example for non normal operator is the shift operator. It is continous but the image of the left shift is not dense. Can we have an example of a non normal operator $A$ which is continuous ...
1
vote
0answers
118 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: ...
0
votes
1answer
70 views

How to minimize this sparse quadratic function?

There is a problem when I'm reading a paper. Equation: $min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$, where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...
0
votes
0answers
82 views

Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
-1
votes
0answers
22 views

Interchange summation and differentiation [migrated]

I asked this question already on math.stackexchange, but did not receive any answers see here Let $f = \sum_{n=0}^{\infty} a_n e_n $ where $e_n$ are an ONB of $L^2[0,1].$ Now assume we have that ...
6
votes
0answers
244 views

A matrix trace inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)^\dagger) \leq \| A^2 - B^2 \|_1$, where $\| \cdot ...
2
votes
0answers
72 views

Multivariate Maximal Hilbert Transform

One way to define the maximal Hilbert transform of a function, $f$, is by $$\mathcal{H}[f](x):=\underset{\varepsilon>0}{\sup}\;\int_{|t|\geq\varepsilon}\dfrac{f(t)}{x-t}dt,\quad x\in\mathbb{R},$$ ...
13
votes
1answer
265 views

Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map $$ \alpha\colon X\hat{\otimes} X^* \to B(X)^*, $$ defined one simple tensors as $$ \alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...
5
votes
1answer
148 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
3
votes
1answer
65 views

Composition of spectral measures

Let $f: \mathbb{R}\rightarrow \mathbb{C}$ be a measurable function, $H$ some Hilbert space and $$ f_E := \int_{\mathbb{R}} f dE$$ for some spectral measure $E$. Now, my question is: When do we have ...
1
vote
1answer
65 views

About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted? If ...
2
votes
1answer
129 views

Is this structure a Banach bundle?

Let $X$ be a Banach space. Put $Y=\{ \phi\in X^{*}\mid\;\; \parallel \phi \parallel\leq 1\;\; \&\;\; \phi \neq 0\}$ which is a locally compact Hausdorf space with the weak star topology. ...
1
vote
0answers
95 views

A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology. Is there a continuous map ...
1
vote
0answers
49 views

Strong solution to parabolic equation without differentiability assumption on coefficient?

Consider on $(0,T)\times \Omega$, $\Omega$ a bounded domain $$u_t(t,x) - a(u(t,x))\Delta u(t,x) = f(t,x)$$ $$u|_{\partial\Omega} = 0$$ where $a$ is real-valued and satisfies $C_1 \leq a(r) \leq C_2$ ...
0
votes
0answers
40 views

Searching for conditions?

I have this operator $$Au(t)=\int_0^1 G(t,s) f(s,u(s)) ds$$defined from $H^1_{0}$ to $H_0^1$ and satisfy the problem: $$\begin{cases} -(Au)''(t)=f(t,u(t)), t\in[0,1]\\Au(0)=Au(1)=0\end{cases}$$ Where ...
6
votes
1answer
89 views

Inequality of the norm of the convolution in $L^p(\mathbb{R}^n)$ with symmetric decreasing rearrangement?

Is it true that $$ ||f*g||_p \le ||\,|f|^* * |g|^*||_p\quad ? $$ where $|f|^*$ and $|g|^*$ are the symmetric decreasing rearrangements of the functions $|f|$ and $|g|$. Under what conditions on $f$ ...
0
votes
0answers
74 views

Explicit formula for Bergman kernel on the unit ball

On page 173 in Krantz's book "Explorations in Harmonic analysis" in the proof of Lemma 7.1.21 there is a part that I really don't understand. What I don't understand is why is ...
1
vote
1answer
127 views

Multiplication of generalized functions

I would like to know if there is any associative algebra $( A(\mathbb{R}), +, \cdot )$ such that: EDIT: Fan Zheng found an inconsistency in my requirements. Therefore I changed the function space in ...
2
votes
1answer
146 views

Asymptotic behaviour of eigenvalues

If you look at $-\Delta + q$ on the sphere in $\mathbb{R}^3$ for example and $||q|| < \infty,$ is there a way to asymptotically describe the behaviour of the eigenvalues? Probably they behave ...
2
votes
1answer
105 views

Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$

I want to show: Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align} H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N) \end{align} is compact. I was able to show ...
1
vote
0answers
66 views

Weak (Sobolev) derivative and the Frechet derivative (chain rule) [closed]

Let $A: H^s(\Omega) \to H^1(\Omega)$ be a bounded linear map. Let $u \in H^s(\Omega)$. Let $f:\mathbb{R} \to \mathbb{R}$ be nonlinear and Lipschitz such that $f(u) \in H^s(\Omega)$. Is it possible to ...
3
votes
2answers
186 views

Does this C*-algebra embed into a simple nuclear C*-algebra?

Let $\mathcal K$ denote the C*-algebra of compact operators, and fix an embedding $\phi_n:M_n(\mathbb C) \to \mathcal K$ for each $n\in \mathbb N$. Define the C*-algebra $A := \{(a_n)_{n=1}^\infty ...
1
vote
0answers
43 views

Fractional Poincare inequality on closed manifold

Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality $$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$ is proved, or ...
0
votes
0answers
18 views

Solution of non-linear Fredholm (Hammerstein) equation with non-degenerate kernel and reciprocal non-linearity

I have asked this question at MSE but got no response. I have rephrased it so that anyone who knows operator theory and integral equations could help me out... I faced a problem in physics which is a ...
0
votes
0answers
69 views

Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space

Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map ...
2
votes
1answer
111 views

Does $\int \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \to \Phi(u)$ imply that $f_t \to \delta_1$?

I'm looking at a family $(f_t)$ of densities of some continuous random variables and know that $$\int_{-\infty}^{\infty} \Phi \left( \frac{u}{\xi} \right) f_t(\xi) \mathrm{d} \xi \xrightarrow{t \to ...
0
votes
0answers
39 views

Interpolation of Banach spaces: theta = 0, 1

Let $A_1 \subset A_0$ be Banach spaces with continuous embedding. Is $(A_0, A_1)_{i, \infty} = A_i$ for $i =0, 1$, with equivalent norms? Here, $(\cdot, \cdot)_{\theta,p}$ denotes the $K$-method of ...
1
vote
0answers
90 views

A Characterization of Closed Ideals in $C^{\infty}(\mathbb{R}^n)$

The space $C^{\infty}(\mathbb{R}^n)$ can be turned into a topological ring using the Whitney topology. Whitney's Spectral Theorem says that the closure of an ideal in this ring is the ideal of all ...
1
vote
0answers
25 views

Topological tensor products of spaces of holomorphic functions of slow growth

Let $X$ be a Banach space, $M$ be a complex manifold, and $\Omega$ a relatively compact domain in $M$. We consider the space $\mathcal{A}^{-\infty}(\Omega, X)$ of $X$-valued holomorphic functions of ...
0
votes
0answers
48 views

Hilbert scales of covariance operators

Assume we have 2 covariance operators(positive definite trace class) $S$ and $T$ on Hilbert space $\mathcal H$ with corresponding eigenpairs $\{e_j,\lambda_j\}$ and $\{f_j,\lambda_j\}$. Assume that ...
0
votes
0answers
65 views

Condition for boundedness in stationary phase theorem

I am trying to understand theorem 7.7.1 in Hormander's Analysis of linear partial differential operators, vol.1. Let $K \subset \mathbb{R}^n$ be a compact set, $X$ an open neighborhood of $K$ and ...
2
votes
0answers
108 views

Generalising the $L^2$-Norm to Compact Quantum Groups

For a compact quantum group (in the sense) of Woronowicz, we have a noncommutative $C^*$-algebra replacing ${\mathbb C}(G)$. This $C^*$-algebra is endowed with a linear functional generalizing the ...
0
votes
0answers
54 views

Specific optimization problem solution procedures

Is there a standard procedure to solve following two optimization problems? $$\mathsf{Problem\mbox{ }I}:\mbox{ }\min_{A\in\{0,1\}^{n\times n}:rk(A)=r}\mbox{ }\max_{R,S\in\Bbb R^{n\times ...
0
votes
0answers
28 views

Causal (Volterra type) differential equation with local Lipschitz condition

Consider the equation $$ u'(t) = (Fu)(t) $$ where $F \colon L^2(0,T;\mathbb R^n) \to L^2(0,T;\mathbb R^n)$ is a causal (Volterra type) nonlinear operator. It means that the value of $(Fu)(t_0)$ ...
2
votes
0answers
44 views

Hilbert c*-module over approximately finite c*-algebra

Is there a construction of a Hilbert c*-module over an approximately finite c*-algebra using Hilbert c*-modules over finite algebras? How do we get a Hilbert c*-module over an inductive limit of such ...
1
vote
1answer
103 views

Identifying the weak limit of a gradient (Bochner spaces)

Let $X=L^2(0,T;L^2(\Omega))$ for an unbounded domain $\Omega$. Let $f_n, f:\mathbb{R} \to \mathbb{R}$ be functions with $f_n \to f$, $f_n(0)=f(0)=0$ and $f_n$ Lipschitz with Lipschitz constant ...
1
vote
0answers
74 views

How do functions operates in a Fourier algebra $A^{q}(\mathbb T)$?

We put , $A^{q}(\mathbb T)= \{ f\in L^{q}(\mathbb T): \hat{f}\in \ell^{q}(\mathbb Z) \}.$ By Helson-Kahane-Katznelson-Rudin Theorem, it follows that, "Let $F$ be a function on $\mathbb C$ and if ...
2
votes
0answers
81 views

Equivalence of two non-degenerate Gaussian measures on Banach space

The motivation of this question is to show that two probabilities on $C_{0}^{n}(0,1)$ (the space of continuous $\mathbb R^{n}$ valued process on $[0,1]$ starting from zero) induced by two ...
1
vote
0answers
71 views

Normal points of an operator and discrete eigenvalues

Let $\mathcal{H}$ and $\mathcal{L}({\mathcal{H}})$ denote a separable Hilbert space and the set of bounded linear operators on it respectively. As a graduate student entering the field of ...
1
vote
0answers
91 views

Limit of a simple function including a zero of the Riemann Zeta function

Lets consider : $$F(x)= \sum_{n\in\mathbb{N}} n^{-s_0} e^{2i\pi nx}$$ This function is well defined for $x>0$ (Abel summation formula proves it) and I would like to show that if $s_0$ is a zero ...
0
votes
0answers
61 views

Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?

The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question: Given ...
1
vote
1answer
121 views

Infinite sum of asymptotic expansions

I have a question about an infinite sum of asymptotic expansions: Assume that $f_k(x)\sim a_{0k}+\dfrac{a_{1k}}{x}+\dfrac{a_{2k}}{x^2}+\cdots$ with $a_{0k}\leq \dfrac{1}{k^2}$, $a_{1k}\leq ...
3
votes
2answers
112 views

Positive definiteness of infinite tridiagonal matrices

I am interested in the following problem: I have an infinite symmetric tridiagonal matrix $$ A= \begin{bmatrix} a_1 & b_1 & & & \\ b_1 & a_2 & b_2 & & ...
3
votes
0answers
53 views

Equivalence of fractional Sobolev space defined through Gagliardo norm and interpolation; dependence on the domain

Let $\Gamma$ be a smooth hypersurface in $\mathbb{R}^n$. We can define the fractional Sobolev space $$X = \{ u \in L^2(\Gamma) \mid |u|_X^2 := \int_\Gamma \int_\Gamma \frac{|u(x)-u(y)|^2}{|x-y|^{n+1}} ...