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

learn more… | top users | synonyms (1)

1
vote
0answers
73 views

Diagonalization of the matrix $(1/(i+j+\rm{const}))_{i,j}$

Consider the following infinite matrix: $A_{i,j}=\frac1{i+j+\gamma}$, $0\leq i,j<\infty$, $\gamma>0$ is a constant. Is it known how to diagonalize $A$, or, say, calculate $(I+tA)^{-1}$ for ...
3
votes
1answer
48 views

Example of joint cyclic and separating vector

Let $\mathcal{H}$ be a separate Hilbert space and $\mathcal{B}(\mathcal{H}) \subset \mathcal{B}(\mathcal{H}) \otimes M_2(C)$ be a W$^*$-inclusion pairs. It is known that this pair share a joint cyclic ...
2
votes
0answers
75 views

density of penalizations of Gaussian probability measures

Let $\mu$ be a Borel probability measure on $\mathbb{R}^d$. By following one of the standard proofs of Bochner's Theorem (mollify, use Fourier inversion and Levy's Continuity Theorem), it is easy to ...
2
votes
2answers
77 views

Uniformly bounded operator family and pointwise convergence

Let $1 \leq p < \infty$ be fixed and let $\Omega \subseteq \mathbb{R}^n$ be open. Let $(Q_n)_{n \in \mathbb{N}}$ be a uniformly bounded family of operators on $L^p(\Omega)$, i.e. there exists ...
0
votes
0answers
18 views

Image of (right) inverse trace map $\xi\colon H^{\frac 12}(\Omega) \to H^1(\Omega)$ dense in $H^1(\Omega)$?

Let $\gamma\colon H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ be the linear trace map which has a right continuous inverse $\xi\colon H^{\frac 12}(\partial\Omega) \to H^1(\Omega)$. Is the image of ...
-4
votes
0answers
32 views

Weak convergence in Lp [on hold]

Got a little problem with this ex. I could use some help. Let $U := \Pi_{i=1}^d(a_i, b_i) \subset \mathbb{R}$ ($a_i < b_i$ for each $i$) and let $f \in L^p(U)$ for some $1<p<+\infty$. Let us ...
0
votes
0answers
63 views

A consequenc of a Lie group act on a Riemannian manifold by isometry

I am learning differential geometry for using this topic in my research. I am stuck to prove following Result which I got in a article. Formulation: Let $ f: [0, 1]\rightarrow \mathbb{R}^2$ be a ...
0
votes
0answers
50 views

Complete solution set of a Convolutional Equation?

Here is a problem that am I stuck and I appreciate any help. In essence, I am trying to show that the only solutions for the described problem are the ones provided below. Best.. Setup: In what ...
0
votes
0answers
86 views

Roots in the solution

It is known that for a one-dimensional self-adjoint operator with periodic boundary conditions, the number of roots is directly related to the eigenstate this eigenfunction belongs to. Now it is ...
0
votes
1answer
424 views

For what nonnegative measures $\mu$ does $\mu*e^{-|\cdot|}\in L^{\infty}$?

I am trying to characterize all measures on $\mathbb{R}$ such that $$ \sup_{x\in\mathbb{R}} \: (\mu*f)(x)<+\infty, $$ where $f(x)$ is some specific integrable functions, such as $f(x)=e^{-|x|}$, ...
12
votes
4answers
2k views

Is there a natural measures on the space of measurable functions?

Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
0
votes
1answer
178 views

Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$? This is similar in the spirit ...
0
votes
0answers
50 views

Reference : Special case of Banach-valued function integration by parts

