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)

1
vote
2answers
44 views

Inequality involving inner product and an othonormal set of vectors

$ \newcommand{\ip}[2]{\left\langle #1,#2 \right\rangle} $ Here is the statement of the problem: Suppose that $V$ is a real inner product space with an inner product $\langle\cdot,\cdot\rangle$, and ...
3
votes
1answer
18 views

Limit (in probability) of sequence of independent random variables

We have $\{X_n\}$ independent random variables which converge to $X$ in probability. I was asked to prove that $X$ is constant, but I can only do that when some $X_n$ has finite variation or what is ...
1
vote
2answers
42 views

An equality in Hilbert spaces

To understand a proof in functional analysis I need to understand why the following equation is true: $$\lVert x\rVert^2 - \sum_{j=1}^n |x_i|^2 = \Biggl\lVert x-\sum_{i=1}^nx_ie_i\Biggr\rVert^2$$ ...
3
votes
2answers
133 views

completeness of cones in an ordered normed space

Let $(X,\|\cdot\|,\le)$ be a normed, ordered vector space over $\mathbb{R}$ and let $X^+=\lbrace x\in X:x\ge0\rbrace$ denote the (positive) cone in $X$. with a metric $d$ induced by the norm ...
6
votes
0answers
58 views

Do Electrical Engineering Researchers Usually Know Higher Math? e.g. Measure and Distribution Theory, Functional Analysis

I am an EE undergraduate student, and I recently took two courses in signals and systems. We were exposed to things like the Dirac delta (without mention of distributions), Fourier series (without ...
0
votes
0answers
69 views
+50

Integrating an infinite sum (statement from paper)

Let us work on a bounded domain $\Omega$ with Neumann BCs, with $\varphi_k$ and $\lambda_k$ being the orthonormalised eigenvectors and eigenvalues of the Neumann Laplacian. Define $$v(x,y) = \sum_{k ...
0
votes
0answers
23 views

How to get the potential and the gradient of this function?

How to calculate the potential $P_3:\mathbb{R}^3\rightarrow\mathbb{R}$ with the $\nabla P_3=f_3$ of the function $f_3:\mathbb{R}^3\rightarrow\mathbb{R}^3$ with $\large ...
2
votes
1answer
18 views

Convolution with standard mollifier

Let $\Omega \subset \mathbb{R}$ open and $f \in L^p(\Omega).$ Now, we define $$\eta(x):=\chi_{[-1,1]}(x) e^{\frac{-1}{1-x^2}}.$$ Then we define $$\eta_h(x):=\frac{1}{h} \eta( \frac{x}{h}).$$ This ...
3
votes
1answer
81 views

Is the space of almost everywhere differentiable function with bounded derivative embedded with uniform norm complete?

Let $A$ be the space of almost everywhere differentiable functions $[0,1]\rightarrow [0,1]$, and when differentiable, their derivatives are bounded by $M$. I'm aware that the space of almost ...
2
votes
1answer
28 views

What is a linear functional on continuous functions on the real line not given by a measure?

What is a positive linear functional on continuous functions on the real line not given by integration against a measure? I know that the dual of $C_c(\mathbb R)$ is the set of Radon measures, ...
0
votes
0answers
4 views

How to construct a fundamental solutions of a PDE from well-posedness?

A fundamental solution of a linear operator $P$ on a manifold $M$ is a distribution $G$ such that: $$P(G)=\delta(x-y)$$ In formal terms this is stated as given a test function $\phi$ then: ...
0
votes
1answer
27 views

When the Multiplier algebra of a Banach algebra is exactly equal to the operator algebra?

Let A be a Banach algebra. B(A) and M(A) be the operator algebra and the multiplier algebra of A, respectively. When we have M(A)=B(A)?
1
vote
1answer
16 views

Reference for the statement “bilinear form $a$ is symmetric if and only if the operator $S$ is self-adjoint”

Thanks to Riesz representation theorem, a continues bilinear (sesquilinear) form on Hilbert space $$a: \mathcal H\times \mathcal H\rightarrow\mathbb R \ \ (\text{or} \ \ \mathbb C)$$ can be ...
1
vote
2answers
60 views

Are continuous functions with compact support bounded?

While studying measure theory I came across the following fact: $\mathcal{K}(X) \subset C_b(X)$ (meaning the continuous functions with compact support are a subset of the bounded continuous ...
2
votes
1answer
47 views

Spectral Measures: Scaled Spaces

Problem Given a Hillbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Denote its probability measures by: ...
0
votes
0answers
29 views

Is $H^2(\Omega)\cap H_0^1(\Omega)$ compactly embedded on $H_0^1(\Omega)$?

Considering $\Omega$ bounded and $\partial \Omega$ smooth. I already know that $H^2(\Omega)\cap H_0^1(\Omega)$ is continuously embedded on $H_0^1(\Omega)$, thus if I take a bounded sequence in ...
2
votes
1answer
30 views

Example: Operator with empty spectrum

I tried Google and a few books but couldn't find a suitable example. Does anyone know an example of an (unbounded closed) Operator BETWEEN HILBERTSPACES(!), that has empty spectrum? Thanks for your ...
1
vote
0answers
10 views

Question about sub differentiability of convex function

I am reading this book to study sub differentiability. On page 20 it says, as $V$ is a normed linear space for simplification, "a continuous affine function $l(v)$: $V\to \mathbb R$ everywhere less ...
0
votes
0answers
7 views

Question about affine isometric action

Recently, I read the book Kazhdan's Property (T). There is a lemma on the page 75 (Lemma 2.2.1) as following: Lemma. Let $\pi$ be an orthogonal representation of $G$ on $H^0$. For a mapping $\alpha: ...
0
votes
0answers
17 views

Conway’s Functional Analysis, VIII §3 Exercise 11

This exercise is a step to proving inequalities involving non-commuting elements of a C*-algebra. (In particular in the subsequent exercise 12). Unfortunately I do not see, how to prove part (a): For ...
1
vote
0answers
22 views

Dimension of a measure in terms of linear form on continuous functions

So this might be a bit of a weird question, but here goes. It is well-known (Riesz representation theorem) that the dual space of continuous functions on a compact $K$ identifies with the space of ...
3
votes
1answer
96 views

Spectral Measures: Helffer-Sjöstrand

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a function: $$f\in\mathcal{C}^\infty_0(\mathbb{R}):\quad ...
10
votes
1answer
132 views

What is the strongest possible statement of the idea that “the tangent line is the best linear approximation”?

For instance, I've just checked that that if you take the best linear approximation (in the $L^2$ sense) to a sufficiently nice function $f$ on the interval $[-\varepsilon, \varepsilon]$, and then let ...
0
votes
1answer
34 views

Continuous linear operator T at a point T is then continued

The problem is the next If T is continuous at a single point, it is continuous, without using that T is continuous iff T is bounded. I tried this result as follows If T is continuous at a single ...
0
votes
0answers
22 views

Prove or disprove that $φ_v:u\mapsto \langle\mathcal A u,v\rangle$ is in $V^*$

Let us consider a linear and continuous operator on a Hilbert space $V$, $\mathcal A:V\rightarrow V$, such that: $$\|\mathcal A u\|\leq M \|u\|, \ \ \forall u\in V, M>0$$ and now consider ...
2
votes
1answer
38 views

Linear Operators Denseness and Injectivity

I'm studying for a Real Analysis prelim and have the following problem: "Let $X$ and $Y$ be normed spaces over $\mathbb{R}$ and let $$\mathcal{L}(X, Y) = \{T: X \rightarrow Y \mid T \text{ is bounded ...
2
votes
2answers
26 views

Compact sets are bounded: shape of the cover matters?

To prove a compact sets is bounded, we assume there's a "open ball cover" (each with R=1) that covers the set. And take maximum distance over the center of the balls +2 as the boundary. Why could we ...
1
vote
1answer
41 views

Mourre Adjoint: Bounded Maps (II)

This thread is only Q&A! Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard the domain: ...
0
votes
1answer
49 views

Mourre Adjoint: Bounded Maps (I)

This thread is only Q&A! Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard the domain: ...
0
votes
1answer
48 views

Mourre Adjoint: Bounded Maps (III)

I will provide an answer later... Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ And an operator: ...
3
votes
1answer
35 views

Strict positiveness on a C*-algebra given by generators and relations.

Let $A$ be a C*-algebra with generators $a_1,a_2,\ldots,a_n$ and some (non-important) relations (the relations imply that $\|a_i\|\leq 1$, so that $A$ exists). Among the given relations we have that ...
2
votes
1answer
27 views

Gradient of the Fourier transform of a function

I am wondering if there is a simple way to express the first variation of the Fourier transform of a function as a function of said function. In other words, if $g:x\mapsto F(f)(x)$, where $F(f)$ is ...
1
vote
0answers
36 views

A convergence problem for a sequence of functions

Let $\{f_n\}$ be a sequence of functions in $L^p$ with $0<p<1$ let $b>1$ and $(b^n(f_{n+1}-f_{n})\rightarrow 0)$ what we can say about $\{f_n\}$ ?is it Cauchy?
3
votes
1answer
34 views

Estimate for a weak solution to a PDE

Let $f \in L^2(B_R(0))$ and let $u \in W^{1,2}(B_R(0))$ be a weak solution of the equation $$Lu = - \sum_{i,j=1}^{n} D_i(a_{ij}D_ju)+ \sum_{i=1}^{n} b_i D_i u + cu =f.$$ There are constants $0 \le ...
1
vote
1answer
19 views

Codimension 1 closed subspace as a kernel of a functional

My non-linear analysis book says that if I have a linear operator $T:X\to Y$ with close range $R$ and $\operatorname{codim}(R)=1$ (and also $\dim(\ker(T))=1$) then there exists $\phi\in Y^{*}$ such ...
2
votes
1answer
33 views

Sobolev space on a closed subset

Hi I have a question about Sobolev spaces. Let $U \subset \mathbb{R}^{d} $ be a bounded open subset and $dx$ be a Lebesgue measure on $U$ \begin{align} W^{1,2}(U):=\left\{u \in L^{2}(U;dx): ...
-2
votes
0answers
21 views

Why does $M$ have a limit rank in the operator norm? Why is $S$ bounded? [on hold]

Define operator $S$ and $M$ on $\ell^2$ by $(SX)_n = \begin{cases} 0 & n = 0 \\ x_{n - 1} & n > 1 \end{cases}$ $(Mx)_n = \dfrac{1}{n + 1} x_n,\qquad n \ge 0$ Why does $M$ have a limit ...
3
votes
2answers
50 views

Sufficient condition for $0$ to be in a closed convex hull in a Hilbert space.

I am working on the following problem: Let $\mathcal{H}$ be a Hilbert space, let $\left\{a_n\right\}_{n=1}^\infty \subset \mathcal{H}$ be a sequence such that $||a_n|| = 1$, and consider the ...
0
votes
1answer
41 views

Show that the space $ℓ^0=\{\{a_j\}_{j=1}^{\infty}\subset \mathbb C\mid a_j=0\text{ for } j>>1\}$ is not complete

Show that the space $$\ell^0=\{\{a_j\}_{j=1}^{\infty}\subset \mathbb C\mid a_j=0 \text{ for } j\gg1\}$$ with inner product $$(a,b) \in ℓ^0\timesℓ^0 \mapsto \langle a,b\rangle =\sum_{j=1}^\infty ...
0
votes
1answer
16 views

Infinite sum of bounded linear operators on a Hilbert space

Let $\mathcal{H}$ be an infinite-dimensional, separable, complex Hilbert space, and let $\mathbf{a}$ and $\mathbf{b}$ be bounded linear operators on $\mathcal{H}$ such that ...
-2
votes
2answers
26 views

Locally boundedness of some L^p spaces.

It is well known that $L^p$ spaces for $ 0<p<1 $ are not locally convex. I would like to know whether they are locally bounded.
-1
votes
1answer
91 views

Is $T$ a compact mapping from $W_{0}^{1,2}\left(\Omega\right)$ into itself? [on hold]

Let $\Omega$ be an open bounded subset in $\mathbb{R}^{6}$ and $f$ be in $L^{8}\left(\Omega\right)$. For any $w$ in $W_{0}^{1,2}\left(\Omega\right)$, define $T\left(w\right)$ be in ...
0
votes
2answers
71 views

Compactness of the identity operator

As far as I know, by Rellich-Kondrachov theorem, we can say $I:H_{0}^{k}\to H_{0}^{m}$, for $m<k$ is a compact operator, where $H_{0}^{k}=\{f\in H_{{}}^{k}|f(0)={f}'(0)=\cdots ={{f}^{(k)}}(0)=0\}$. ...
2
votes
2answers
36 views

Functional Analysis (Topological and Isometric Isomorphisms)

Give an example that if two normed linear spaces are topologically isomorphic then they need not be isometrically isomorphic. I searched my book and on the Internet but in vain.
0
votes
1answer
25 views

Prob. 8, Sec. 4.2 in Kreyszig's functional analysis book: Nonnegativity of a subadditive functional outside a sphere implies nonnegativity

If a subadditive functional $p$ defined on a normed space $X$ is non-negative outside a sphere $\{ \ x \in X \ \colon \ \Vert x \Vert = r \ \}$, then how to show that $p$ is non-negative for all $x ...
-1
votes
1answer
25 views

Prob. 3, Sec. 4.2 in Erwin Kreyszig's Functional Analysis: How to show that $\lim\sup$ is sublinear?

Let's consider the real space $\ell^\infty$ of all bounded sequences of real numbers. Let $p \colon \ell^\infty \to \mathbb{R}$ be defined by $$p(x) \colon= \lim\sup_{n \to \infty} \xi_n \ \mbox{ for ...
4
votes
1answer
63 views

Compute the spectrum of the integral operator $K:L^2([0,1]) \to L^2([0,1])$ defined as $(Kx)(t) = \int_0^t x(s) ds$

Let $K:L^2([0,1])\rightarrow L^2([0,1])$ be the linear operator defined by $$(Kx)(t)=\int_0^tx(s)ds, \quad x \in L^2([0,1]).$$ Now I have to compute the spectrum, but I don't have any idea how to do ...
1
vote
0answers
18 views

Domain of closed unbounded operator

Let $A$, $B$ be two closed unbounded operators such that: (1) there exists dense subspace $\mathcal{D}$ of $Dom(B)$ which is contained in $Dom(A)$, (2) for every $\psi \in\mathcal{D}$ it holds $$ ...
3
votes
1answer
90 views

How to show that the normed space $(\ell^2, \|\cdot\|_2)$ is complete

Show that the normed space $(\ell^2, \|\cdot\|_2)$ is complete. I am not sure where to even start with this question. I'm quite sure it involves Cauchy and also Bolzano-Weierstrass but I'm not sure ...
0
votes
2answers
45 views

Differentiating $f(x)=\sum_{i=1}^{N}|x-y_i|^2$ where $y_1,…,y_N\in \Bbb{R}^n$.

Let $y_1,...,y_N\in \Bbb{R}^n$ and let $f(x)=\sum_{i=1}^{N}|x-y_i|^2$. I need to show that $f$ has a minimum. I try to differentiate but I am having troubles doing so. First of all, does $|x-y_i|$ ...