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
1answer
37 views

calculate solution of heat equation with method of separation of variables

let the following problem $$ \begin{cases} \dfrac{\partial u}{\partial t}= \dfrac{\partial^2 u}{\partial x^2}, 0<x<1, t>0\\ u(0,t)=0, u(1,t)+ \dfrac{\partial u}{\partial x}(1,t)=0\\ ...
1
vote
0answers
33 views

Sobolev spaces on Riemannian manifold

I know one can define the Sobolev spaces on a Riemannian manifold as completions, but is there an equivalent definition that uses weak derivatives, like in the case of open sets in $\mathbb{R}^n$ ? ...
1
vote
1answer
26 views

Singular integral operator

i got the following problem to solve. Let $0 < \alpha < 1$, $L \in L_\infty([0,1]^2)$, $D = \{(x,y) \in \mathbb{R}^2: x = y\}$ the diaagonal of $\mathbb{R}^2$ and $k:[0,1]^2 \setminus D \to ...
1
vote
0answers
24 views

If Fourier sequence $\{H_n\}$ of a function $f$ converges almost everywhere to a function $g$, then $f=g$ almost everywhere?

if $\{H_n\}$ fourier sequence of a function $f$ converges almost everywhere to a function $g$ then $f=g$ almost everywhere Where $H_n = n$th fourier series of $f$. True or False?
3
votes
0answers
20 views

Existence of Star Cyclic Vector for $M_\phi$- Necessery and sufficient condition

Let $X$ be a $\sigma$-finite measure space. $M_\phi :L_2(\mu)\rightarrow L_2(\mu)$ for $\phi \in L_\infty (\mu)$ is defined by $f \rightarrow \phi. f$. $f_0$ is called a star cyclic vector for ...
-1
votes
1answer
21 views

Sequence converging to a closed set

How can I prove that A sequence generated by a particular algorithm converges to a set? i.e irrespective of the starting point the sequence converges to any of the points in a set, or oscillates ...
0
votes
0answers
29 views

For any function $f$ in $L^2(-π,π)$, is it true that $||f||_{L^2}$ $\leq$ $C||f||_{\infty}$?

For any function f in $L^2(-\pi,\pi)$, is it true that $||f||_{L^2}$ $\leq$ $C||f||_{inf}$ ? I came up with this question because in An Introduction to Hilbert Space by N.Young, right before ...
0
votes
0answers
12 views

Norm vs A-norm in non-Archimedean Functional Analysis

Let $K =(K,| \cdot |)$ be a non-Archimedean valued field. Let $E$ be a $K$-vector space. A norm on $E$ is a map $||\cdot||:E\to[0,\infty)$ such that: $||x||=0$ if and only if $x=0$, $||\lambda ...
1
vote
1answer
38 views

Rellich's theorem fails at the end point.

If $\{f_k\}\subseteq H^s(\Bbb{R}^d)$ is a bounded sequence and support of each $f_k$ is contained in a common compact set, then there exists a subsequence that converges in $L^q$ for $\forall$ $q, ...
1
vote
1answer
32 views

Schwartz function whose Fourier transform is compactly supported and $\geq 1$ on the unit ball.

I need to construct such a function but the closest I have come to is to take $f(t) = e^{-|t|}, t\in\Bbb{R^d}$. But its Fourier transform is not compactly supported as is $\hat{f}(x) = ...
0
votes
0answers
15 views

Bounded sequence in Sobolev space has a convergent subsequence

Suppose $\{\phi_k\}$ are a bounded sequence of distributions on in $H^s(\Bbb{R^d})$, where $0<s<\frac{d}{2}$ and $H^s$ is the Sobolev space. Then the sequence has a subsequence that converges in ...
1
vote
0answers
15 views

Root distance function in Metric space [duplicate]

Let $\mathbf X = \Bbb R$ with distance function defined by $d(x,y) = {|x-y|}^\alpha$ , where $\alpha \in \Bbb R$ $(0<\alpha\le1)$. Prove that $(\Bbb R , d)$ is a metric space. The first three ...
0
votes
0answers
9 views

Compostion of tempered distribution and linear map.