Let $u \in L^p (0,T; L^1(\Omega))$ with $\partial_t u \in L^p(0,T; L^1(\Omega))$ and $v \in L^q (0,T; L^\infty(\Omega))$ with $\partial_t u \in L^q(0,T; L^\infty(\Omega))$ (with $1/p+1/q=1$ and $p \in ...
-4
votes
0answers
100 views

show that L(X,Y)banach then Y banach

Let {Xα}α∈A be a collection of Banach spaces. It is easy to show that P={(xα):supα∥xα∥<∞} with ∥(xα)∥=supα∥xα∥ is a banach space. If the indexing set A is finite, then it is easy to show that P ...
0
votes
0answers
46 views

Schoenberg correspondence on $L^p$

Schoenberg correspondence states that $\psi: \mathbb R^d\longrightarrow \mathbb C$ is conditionally positive definite and hermitian if and only if $e^{t\psi}$ is positive definite for each $t>0$. ...
7
votes
1answer
277 views

Is there a simple direct proof of the Open Mapping Theorem from the Uniform Boundedness Theorem?

The Open Mapping Theorem, the Bounded Inverse Theorem, and the Closed Graph Theorem are equivalent theorems in that any can be easily obtained from any other. The Closed Graph Theorem also easily ...
1
vote
1answer
88 views

Rademacher type of a Banach space is always less than or equal to 2

Before I ask my question I will provide a brief introduction. I came across the notion of Rademacher type while reading Assaf Naor's article An introduction to the Ribe program, which can be found ...
3
votes
0answers
87 views

Continuously dependent on parameters [closed]

How do we check whether the solution is continuouly dependent on parameters? Let $\Omega$ be a domain with smooth boundary. Say $f$ and $h$ are smooth. Assume that for each $\theta\in (0, 1]$, the ...
1
vote
0answers
57 views

Better version of “Monotonicity methods in Hilbert spaces and some applications to nonlinear PDEs..”

I am asking whether any one knows of a better source for the text Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential equations by H. Brezis which I ...
5
votes
0answers
132 views

Operator arithmetic-harmonic mean inequality with operator-valued weights

Let $\Lambda_1,\dots,\Lambda_n$ be strictly positive definite operators in the Euclidean space $\mathbb{R}^d$. By an operator arithmetic-harmonic mean inequality with weights $\Lambda_i$ I mean the ...
-2
votes
0answers
143 views

Why the definition of continuity is not reversed? [on hold]

I am wondering why continuity is not defined in the reverse order. Take the definition of continuity in topology for example, its definition is defined as: mapping of a topological space $(X, T_X)$ ...
2
votes
0answers
109 views

Classify spaces that make extension theorems hold

Recall a Polish space is a completely metrizable separable space. Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...
1
vote
1answer
175 views

Smooth curves in a Frechet space

Is the space $C^{\infty}([0,1];C^{\infty}(S^1))$ equal with the space $C^{\infty}([0,1]\times S^1)$ ? I am interested in characterizing the smooth curves in the space $C^{\infty}(S^1)$ where $S^1$ is ...
0
votes
2answers
81 views

Book and Papers for properties of uniformly convex and locally uniformly convex and strictly convex Banach spaces.

I am looking for reference books and research articles which cover analysis of uniformly convex and locally uniformly convex and strictly convex Banach spaces.
0
votes
0answers
73 views

The singular value of $F(\theta)=\sin\theta\int_{-a}^{a}e^{-ikz\cos\theta}f(z)dz.$ [closed]

This is the continuation of a previous question Inverse problem to solve out current in the radiation problem? Suppose that a current $f(x)\in L^2(\mathbb{R})$ is compactly supported in $[-a,a]$, ...
3
votes
1answer
115 views

$\lVert u\rVert_{W^{2,p}}$ is bounded above by $\lVert \Delta_p u\rVert_{L^2}$ for $u \in W^{1,p}_0 \cap W^{2,p}$?

I work on a bounded domain in $\mathbb{R}^n$ and let $p \geq 2$ and the operator $\Delta_p u = \nabla \cdot (|\nabla u |^{p-2}\nabla u)$. Does the following inequality (or something similar hold) for ...
2
votes
0answers
75 views

Speed of Approach to Invariant Measure

Let $X_t$ represent a continuous-time Markov process on $\mathbb{R}^d$, say a diffusion with locally Lipschitz coefficients. Suppose that there exists a unique invariant measure $\mu$ on the space, ...
6
votes
1answer
155 views

Domains of raising and lowering operators in QM

I should add that what is known in physics as SUSY QM, is often called the Crum-Darboux method in Mathematics, so don't be confused about this. Let $H : \operatorname{dom}(H) \subset L^2(\Omega) ...
-1
votes
0answers
97 views

What is a definition of functional morphism? [closed]

When reading Towards Higher Categories by John C Baez,J Peter May. I sometimes encounter such terms as functional and ...
2
votes
1answer
110 views

Well-posedness of heat equation with distributional right hand side

The question is about well-posedness of heat equation $$ \frac{\partial\Theta}{\partial t}=\alpha^2\Delta\Theta+p(t)\delta(x-u(t))\delta(y-v(t)),~~ (x,y,t)\in\Omega\times[0,T], $$ subjected to ...
2
votes
1answer
116 views

Eigenfunctions of an infinite summation operator

I would like to find ALL eigenfunctions to the operator, for $f$ a real function on R+*: $f \rightarrow \sum_{1}^{\infty} f(nx)$ So to find $f$ such that: $\sum_{1}^{\infty} f(nx) = \lambda f(x)$ ...
0
votes
1answer
49 views

Galerkin Projection on Integral Operators

I am looking at a research paper that mentions integral operators (which in this case is brought up in reference to shading equations that are integral operators) and it says that we can create a ...
2
votes
1answer
216 views

Laplacian with singular potential

Let $S$ be a $2$-dimensional sphere. Let $p$ be a point in $S$. Let $L$ be a second order elliptic partial differential operator with smooth coefficients defined over the complement of $p$. Near $p$, ...
0
votes
0answers
53 views

Implicit function theorem on boundary points

I have the following examples: (1) $xy-1=0$ with $x\ge 0$. By the implicit function theorem, we can solve when $x\in(0, \infty)$. Here on the boundary we have $y=\frac{1}{x}\rightarrow \infty$ as ...
0
votes
0answers
114 views

$Ax=b$ in a function space (again)

Let $X$ be compact Hausdorff topological space, $C(X)$ denote the algebra of complex-valued continuous functions on $X$, $b\in \mathbb{C}^m$, $\mathbf{A}\in C(X)^{m\times n}$, Let ${\mathbb{C}}^n$ ...
2
votes
1answer
243 views

Banach space of discontinuous functions(Killing continuous functions)

Edit: According to the comment of Prof. Majer, I revise the question: For a metric space $X$, we put $A=\{f:X\to \mathbb{C}\mid \text{f is bounded}\}$. We define two semi norm on $A$ ...
4
votes
1answer
123 views

Can one show that the dual of a quasi-Banach space separates points without explicitly identifying the dual?

I'm interested in a question regarding the identification of some duals of quasi-Banach spaces. However, I'm not familiar with the quasi-Banach literature, so I'm hoping somebody can point me in the ...
9
votes
1answer
165 views

Reference Request: Elliptic differential operators in the Fréchet setting

Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
5
votes
2answers
216 views

A question on density of Lipschitz functions in weighted Sobolev spaces

Recall that for a domain $\Omega\subset \mathbb{R}^n$, the weighted Sobolev space $W^{1,n}(\Omega,\mu)$ is defined as $f\in L^n(\Omega,\mu)$ and the weak derivative $Df\in L^n(\Omega,\mu)$. Let now ...
0
votes
1answer
129 views

A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this. For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...
1
vote
0answers
73 views

Free Endpoint of Minimization Problem

Consider the following minimization problem $$\inf \left\{ \int\limits_{-\infty}^0 \left[ (\psi')^2 + m(y)(\psi - F)^2 \right]\; : \; \psi \in H^1(\left(-\infty,0\right]) \right\}$$ where $m(y) > ...
2
votes
1answer
196 views

A commutative Banach algebra with an abundance of discountinuous functions

Let $A$ be the algebra of all bounded functions from $[0,\;1]$ to $\mathbb{C}$. For $f\in A,\;$ $\omega_{f}$ is the standard oscillation function.. Each of the following two (equivalent) norms ...
0
votes
0answers
63 views

Dipole Transition Integrals - Acceleration Form, What's Wrong?

I should have posted this question in a physics forum, but I think by posting in MathOverflow I may get more responses. The following question may sound stupid, since I'm sure I was wrong somewhere, ...
3
votes
1answer
234 views

When $C(X)$ is an injective $C(X)$-module?

It is an old question if every injective Banach space is isomorphic as Banach space to $C(X)$-space. I would like to know if the weakened module version of this question is answered. More precisely: ...
0
votes
0answers
22 views

continuous extensions of concave functions

Let $N$ be a lattice. For a ring R we denote $N_R := N \otimes R$. My question is the following: Does a continuous and concave function \begin{eqnarray*} f: N_{\mathbb{Q}} \to \mathbb{R} ...
8
votes
1answer
398 views

A question concerning separate and joint continuity of bilinear maps

Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and $f \restriction C^2$ ...
0
votes
0answers
53 views

$\Delta$ is generator, $u\in D_{loc}(\Delta) \cap L_{loc}^{\infty}$ and $\varphi \in D(\Delta) \cap L^{\infty}$, then $u\cdot \varphi \in D(\Delta)$? [closed]

Let $X$ be an n-dim, non-compact Rimannian manifold without boundary, denote the measure $m=vol$ the Hasdorff volume. Let $\mathcal{E}$ be the canonical Dirichlet form on $X$ with domain ...
10
votes
2answers
458 views

Banach space modulo a one-dimensional subspace =?

My question is the following: Given an infinite dimensional Banach space $E$ and a one-dimensional linear subspace $F\subset E$. It is well-known that this one-dimensional linear subspace is closed ...
1
vote
1answer
109 views

Nonlocal Stefan problems

Has there been much work in the setting of Stefan (or general free boundary) problems with some type of nonlocality? A search on Google and MathSciNet give me only a handful of results which greatly ...
17
votes
0answers
242 views

Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to (0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space $X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point set ...