Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

0
votes
0answers
13 views

Difference isometrically isomorphism and homeomophism.

What is the difference between isometrically isomorphism and homeomorphism?is an isometric mapping is continuous?
0
votes
0answers
13 views

can we expect a bounded approximate identity in $L^{1}(\mathbb R)$, whose Fourier transform at particular point is zero?

Let $\phi:\mathbb R \to \mathbb C$ be a function; and define $$\phi_{t}(x):=\frac{1}{t}\phi (x/t), (t>0).$$ We let, $\phi\in L^{1}(\mathbb R),$ then $\phi_{t}\in L^{1}(\mathbb R);$ in fact, we ...
1
vote
0answers
22 views

L1 error for scale/translation classes

This is an example given in the article about testability (Devroye and Lugosi 1990) (link: http://repositori.upf.edu/bitstream/handle/10230/1024/375.pdf?sequence=1 ) page 7. First I will introduce my ...
1
vote
0answers
29 views

Properties of the essential supremum

In the article about testability of densities (Devroye and Lugosi 1999, page 4) (link: http://repositori.upf.edu/bitstream/handle/10230/1024/375.pdf?sequence=1 ). They use some properties of the ...
2
votes
0answers
59 views
+50

Uniform continuity of the function $x(t)=e^{tA}x$

Let $A$ be a bounded operator on a Banach space $X$. Consider the exponential function $x(t)=e^{tA}x:=\sum_{n=0}^{+\infty}\dfrac{t^nA^n}{n!}x$, for all $t\in \mathbb{R}$, where $x\in X$. If the ...
0
votes
1answer
18 views

Show that P is an L-projection iff $P^{*}$ is an M-projection

I have started reading "M-ideals in Banach spaces and Banach algebras", but I stuck on the first page. It says that "there is an obvious duality between L- and M- projections: P is an L-projection ...
0
votes
1answer
23 views

Trace theorem for Sobolev functions: what is the significance of continuous extension to the boundary?

Why in the proof of the trace theorem in L.C.Evans' book on PDE, he has considered functions in $W^{1,p}(\Omega)\bigcap C(\overline{\Omega})$ when it is enough to choose functions in ...
1
vote
1answer
21 views

Paley projection is not absolutely summing

It is well known that the operator $P: H^{1}(\mathbb{T}) \to \ell_2$, given by $Pf= (\hat{f}(2^{n}))_{n \in \mathbb{N}}$ is bounded and its restriction $P_{|A(\mathbb{D})}: A(\mathbb{D}) \to \ell_2$ ...
1
vote
0answers
37 views

Soft Question: Idea behind complete orthogonal system [on hold]

this is my foray into fourier analysis and I'm already daunted by some of the terminology used. I hope some of you can provide me with some answers that are intuitive and approachable. What is a ...
6
votes
1answer
63 views

Alternative proof for the fact that a continuous function on a closed interval attains its boundaries.

Let $f:[a,b]\to \mathbb{R}$ be a continuous function. We are interested in showing that $\exists \beta \in [a,b]$, such that $f(\beta) = M$, where M is its upper boundary. I have managed to proof ...
0
votes
0answers
45 views

norm of a singular integral operator

My question is from Harmonic Analysis, about the study of singular kernels (in the Calderon Zygmund sense.) Suppose that a kernel $K$ has the cancellation property, and decays like $\frac{1}{|x|^n}$ ...
1
vote
2answers
34 views

Introduction to Toeplitz operators

I just finished my undergraduate education in mathematics, and i'm starting a graduate program, and i get interest for learning to work with Toeplitz operators, but i have no background with ...
2
votes
1answer
34 views

Spherical coordinates and Lebesgue integral

I found a textbook that says that $r \in [0,\infty), \theta \in [0,\pi], \phi \in [-\pi,\pi]$ are the spherical coordinates. Then he goes on with: This corresponds to a unitary map $L^2(\mathbb{R}^3) ...
0
votes
1answer
37 views

Proof of the Hahn-Banach separation theorem

In the proof of the Hahn-Banach separation theorem my notes claim the following: Let $X$ be a normed $\mathbf{R}$ vector space, $A,B\subset X$ be nonempty, disjoint, convex, $A$ compact and $B$ ...
3
votes
0answers
43 views

Functions with compact support

I have a question about a convergence of functions with compact support. SETTING Let $d\geq 3$ and $U \subset \mathbb{R^{d}}$ be open and $dx$= Lebesgue measure on $U$. Let $b_{i},c,d_{i} \in ...
1
vote
0answers
24 views

Fredholm index for 1-d Schroedinger operator

if I look at a Schroedinger-operator $-\frac{d^2}{dx^2} +V$ on a compact intervall $[a,b] \subset \mathbb{R}$ and I take boundary conditions that this operator is self-adjoint (for example periodic ...
1
vote
1answer
22 views
+50

A question about conic sets of functionals.

The problem is the following. Let $(X,\|\cdot\|)$ be a normed space and let $C \subseteq X$ be a closed convex set with nonempty interior. Let be $x\in C$. I define to be a "normal cone to $C$ in ...
2
votes
1answer
63 views

A special property of $\limsup$ in $\ell_1$

Let $w$ be any element in $\ell_1$, and $(w_n)$ be a bounded sequence in $\ell_1$ that converge to 0 pointwise. I want to prove ...
1
vote
0answers
16 views

Simple question about matrices cones

Fix a dimension $d>1$ here. A cone is non empty closed and convex subset $K$ of $\mathbb{R}^{d}$ such that $tv\in K$ whenever $t>0$ and $v\in K$ and $K\cap -K=\{0\}.$ I have a finite set of ...
0
votes
0answers
24 views

TT* Duality argument

I am trying to obtain $L^p$ estimate for a system of nonlinear PDE. I do not have $L^2$ to work with for my problem, I heard $TT^*$ argument is useful tool if one wishes to mapp from $L^p$ to $L^p$. ...
4
votes
2answers
86 views

Two questions in spectral theory: the spectrum of the Fourier transform and the Hamiltonian of the hydrogen atom.

I have the following two questions: The Fourier transform defines a unitary (provided that it is normalized properly) map $\hat{\cdot}:L^2(\mathbf{R})\rightarrow L^2(\mathbf{R})$. I figured out its ...
0
votes
1answer
47 views

Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class

I have a Sobolev space related question. In the book 'Measure theory and fine properties of functions' by Lawrence Evans. I know the result that states that for $f: \Omega \rightarrow \mathbb{R}$. $f$ ...
1
vote
1answer
38 views

Banach valued sequence spaces $\ell^p(X)$

Let $X$ be a Banach space and $\ell^p(X)$ denote the space of sequences $x_i\in X$ for which the norm $\big(\sum_{i=1}^\infty\|x_i\|^p\big)^\frac1p$ is finite, when $X=\mathbb{R}$ we get the usual ...
0
votes
1answer
10 views

Question about Neighborhood basis

In the Simon Reed text, after defining the strong operator topology it is said: "A neighborhood basis at the origin is given by the sets of the form $\{S \ | \ S \in \mathcal{L}(X,Y), ...
1
vote
0answers
14 views

Basis representation for non-negative, compact support, reasonably smooth spectral function

I was wondering if anyone has ideas on representing a non-negative, compact support (from x=-1 to 1 on the real axis) spectral function as a superposition of basis elements. Ideally, the basis ...
10
votes
1answer
108 views

Why are $L^p$-spaces so ubiquitous?

It always baffled me why $L^p$-spaces are the spaces of choice in almost any area (sometimes with some added regularity (Sobolev/Besov/...)). I understand that the exponenent allows for convenient ...
1
vote
1answer
34 views

Operator $Au(t) = \int_0^t e^{t-s} u(s) ds$ (Proof Verification)

Consider the space $C([0,1])$ with $||\cdot||_\infty$ norm. Let $A: C([0,1])\rightarrow C([0,1])$ be the operator defined by $$Au(t) = \int_0^t e^{t-s} u(s) ds.$$ And I am not 100% sure about (c), ...
0
votes
1answer
30 views

Exercise about spectrum of selfadjoint operator.

I'm stuck on an exercise about the spectrum of a selfadjoint operator on a Hilbert space. The problem is the following: Let $(X,\langle \cdot, \cdot\rangle)$ a Hilbert space and let $A \in B(H)$ a ...
1
vote
1answer
26 views

Finite Measure Space: Integral Closure = Bochner Integral

I can't sleep for so long time as the integral gives me headaches. I was looking for so many approaches. Now another one. Hope this works... Let $\Omega$ be a finite measure space and $E$ a Banach ...
2
votes
1answer
19 views

Contraction mapping problem

Let $T$ be the following operator on $C[0,1]$: $$(Tu)(t) = u(0) + \lambda\int_0^t u(\tau)d\tau$$ where $\lambda \in (-1,1) \subset \mathbb{R}$. Then I need to show $T$ is a contraction. So I need ...
2
votes
1answer
44 views

Properties of the Double Layer Potential

Consider the double layer potential $$ W_{\nu}(x) = \int_{\partial\Omega} \nu(y) \frac{\partial}{\partial n_y}\left( \frac{1}{|x - y|} \right) d \sigma_y $$ for a bounded region $\Omega \in \mathbb ...
0
votes
1answer
32 views

How do the inner products on $L^2$ look like?

I was wondering whether all scalar products in $(L^2[0,1],\lambda)$ are given by $\langle f,g \rangle := \int f(x)g(x) \cdot w(x) d\lambda(x)$? If this is true, what are the exact conditions that we ...
0
votes
1answer
14 views

Lower semicontinuity

Let $\Omega\subset\mathbb R^n$ be open and bounded. I consider a sequence $u_k:\Omega\to\mathbb R$ of smooth functions which converges uniformly to a function $u:\Omega\to\mathbb R$. Moreover, the ...
0
votes
1answer
124 views

Is this proposition about $L^2$ functions correct?

Is this proposition correct? Will you please give a contour example if it is wrong? If $J \in L^2(\mathbb{R}) \cap C^1 (\mathbb{R})$, $f \in C^{\infty}(\mathbb{R})$, $|f'|\leq K$, where $K > 0$ is ...
31
votes
3answers
492 views
+500

When does a real function together with its derivatives form a basis?

Consider real functions defined on an interval, let's say $[-\pi,\pi]$. Let $s(x)$ be an analytic, periodic function such that all of its Fourier components are non-zero. We build a set of functions ...
0
votes
1answer
32 views

Limit of integral of L^p functions

Let $p\in (0,\infty)$ and $f\in L^p(\mathbb{R})$. Show that $\displaystyle \lim_{n\to\infty} \int_{\mathbb{R}} f(x) \chi_{[-n,n]}\frac{1}{n^{(1-1/p)}} dx=0$. I believe $f(x) ...
0
votes
1answer
16 views

About Sobolev-Poincare inequality on compact manifolds

Let $2^* = \frac{2n}{n-2}$ where $n$ is the dimension of a compact closed manifold $M$. We get from the Sobolev/Poincare inequality the identity $$\lVert u \rVert_{2^*} \leq C\lVert \nabla u ...
3
votes
1answer
74 views

Usual convex combination and the one with measure

Let $X$ be a Borel measurable subset of $\Bbb R^n$ and let $\nu$ be a probability measure on $X$. Can we always find an integer $m$, points $x_1,\dots,x_m\in X$ and coefficients $a_1,\dots,a_m \geq ...
2
votes
1answer
67 views

Does a function that is twice weakly differentiable have a version that is classically differentiable?

I have been wondering about the idea of functions that are weakly differentiable. My intuition tells me that the weak derivative allows one to differentiate functions that either have a removable ...
0
votes
1answer
16 views

Why does T symmetric imply T* extends T?

This is a result I've seen stated a few times, but I can't seem to come up with a proof! Suppose $T$ is a densely defined linear operator with domain $D(T)\subset H$, where $H$ is a Hilbert space ...
-2
votes
0answers
53 views

continuous functional [on hold]

Let $E$ be a Banach space and $\Phi(x)$ is a continuous convex functional of $x \in E$. I have found The following inequality $$\Phi(x) \leq\|\Phi\|\|x\|$$ and I haven't understand it and what's the ...
3
votes
1answer
59 views

How to show a set is compact in a function space?

I have a question asking if $\{f_n\}$ is a compact in $C_b([0,\infty))$ (bounded continuous) with $||\cdot||_{L^\infty}$. The sequence is $$f_n (t) = \sin\sqrt{t+(2n\pi)^2},$$ I have showed that ...
1
vote
1answer
18 views

Showing that a function is bounded in $L^1$ given a bound on its distribution function

Let $f \in L^2((0,T)\times\Omega)$ where $\Omega$ is a compact manifold. Suppose I know that for every $k > 0$, $$\mu(\{|f| > k\}) \leq Mk^{-\frac 12}$$ for some constant $M$ (which is ...
1
vote
1answer
24 views

Question about the basis for the topology on an inductive limit of Frechet spaces

Let $X$ be a complex vector space, and let $\{X_n\}_{n=1}^\infty$ be a sequence of vector subspaces such that $X_n \subseteq X_{n+1}$ for all $n$ and $X = \bigcup_n X_n$. Furthermore, suppose that: ...
0
votes
1answer
28 views

If $S$ is dense in $L^{2}$. Is it true that $pS=\{pf| f\in S, pf\in C^{\infty}\} $ is dense?

Let $S=\{f\}$ be a set of function defined in a compact subset $\Omega\subset \mathbb{R}^{n}$ such that $S$ is dense in $L^{2}(\Omega)$. Is it true that for $p\neq 0$ a rational function $pS=\{pf| ...
2
votes
1answer
23 views

Definition and analyticity of $T^z$ where $T$ is a positive operator

Let $H$ be a Hilbert space. Suppose that $T\colon D(T) \to H$ is a positive selfadjoint operator where $D(T)$ is the domain of $T$. The spectrum $\sigma(T)$ of the operator $T$ is a subset of ...
2
votes
0answers
34 views

Contraction mapping principle application

I'm to prove that the following equation has a unique solution: $$f(x) = \int_0^1 e^{-sx} \cos(\alpha f(s)) ds.$$ (Here, $\alpha \in (0,1)$.) The form of the exercise screams to apply the ...
3
votes
1answer
28 views

Local convexity of the topology of weak convergence of probability measures

Let $X$ be a Polish or standard Borel space, and $\mathcal P(X)$ be the space of all Borel probability measures on $X$ endowed with the topology of weak convergence. I am thinking of using ...
2
votes
1answer
27 views

Continuity of a functional with respect to two different norms

Let $J$ be a functional defined on $E = C^1[a,b]$ by $$J(y) = \int_a^b \sqrt{1 + (y^{\prime}(x))^2} \, dx.$$ Define the following two norms on $E$: $$\|y\|_{\infty} = \max_{a\leq x\leq b} |y(x)|$$ ...
1
vote
1answer
86 views

Spectral theory

I have absolutely no idea about Spectral theory and want to ask some fundamental questions. 1.) What does it mean that the resolvent of an operator is Hilbert-Schmidt? (Cause I saw a theorem that was ...