While solving a particular problem about composition of tempered distributions and an affine transformation, I ended up having to prove the following for $u\in\mathscr{S}'$ and a linear transformation ...
0
votes
0answers
21 views

Spectral radius of an element in a Banach algebra

I want to solve this problem: Let $A$ be an unital Banach algebra and $a\in A$ then \begin{equation} r(a)<1 \Longrightarrow \lim_{n\to \infty} a^n=0 \Longrightarrow (1-a)^{-1}=\sum_{n=0}^\infty ...
4
votes
1answer
25 views

The second isomorphism theorem for C*-Algebras

in my functional analysis class right now we are studying the basics of C* Algebras and I was recently asked this question about the second isomorphism theorem for C* Algebras, but first let me cite ...
0
votes
0answers
8 views

Extremum of Laplacian of a function

Let f(x,y,z) be any arbitrary continuous function. Let's denote Laplacian of f by $\nabla^2 f$. 1) How do we denote the extremum of $\nabla^2 f$ mathematically ? 2) how do we solve for such ...
0
votes
0answers
28 views

Regularity of the solutions of the infinite dimensional dynamical systems

Consider a densely defined unbounded operator $A:D(A)(\subset H)\to H$ which is infinitesimal generator of a strongly continuous semigroup $\mathbb{T_{t\ge0}}$ for the following dynamical system: ...
0
votes
1answer
16 views

Definition of homogeneous distribution.

I ran into the following definition: If $u$ is a distribution on $\mathbb{R}^d$, then $u$ is called homogeneous of order $m$ if $u(\lambda x) = \lambda^m u(x)$, $x\in\mathbb{R}^d$. But $u$ is not ...
1
vote
0answers
10 views

Given $u \in W^{1,p}(\Omega)$ then $\overline{\alpha u} \in W^{1,p}(\Omega)$, with $\alpha \in C^1 \cap L^{\infty},\nabla \alpha \in L^{\infty}$

Given $u \in W^{1,p}(\Omega)$ and $\alpha$ a function which verifies $\alpha \in C^1(\Omega)$, $\alpha \in L^{\infty}(\mathbb{R}^n)$, $\nabla \alpha \in L^{\infty}(\mathbb{R}^n)^n $ y $supp(\alpha) ...
0
votes
1answer
32 views

Characterization of elements of $X^*$ via the Radon-Nikodym theorem

I am reading Lindenstrauss' Classical Banach Spaces II and I am having trouble with the following characterization of integrals. First a couple of preliminary definitions: Let $(\Omega, \Sigma, ...
0
votes
0answers
11 views

Rellich-Kondrachov simple proof

I am looking at a proof of a special case Rellich-Kondrachov theorem here. On page 2 where the proof starts, we construct a sequence of functions to approximate $f \in H^1[0,1]$. I understand that ...
1
vote
0answers
25 views

Let $\alpha$ be a real number. Find the value of $\alpha$ for which the given function is continuous and differentiable.

Let $\alpha$ be a real number. Consider the function $$g(x)=(\alpha+|x|)^2e^{(5-|x|)^2}, \ \ \ -\infty<x<\infty $$ $(i)$ Determine the values of $\alpha$ for which $g$ is continuous at all $x$. ...
1
vote
1answer
27 views

Prove that the set of functions $a_k(x)=\frac{1}{\sqrt{L}}e^{i2\pi k/L}$ are a orthonormal set of functions for $k \in \mathbb Z$

Consinder the space $C(a,b)$ with dot product: $$<f(x)\lvert g(x)>=\int_a^b dx\space f(x)^*g(x)$$ Prove that the set of functions $$a_k(x)=\frac{1}{\sqrt{L}}e^{i2\pi k/L}$$ are a ...
1
vote
1answer
21 views

Operator Sum: Selfadjoint

Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}A\to\mathcal{H}:\quad A=A^{**}$$ Does it follow that: $$S:=\overline{A+A^*}:\quad S=S^*$$ (Rigorous proof?) Densely ...
0
votes
1answer
19 views

Limit of sesquilinear forms is a sesquilinear form

