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
2answers
21 views

Problem 8, Section 2.7 in Erwine Kryszeg's Introductory Functional Analysis With Applications

Here is Problem 8 in the Problem Set following Section 2.7 in Erwine Kryszeg's Introductory Functional Analysis With Applications: Show that the inverse $T^{-1} \colon R(T) \to X$ of a bounded ...
0
votes
0answers
15 views

Problem 2.7-9 in Erwine Kryszeg's Introductory Functional Analysis With Applications

Here is Problem 9 in the Problem Set following Section 2.7 in the book Introductory Functional Analysis With Applications by Erwine Kryszeg: Let $C[0,1]$ denote the set of all (real- or ...
0
votes
1answer
7 views

Dirichlet problem, solvability

Let $\Omega\subset \mathbb R^n$ and $f\in L^2(\Omega)$. We consider $\{u\in C^1(G):||u||_{1,2,G}<\infty \}$,where $||u||_{1,2,G}$ is the "sobolev-norm" with parameter $1,2$ on $G$. Then $H^1(G)$ ...
1
vote
2answers
33 views

Knowing a function while only knowing its partial derivatives?

So again we study a physics course without studying mathematics course We are in the work energy chapter , and I'd like to know if you can know the function $f(x,y,z)$ if you know all of its partial ...
0
votes
1answer
26 views

$C_c(\mathbb R^n)$ is not dense in $\mathcal L^\infty(\mathbb R ^n)$

I'm having some difficulties in manipulating the space $\mathcal L^\infty(\mathbb R ^n)$, and I want to show that $C_c(\mathbb R^n)$ is not dense in $\mathcal L^\infty(\mathbb R ^n)$, but I can't find ...
0
votes
0answers
19 views

Exercise on functional analysis

I have a problem with this exercise of functional analysis about weak convergence: Let $U:=\prod_{i}^{d}(a_{i},b_{i})$ a subset of $\mathbb{R}^d$ with $a_{i}<b_{i}$ for each i and let ...
2
votes
0answers
22 views

Separable Hahn-Banach and the axiom of choice

We had in our functional analysis course a proof for the Hahn-Banach theorem on a separable Banach space which doesn't need, according to our professsor, the axiom of choice. Yesterday I read the ...
0
votes
0answers
14 views

Gateaux variation (Functional Derivative) of functional with convolution

Given the following functional $F[f]=\int f(x) \log(g(x)) dx$ find Gateaux variation. Also, $g(x)$ is given by convolution $g(x)=y(x) * f(x)=\int y(\tau) f(x-\tau) d\tau$, so \begin{align*} ...
2
votes
1answer
24 views

Proposed proof for convergence in Sobolev space

Consider the Anisotropic Sobolev Space defined by: $$W^{1,\overrightarrow{p},\epsilon}(\Omega) := \{ u \in L^{1+\frac{1}{\epsilon}}(\Omega), \frac{\partial u}{\partial x_{i}} \in L^{p_{i}}(\Omega), ...
0
votes
0answers
14 views

Geometric intuition behind of uniformly rotund in every direction

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $\lim_{n\to\infty} ||x_n-y_n||=0$ whenever $x_n, y_n \in S_X$ are such that $\lim_{n\to\infty} ||x_n+y_n||=2$ and ...
0
votes
0answers
15 views

The resolvent of a differentation operator on $C[a,b]$

Consider a densely defined operator $A : C[a,b ]\rightarrow C[a,b ]$, $$Au=u^{\prime}$$ with domain $$D(A)= \{ u\in C^1[a,b]: u(b)=ku(a) \}$$ for some $k>0$. I have to find $R_A(\lambda)$ for ...
0
votes
1answer
38 views

Fundamental theorem of calculus with Gâteaux differentials and Riemann integrals

Let $f:[a,b]\to E$ where $E$ is a Banach space and let $Df(x,h)$ be its Gâteaux differential in $x$ with direction $h$. If $\mathbb{R}\to E$, $h\mapsto Df(x,h)$ is linear and continuous, then we write ...
3
votes
1answer
54 views

Having trouble understanding a proof after it applies the Hanh Banach theorem.

I have been reading a proof on the convergence of Newton's method that has been fairly easy to follow except for a single step that has totally mystified me because it suddenly depends on a lot more ...
0
votes
0answers
13 views

Multivariable calculus of variations (second variation)

So I understand that, if the multivariable Euler-Lagrange equations are satisfied, then the first variation is zero. But that doesn't mean we really are dealing with a minimum of the action or a ...
1
vote
1answer
22 views

Homeomorphism from $K$ to $\Phi_{C(K)}$

Let $K$ be a compact Hausdorff and $C(K)$ be a Banach algebra of continuous function on $K$ such that $\textbf{1} \in C(K)$ and such that $C(K)$ separates the point of $K$. I am trying to show that ...
3
votes
2answers
54 views

Metrizability of the unit ball $B_{X^*}$.

I am trying to prove the assertion: If $X$ is a separable normed space, then the unit ball in $X^*$ with the weak* topology, $(B_{X^*},\sigma(X^*,X))$, is metrizable. Firstly, I took ...
0
votes
0answers
24 views

a question on quasi-invariant measures (with respect to the irrational rotations) on the unit circle

Fix a $\sigma$-finite atom-less measure $\mu$ on the unit circle, which is quasi-invariant and ergodic under the rotation $T$ of the angle $2\pi\theta$, $\theta$ irrational. By a well-known result of ...
0
votes
0answers
22 views

Spectrum of a bounded operator on a (not necessarily Banach) normed vector space

It's well known that on a Banach space, the spectrum of each bounded operator is compact in $\mathbb C$. What about a general normed vector space? Is there a counterexample if we don't assume ...
3
votes
1answer
49 views

Closed subspace. A Hahn–Banach theorem consequence

I am trying to prove: If M is a subspace of a normed space $X$, that $\overline{M}=\bigcap\{\ker(\phi):\phi|_{M} = 0 \}$ It is really easy to see that $\overline{M} \subset ...
0
votes
1answer
40 views

Does the sequence $( n^{1/n} -1)$ belong to any $\ell^p$ space? [on hold]

The sequence $( n^{1/n} -1)$ converges to zero but does this sequence belong to the $\ell^p$ space for $p\in\mathbb R$? I don't know the answer, or how one would prove it. Same problem with the ...
2
votes
0answers
34 views

Norm for a set of vectors

Let V be a normed vector space (real or complex valued) with norm $\|\cdot\|_V$. For any nonempty and bounded subset $A \subseteq V$ one can define $\|A\|$ via $$\|A\|:=\sup\{|x|:x\in A\}$$ I ...
0
votes
0answers
24 views

Resolvent operator

Let's consider the following operator on $L^2(\mathbb{R}^3)$ $$A(t)=\Delta+b(t,x)\cdot\nabla$$ where $\Delta$ is the Laplace operator and $b(\cdot,\cdot)$ a smooth vector field. How to compute the ...
3
votes
1answer
26 views

an analytic function in $\Delta^n$ is bounded in $T^n$, then it is bounded in $\Delta^n$

Is true that if an analytic function in $\Delta^n$ is bounded in $T^n$, then it is bounded in $\Delta^n$? Here $\Delta^n$: polydisc and $T^n$: Torus, distinguished boundary of $\Delta^n$.
2
votes
1answer
25 views

If $I$ is a closed ideal in a C*-algebra $A$ and $J$ is a closed ideal in $I$ then $J$ is an ideal of $A$

The following is a remark of Murphy's C*-algebras and operator theory: . I do not know why he uses approximate unit. I think for $a\in A$ and $b\in J^+$, we have $b\in I$ and $b^{1/2}\in I$($I$ is ...
3
votes
0answers
31 views

The weak-star topology is Completely Hausdorff (in particular Hausdorff).

Let $X$ be a normed space, $X^*$ its dual space, $(X^*, w^*)$ is completely Hausdorff. Proof: Let $f, g \in X^*$, $f\neq g$ then $\exists x\in X$ such that $f(x)\neq g(x)$ i.e. $\hat{x}(f)\neq ...
5
votes
0answers
37 views

Smallest constant of Lipschitz retraction from bounded to continuous functions

Let $B$ be the space of all bounded functions $f:[0,1]\to\mathbb R$ equipped with the supremum norm*. It contains $C$, the space of continuous functions on $[0,1]$, as a subspace. An $L$-Lipschitz ...
0
votes
0answers
10 views

Meta Euler Lagrange

Consider the following generalized standard Euler Lagrange Problem which is to maximize the quantity $$ \int_{x_1}^{x_2} L(x,y,y', y'' ... y^{(n)}) dx $$ It can be solved by first determining a ...
0
votes
1answer
32 views

calculate weak derivate of $|x-2|^2$

Let $u$ be a function with $u(x):=|x-2|^2$ on $I:=(-1,1)$. I want to test whether $u \in H^2(I) \backslash H^3(I)$. Let $\phi$ be in $C_0^\infty(I)$. Then: $T_u(\phi '') = \int_{-1}^1 |x-2|^2 ...
-1
votes
1answer
30 views

the norm of a linear operator

In in the demonstration of Lax-Milgramm lemma, they use a linear operator $A:V\to V$, where $V$ is a Hilbert space; My basic problem is how to prove that $$\|Au\|_V=\sup_{v\in ...
2
votes
0answers
38 views

Confusion about domains in PDE and “every $C^k$ manifold can be thought of as a smooth manifold”

I have read that every $C^k$ domain can be described instead by $C^\infty$ chart maps. So in this sense every $C^k$ domain is a $C^\infty$ domain. But consider standard PDE where people say thing like ...
1
vote
0answers
39 views

Newton method for maps between Banach spaces

I am trying to understand the following theorem, which can be found in Kolmogorov and Fomin's (p. 509 here): Let map $F$ [$:X\to Y$ where $X,Y$ are Banach spaces] be strongly differentiable in a ...
0
votes
1answer
54 views

Problem 2.7.6 in Kreyszig's Introductory Functional Analysis with Applications

Suppose that $X$ and $Y$ are two normed spaces over the same field ($\mathbb{R}$ or $\mathbb{C}$). Show that the range of a bounded linear operator $T \colon X \to Y$ need not be closed in $Y$. ...
0
votes
0answers
11 views

Functional derivative of $\int f_{X,Y}(x,y)e^{-f_{Y|X}(y|x)} dx$ with respect to $f_X(x)$

What is functional derivative of \begin{align*} \int f_{X,Y}(x,y)e^{-f_{Y|X}(y|x)} dx \end{align*} with respect to $f_X(x)$. Here $f_{X,Y}(x,y)$ is joint probability density of r.v. $(Y,X)$ and ...
7
votes
1answer
132 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
1
vote
0answers
24 views

Can a Local Fractional Differential Operator exist?

Let $f: \mathbb{R} \rightarrow \mathbb{R}$. The derivative of $f$ is defined pointwise, and we say that $f$ is differentiable if the derivative exists in each point. Higher order derivatives are ...
1
vote
1answer
26 views

If the dual unit ball of a normed space $X$ is metrizable in the weak-$*$ topology then $X$ is separable

Let $X$ be a normed space and $(B_{X^*},w^*)$ be the unit ball of the dual space $X^*$ endowed with the weak-$*$ topology. Here is a proof a the fact that if $(B_{X^*},w^*)$ is metrizable then $X$ is ...
0
votes
1answer
28 views

Dynamics: Schwinger-Dyson-Expansion

Given a C*-algebra $\mathcal{A}$ Consider a free generator $\delta_0:\mathcal{D}_0\to\mathcal{A}$ with $\overline{\mathcal{D}_0}=\mathcal{A}$. Introduce a perturbation ...
-3
votes
2answers
19 views

Problem on CR inequality on finite sum [on hold]

Let $f$ be a function from {1,2,3,....,10} to R, s. t. $(\sum_{i=1}^{10}|f(i)|/2^i)^2=(\sum_{i=1}^{10} |f(i)|^2)(\sum_{i=1}^{10}1/4^i)$ mark the correct statement. A. there are uncountably ...
0
votes
0answers
24 views

$\|L\|^1$-functions: Is this condition valid?

I tried to prove that a function is absolutely integrable, and it was very hard to integrate. I thought, maybe one could prove that a function is in $L^1$ also this way, which would be quite easier in ...
0
votes
1answer
28 views

Schwartz space on $\mathbb T^{n}$

For the definition of Schwartz space space on $\mathbb R^{n},$ see this. My Questions: (1)Is it make sense to talk of Schwartz space on torus $\mathbb T^{n}$ ? If yes, what can be the analogous ...
0
votes
1answer
21 views

Lower bound for the norm of the resolvent

I need to prove next statement (I want to do it for general case) $\|R_A(z)\| = \lVert \frac{1}{A-zI} \rVert \ge \text{dist}(z,\sigma(A))^{-1}$ I think it could be like this let $a\in \sigma(A) z ...
4
votes
0answers
48 views

Conditions for Taylor formula

I know that, if $F:X\to Y$, where $X,Y$ are Banach spaces, is a map whose $n$-th Fréchet derivative $x\mapsto F^{(n)}(x)$ is continuous as a function of $x$ in a neighbourhood of $x_0\in X$, then the ...
1
vote
1answer
17 views

$\phi(A^+) \subset B^+$ when $\phi: A\to B$ is an isometric linear map

Let $\phi: A\to B$ be an isometric linear map between unital C*-algebras $A$ and $B$ such that $\phi(a^*)=\phi(a)^* (a\in A)$ and $\phi(1)=1$. Show that $\phi(A^+) \subset B^+$. Clearly $A^+ = \{a^*a ...
1
vote
1answer
44 views

Hilbert space and Parallelogram law

Let $ C_\infty$ be inner product space of all real sequences $\{x_n\}$ with $x_n$ finite number of nonzero terms and the inner product defined by $$\langle x,y\rangle =\sum_{i=0}^\infty x_ny_n$$ I ...
2
votes
0answers
36 views

Spaces of the derivative in a direction

I have two question regarding the spaces where the first, and second, directional derivatives of a functional are. Let $\Omega \in \mathbb{R}^2$ an open subset. Let the functional: $$\phi =L^p ...
7
votes
1answer
17 views

nonempty open set in normed space is connected iff each pair of points of the set can be joined by a polygon that lies wholly in the set

Let $E$ be a normed vector space. Let $x_1, \dots, x_m$ be points of $E$. Let $f(t) = (k-t)x_k + (t - k + 1) x_{k+1}$ for $k-1 \le t \le k$, $k = 1, 2, \dots, m-1$. The set $\{f(t)\text{ }|\text{ }0 ...
3
votes
1answer
21 views

Norm of an operator and eigenvalues

I have $K\colon L^2(0,T) \to L^2(0,T)$ a Hilbert-Schmidt integral operator (and so $K$ is linear, bounded, compact and self-adjoint) and I have obtained its eigenvalues and eigenvectors. From them, I ...
0
votes
2answers
24 views

Definition of $L^2[-\pi,\pi]$ norm.

What is the definition of $$\|f(x)\|_{L^2[-\pi,\pi]}\,?$$ $$\frac{1}{2\pi}\int_{-\pi}^\pi f^2(x)\,dx$$ or $$\sqrt{\frac{1}{2\pi}\int_{-\pi}^\pi f^2(x)\,dx}\,?$$
4
votes
0answers
63 views

Relationship between functional analysis and differential geometry

I am taking courses on functional analysis (through Coursera.com) and differential geometry (textbook author : O'neil) on my university. I made the following table on my own. Are the similar ...
2
votes
0answers
44 views

Subalgebras of $C_b(X)$ whose elements do not vanish simultaneously at any point

Let $X$ be a completely regular space. How can I find all Banach subalgebras of $C_b(X)$ (all complex-valued bounded continuous functions on $X$) with the property that for every $x\in X$ there ...