Suppose $P_n$ is a monotone sequences of orthogonal projections in a complex Hilbert space $\mathcal{H}$. I want to show that the limit of the sesquilinear forms defined by: $\Gamma_n(x,y)=(x,P_n y)$ ...
0
votes
0answers
41 views
+100

Regularity, Dirichlet form

I have a question about Dirichlet form. Let $\Omega$ be an Euclidean domain of $\mathbb{R}^{N}$ and $X=\bar{\Omega}$. The measure $m$ on the Borel $\sigma$ algebra $\mathcal{B}(X)$ is given by ...
0
votes
0answers
10 views

family of scalar products

Does there exist an uncountable family of inner products defined on some vector space such that any two norms induced by these products are not equivalent?
0
votes
2answers
20 views

Example of a function $u \in W^{1,p}(\Omega)$ whose extension $\hat{u}$ to be $0$ outside $\Omega$ $\hat{u} \notin W^{1,p}(\mathbb{R}^n)$

Let's consider a function $u \in W^{1,p}(\Omega)$, where $W^{1,p}(\Omega)$ is the Sobolev Space and $\Omega$ is an open set. When we extend $u$ to $\hat{u}$ like this: ...
2
votes
2answers
14 views

Monotone sequence of orthogonal projections on a complex Hilbert space

Suppose $P_n$ is a monotone sequence of orthogonal projections on a complex Hilbert space $\mathcal{H}$, i.e. $V_n= Im(P_n)$ is a decreasing or increasing sequence of subspaces and $P_n^\star=P_n$ and ...
2
votes
2answers
40 views

heat equation-uniqueness of solution

let the following problem $$ \begin{cases} \dfrac{\partial u}{\partial t}= \dfrac{\partial^2 u}{\partial x^2}, 0<x<1, t>0\\ u(0,t)=0, u(1,t)+ \dfrac{\partial u}{\partial x}(1,t)=0\\ ...
1
vote
0answers
14 views

Characterization of noncommutative $L^2$-spaces as ordered vector spaces

If $M$ is a von Neumann algebra and $\tau\colon M_+\to[0,\infty]$ is a normal, semi-finite, faithful trace, the associated GNS Hilbert space is the completion of $\{x\in M\mid \tau(x^\ast ...
0
votes
1answer
35 views

About two subspaces of (1,2)-Sobolev space

I have a question about Sobolev space. Let $\Omega$ be an open subset of $\mathbb{R}^{d}$, we consider the Sobolev space $H^{1}(\Omega):=\left\{ u \in L^{2}(\Omega) : D_{j}u \in L^{2}(\Omega), ...
5
votes
0answers
36 views

A possible norm on a subspace of $C^\infty([0,1])$?

My question is related to this one: Take the vector space of infinitely differentiable functions on $[0,1]$. The standard norm of $C^k([0,1])$ is just the $\ell^1$-norm of the vector $(\|f\|_\infty, ...
0
votes
0answers
28 views

Does convergence almost everywhere to an $L^p$ function and existence of a weakly convergent subsequence guarantee weak convergence?

By assumption, for $p \in (1,\infty)$, I have a bounded sequence of functions $f_n$ in $L^p$ (that is, $L^p$ norms of the functions are uniformly bounded) that converges almost everywhere to a ...
1
vote
1answer
18 views

Continuity of a linear function from $l^1$ to $l^1$

Let $(a_k)_{k \in \mathbb{N}}$ be a sequence of terms in $\mathbb{R}$ satisfying that for each $(x_k)_{k \in \mathbb{N}} \in l^1$, the sequence $(a_kx_k)_{k \in \mathbb{N}}$ converges absolutely. ...
0
votes
0answers
11 views

Evaluation of an integral associated with integral kernel of resolvent of Laplacian

I came across evaluating the following sort of integral when I was considering the integral kernel for resolvent of Laplacian $(I-\Delta)^{-1}$: $$ ...
6
votes
1answer
39 views

$\mu(X) \lt \infty$. Then $f_k \to f$ in measure iff for any subsequence $k_l$, there is a subsequence $k_{l_n}$ such that $f_{k_{l_n}}\to f$ a.e.

Let $\mu(X) \lt \infty$. Then $f_k \to f$ in measure iff for any subsequence $k_l$, there is a subsequence $k_{l_n}$ such that $f_{k_{l_n}}\to f$ a.e. I can show the only if part by using the theorem ...
1
vote
3answers
46 views

$1\le p \lt \infty$ and $f_k$ nonnegative increasing. Then $f_k\to f$ in $L_p$ iff $\sup_k||f_k||_p \lt \infty$.

Let $1\le p \lt \infty$ and $0\le f_k$ increasing to $f$, and $f_k$ measurable. Then $f_k\to f$ in $L_p$ if and only if $\sup_k||f_k||_p \lt \infty$. I was able to show the if part, but I can't ...
1
vote
1answer
23 views

How to proof a basis ${\psi_a}$ is complete?

Why $$\int\text{d}a\psi^*_a(y)\psi_a(x)=\delta(y-x)$$ shows the basis is complete? Even, how is $\delta$ defined? I mean, the most consistent definition. I really dislike the definition by 0 and ...
13
votes
7answers
1k views

Linear Algebra with functions

Basically my question is - How to check for linear independence between functions ?! Let the group $\mathcal{F}(\mathbb{R},\mathbb{R})$ Be a group of real valued fnctions. i.e ...
1
vote
2answers
25 views

Weak formulations: where should the $\forall$ be placed?

Shoud I write (with the appropriate assumptions on $b$ and $l$) Find $u\in U$ such that $\forall v \in V$, $b(u,v)=l(v)$ or Find $u\in U$ such that $b(u,v)=l(v)$, $\forall v \in V$ I tend to ...
2
votes
1answer
25 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_n$, what's the second derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
0
votes
0answers
24 views

Where $X$ is a normed space, show $U_1=\{x \in X:||x|| <1 \}$ is an open set in $X$

Let $X$ be a normed space, show $$U_1=\{x \in X\mid \|x\| <1 \}$$ is an open set in $X$. This is the proof: Let $x \in U_1$, then $\|x\|<1$. Let $e=1-\|x\|$ so $e >0$. If $y \in X$ ...
1
vote
1answer
15 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_{n\in\mathbb N}$, what's the derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
-1
votes
0answers
10 views

Some property of a sequence in Hilbert space [duplicate]

Let $y_1, y_2, \cdots$ be a sequence in a Hilbert space. Let $V_n$ be the linear span of $\{y_1, y_2, \cdots, y_n\}.$ Assume that $||y_{n+1}|| \leq || y -y_{n+1}||$ for each $y \in V_n$ for $n = 1, 2, ...
0
votes
1answer
14 views

Proof of an inequality in spherical harmonics using Minkowski's inequality

I met an inequality in the book "Harmonic analysis and approximation on the unit sphere" by Wang Kunyang and Li Luoqing. I need some hints to follow the proof. The proof is following, \begin{align} ...
3
votes
1answer
43 views

Continuity of functional calculus

Let $\mathcal{A}$ be an unital C*-Algebra. $a,b$ be normal elements in $\mathcal{A}$. $X\subset \Bbb C$ is a compact subset. $f:X\rightarrow \Bbb C$ is continuous. I need to show that for all ...
0
votes
3answers
28 views

If $S$ is a subset of a Hilbert space $H$ then $S^\perp$ is closed?

Is this a true statement? (I found it as a theorem in a paper) If $S$ is a subset of a Hilbert space $H$ then $S^\perp$ is closed. If it were true then $(S^\perp)^\perp$ would be closed, that is ...
0
votes
0answers
15 views

Regularity of $u$ and $v$ satisfying $u_t - \Delta u = \Delta v - v_t$

I have that there are two functions $u$ and $v$ in $H^1(0,T;L^2)\cap L^2(0,T;H^2)$ satisfying weakly the equation on a bounded domain $\Omega$ $$u_t - \Delta u = \Delta v - v_t$$$ given some ...
0
votes
0answers
19 views

Function Singularity in a Sobolev Space

For which $t$ and $p$ does function of the form $$ f(x) = 1/|x|^{\alpha} ,\quad 0<\alpha<1$$ belong to the fractional Sobolev space $H_p^t(\mathbb{R})$, $p>1,t\geq 0$? UPD: actually I am ...