All Questions
Tagged with real-analysis fa.functional-analysis
1,447 questions
0
votes
1
answer
102
views
Is the integral functional $I(x) = \int_{0}^{T} \Lambda (t , x(t), \dot{x} (t)) \; dt $ locally lipschitz on the space $C^2 [0 ,T] $?
Let the function $\Lambda : [0,T] \times \mathbb{R^n} \times \mathbb{R^n} \to \mathbb R$ be continuously differentiable. Then the integral functional $I(x) = \int_{0}^{T} \Lambda (t , x(t), \dot{x} (t)...
- 369
-2
votes
1
answer
147
views
Asymptotics for certain integrals
I stumbled on the following problem, if you can see a way through it.
Let $x$ be a real variable and fix a real value $\frac14\leq\nu\leq\frac34$.
QUESTION. For $x\rightarrow0$, does there exist a ...
- 43.2k
2
votes
0
answers
44
views
Derivatives of $G_h(u):=\int_0^{2\pi} h(\cos t)h(\cos(t - \arccos(u)))dt$ when $h$ is positive-homogeneous
Let $h:\mathbb R \to \mathbb R$ be a continuous which is positive-homogeneous of order $p \ge 1$, and define $G_h:[-1,1] \to \mathbb R$ by
$$
G_h(u):=\int_0^{2\pi} h(\cos t)h(\cos(t - \arccos(u)))dt.
$...
- 6,853
1
vote
0
answers
91
views
A bilinear estimates involving critical Sobolev norms
Given $q>1$, consider the critical Sobolev space $W^{n/q,q}(\mathbb{R}^n)$, which fails to embed in $L^{\infty}(\mathbb{R}^n)$. I'm wondering if we can recover some critical estimate by considering ...
- 943
1
vote
2
answers
359
views
Goldowsky-Tonelli theorem for upper semi continuous function
Let $f:(0, \infty) \rightarrow \mathbb{R}$ be a convex and continuous function. We know that $\partial^{e} f(. )$(either right or left derivative) is non-decreasing and upper semi-continuous function. ...
- 1,043
6
votes
2
answers
881
views
Summation of bounded sequences
Let $b_{n,j}\in \mathbb{C}$ for each $n,j\in \mathbb{N}$. I was wondering if there is some characterization of those $b_{n,j}$ such that for all bounded sequences $s_j\in \mathbb{C}, j\in \mathbb{N}$, ...
- 163
2
votes
0
answers
76
views
wave equation with L^2 boundary data via spectral decomposition
It is classical that if $\Omega \subset \mathbb R^n$ is a bounded domain with smooth boundary, then the equation
\begin{equation}\label{pf2}
\begin{aligned}
\begin{cases}
\partial^2_{t}u- \Delta u=0\,\...
- 4,153
10
votes
1
answer
3k
views
Trace of integral trace-class operator
I have seen many answers to the converse question (which seems to be difficult in general), but I would like to ask the following:
Let $T: L^2 \rightarrow L^2$ be a trace-class operator that is also ...
user69109
3
votes
1
answer
149
views
Hardy-Littlewood-Sobolev for "componentwise product" of Riesz kernels
Let $d\in\mathbb N$ and $0<\alpha<d$. Define the Riesz kernel $K_\alpha(x):=|x|^{\alpha-d}$, and the associated convolution operator
$$K_\alpha f(x):=\int\frac{f(y)}{|x-y|^{d-\alpha}}~dy.$$
The ...
- 891
5
votes
0
answers
192
views
Useful notion for locally convex spaces - well known?
In my current work the following property of maps between locally convex spaces showed up at several places and proved to be useful. It seems quite elementary to me, so I would like to know whether it ...
- 779
4
votes
1
answer
267
views
Scaled Harnack inequality $\sup_{B_r} v \le c\,(1-r)^{-p}\, \inf_{B_r} v$
Where can I find a proof of the following scaled version of Harnack inequality?
Let $v$ be a non-negative solution of ${L}u = 0$ in $B_1$, with $L$ a uniformly elliptic operator. Then, for $r<1$,...
- 839
0
votes
1
answer
853
views
Reference request : How to use Lagrange multiplier technique with infinite (infact uncountably) number of constraints?
I have a constrained maximization problem (maximizing a functional), with number of constraints being uncountable infinite.
It looks something like this. I want to maximize the convex functional $C(f)...
- 698
3
votes
1
answer
315
views
Where to find the proof of this property?
I am doing some exercises in the analytic and there is a problem as following:
``Let $\{f_n\}_{n \in \mathbb{ N}}$'' to be a positive sequence such that:
$\sum\limits_{n=1}^{+\infty} f_n = 1$.
$\...
- 153
4
votes
1
answer
308
views
Adjoint of the multiplication operator on a Sobolev space
Let $f\colon\mathbb{R}^n\rightarrow\mathbb{C}$ be a bounded function with a bounded first derivative. Then the multiplication operator $H^1(\mathbb{R}^n)\ni x\mapsto A_f x:=fx\in H^1(\mathbb{R}^n)$ is ...
- 128k
4
votes
1
answer
317
views
Given convex l.s.c. function $f$, find decreasing convex function $\phi$ such that $f(x) \equiv \sup_y x\phi(y)-\phi(-y)$
Let $f: \mathbb R \rightarrow (-\infty,+\infty]$ be a lower-semicontinuous convex function.
Question
Under what futher conditions does there exists a convex decreasing function $\phi: \mathbb R \...
- 6,853
1
vote
0
answers
196
views
Asymptotic of a functional as $x\rightarrow \infty$
Consider the following functional :
$$
I(x,s) =\int_0^\infty\mathrm dy \frac{F(x + \mathrm iy, s) − F(x −\mathrm iy, s)}{\mathrm e^{2πy}-1},
$$
where $ F(z, s) = \dfrac{\sinh(\sin^2[π\Gamma(z)/(2z)])...
- 375
6
votes
2
answers
251
views
uniform approximation by a particular set of functions
Consider the interval $[0,1]$ and let $\mu_k(t)$ with $k=1,\ldots,n$ be continuous functions such that they are all strictly increasing on the interval $[0,1]$ and such that $\mu_1(t)<\mu_2(t)<\...
- 4,153
1
vote
1
answer
468
views
"Combining" two differential equations into one
The Setup: Suppose $\Omega$ is a bounded, open, connected, simply connected subset of $\mathbb{R}^2$ with smooth boundary. Suppose that I am given a function $\Phi:\mathbb{R}^2\to\mathbb{R}$ and two ...
- 597
0
votes
1
answer
359
views
Dual norm of a max function [closed]
I am attempting to find the dual norm of
$$\|(x,y)\|_K=\max\{|x|,|y|,|x-y|\}.$$
I have obtained $\|(x',y')\|_K^* = |x'|+|y'|$, but don't think that this is correct.
I obtained this as follows :
$$K = ...
- 9
4
votes
1
answer
228
views
Haar-null union of dense subsets
Let $\{X_i\}_{i \in \mathbb{R}-\{0\}}$ be a set of subsets of a separable infinite-dimensional Fréchet space $X$ and $I$ be uncountable. Moreover, suppose that
(Dense $G_{\delta}$) $X_i$ is a dense ...
- 63
1
vote
0
answers
74
views
Fourier transform of a Sobolev function dependent on a "parameter"
Let $u\in\mathcal{S}(\mathbb{R}^n)$, let $V\in W^{1,1}_\text{loc}(\mathbb{R}^n\times\mathbb{R}^+)$, such that
$$ V(x,0)=u(x),\quad V(x,\cdot)\in C^0([0,\infty)),\quad\forall x\in\mathbb{R}^n,$$
and ...
- 339
3
votes
1
answer
663
views
Can we characterize the set of neoclassical production functions?
INTRODUCTION
The neoclassical production function is the main building block in neoclassical growth theory, and consequently the main building block of modern macroeconomic theory. Mathematically, ...
- 133
3
votes
1
answer
237
views
Isoperimetric inequality for analytic functions on an annulus
Let $f$ be an anylytic function on the unid disk $|z|<1$. It is well known that
$$\left (\int_0^{2\pi}f(e^{i\theta})d \theta \right)^2 \geq 4\pi \iint_{|z|<1} |f(r e^{i\theta})|^2r dr d \theta.$...
- 434
0
votes
1
answer
171
views
A functional equation in real analysis
For what function $u:[0,1]\rightarrow R$ with bounded derivative, such that $\forall p\in[0,1]$,
$\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^n\binom{n}{k}p^k(1-p)^{n-k}u(\frac{k}{n})=u(p)$
...
- 101
0
votes
1
answer
123
views
Characterization of bounded variation
For a function $f:[0,1]\to\mathbb{R}$, define
$$ V(f)=\sup_{0=x_0<x_1<\ldots<x_n=1}\sum_{i=1}^{n}|f(x_n)-f(x_{n-1})|.
$$
For $f$ with integrable derivative, the definition coincides with
$V(f)...
- 6,541
2
votes
1
answer
134
views
Common eigenvalues for two Sturm-Liouville problem
Does exist in literature any results concerning the common eigenvalues for the two eigenvalue problems of the form
$$y''(x)=\lambda^2 y(x)+\lambda a(x)y(x), \ x\in(0,1), $$$$z''(x)=\lambda^2 z(x)-\...
- 617
3
votes
1
answer
356
views
Initial data and heat equation
We assume all solutions to be bounded here!
Let $y_{+},y_{-} \in C_c^{\infty}$ be two positive functions.
If we then consider the heat equation
$$\partial_t u(t,x) = \Delta u(t,x)$$ for two ...
user121558
1
vote
1
answer
114
views
Example of a nonconvex Chebyshev set in a metric space with continuous projection?
Question: Is there an example of a nonconvex Chebyshev set $S$ in a metric space $(X,d)$ whose projection map is continuous?
For convexity to be well-defined, we need to assume that $X$ is a vector ...
- 710
1
vote
0
answers
84
views
A Riemann Hilbert problem on the unit square
Let $p_0=0$, $p_1=1$, $p_2=1+i$ and $p_3=i$ be the four vertices of a square $Q$ on the complex plane $\mathbb C$.
Let $f \in C^{\infty}_c((0,1))$ and consider the following Riemann-Hilbert problem on ...
- 4,153
1
vote
0
answers
119
views
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
$\DeclareMathOperator\rad{rad}$
Can $H_{\mathrm{rad}}^s(\mathbb{R}^n)$ be compactly embedded in $L^{\sigma}(\mathbb{R}^n)$?
In $H_{\rad}^1(\mathbb{R}^3)$, by Struass estimate $|f(x)| \lesssim |x|^{-1} ...
- 429
2
votes
0
answers
163
views
Hilbert transform on weighted Sobolev spaces
Let $\mathscr H\,f$ denote the Hilbert transform of a function $f \in L^2(\mathbb R)$. We know that $\mathscr H$ is an isometry on $L^2(\mathbb R)$, but I want to know to what is the mapping ...
- 4,153
4
votes
1
answer
128
views
On the domain of functionals in measure with singular kernels
this post is concerned with functionals defined in measures. Consider the following functional
$$\mathcal{W}[\mu]=-\int_{\mathbb{R}^2}{\log\vert x-y\vert\ d\mu(x)d\mu(y)},$$
were we define $-\log\...
- 145
2
votes
0
answers
89
views
Prove integral inequality for divergence-free vector fields
Let $u$ be a divergence-free vector field $u:\mathbb R^n \to \mathbb R^ n$. Does the following inequality hold?
$$\Big( \int_{\mathbb R^n} |u|^2 dx\Big)^2 \le C\Big(\int_{\mathbb R^n} |u|^2|x|^2 dx \...
- 839
8
votes
2
answers
323
views
Matrix rescaling increases lowest eigenvalue?
Consider the set $\mathbf{N}:=\left\{1,2,....,N \right\}$ and let $$\mathbf M:=\left\{ M_i; M_i \subset \mathbf N \text{ such that } \left\lvert M_i \right\rvert=2 \text{ or }\left\lvert M_i \right\...
- 225
0
votes
0
answers
53
views
Explicit computation related to the fractional Laplacian
Suppose $$c_{n,s}\int_{\mathbb R^n}\int_{\mathbb R^n} \frac{(u(x+y+z)-u(x+y)-u(x+z)-u(x))^2}{|y|^{n+2s}|z|^{n+2s}} dydz = C$$
for some constants $c_{n,s}$, $C$, and $s \in (0,1)$.
Is it true that $$u =...
- 161
2
votes
0
answers
71
views
Strict Riesz's rearrangement inequality when function is not nonnegative
The strict Riesz rearrangement inequality (Lieb- and Loss's book Analysis, Section 3, Theorem 3.9 ,page 93) says that if the functions $f,g,h,$ are all nonnegative and $g$ is strictly symmetric ...
- 379
2
votes
1
answer
216
views
Is $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$ differentiable?
Let $f : AC[0, 1] \to R$ be defined by $ f(x(.)) := \int_{0}^{1} F ( x(t)) \; dt$. Where, $AC[0, 1]$ is the set of absolutely continuous functions with the norm $W^{1,1}$, and $F: R^n \to R$ is ...
- 369
6
votes
1
answer
2k
views
About weak convergence of probability measure
Suppose $\mu_j$ is a sequence of measures on $\mathbb{R}$. By the definition of weak convergence of measures, $\mu_j$ weak converges to $\mu$ means that for any bounded continuous function $f$, there ...
- 71
2
votes
0
answers
100
views
What is the weak limit of $f_n \ \mathrm{sign}(f_n - 1)$ if $f_n \to f$ weakly in $L^p([0,1])$?
Let $f_n: [0,1] \to \mathbb R$ be a uniformly bounded sequence in $L^p$. Then there exists a subsequence such that $f_{n_k} \to f$ weakly in $L^p([0,1])$. What is the weak limit of the sequence of ...
- 217
1
vote
0
answers
303
views
Continuity of the Legendre transform of a Lipschitz function
Let $p > 1$, $f$ defined on $L^p(\mathbb{R}^n,\mathbb{R})$, locally Lipschitz and concave, with $f(x) = 0$ when $x \geq 0$ a.e. We define, with $q$ dual to $p$, for any $y\in L^q$ , $g(y) := \sup_{...
- 31
5
votes
1
answer
571
views
Schrödinger operator with Coulomb potential
The free Laplacian $-\Delta$ has absolutely continuous spectrum $[0,\infty).$ The Coulomb Hamiltonian $H=-\Delta-\frac{1}{\vert x\vert}$ on $L^2(\mathbb R^3)$ has absolutely continuous spectrum $[0,\...
- 119
-2
votes
1
answer
1k
views
Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]
Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...
- 395
1
vote
1
answer
185
views
Interpolation of $L^p$ spaces
Let $\Omega_x$ and $\Omega_y$ be sets of finite Lebesgue measure.
We can then look at the space $X_1:=L^2(\Omega_x \times \Omega_y).$
This space is contained in the larger space
$$X_0:=L^2(\...
user69109
5
votes
2
answers
979
views
Symbol of the Laplace-Beltrami on $\mathbb{S}^2$
This question is about how the principal part (or symbol) is defined on a manifold?-I assume that the answer is: As in $\mathbb{R}^n$ using local coordinates, i.e.
A differential operator $P=\sum_{|\...
- 329
0
votes
1
answer
582
views
$L^2$ bound and interpolation of Hölder norm
Consider the function
$$F(x):=\int_{\mathbb R} f(t+x)f(t-x) \ dt .$$
Clearly, we have by Cauchy-Schwarz
$$\vert F(x) \vert\le \Vert f \Vert^2_{L^2} $$
$$\vert F'(x)\vert\le 2\Vert f' \Vert_{L^2} \...
user144765
1
vote
1
answer
381
views
Is this operator invertible?
Let $T(t)$ be a strongly continuous semi-group on a Banach space $X$, and let $A(\cdot)\in C(0,\tau; \mathcal{L}(X))$ for some $\tau>0$. The operator $G:C(0,\tau;X)\to C(0,\tau;X)$ maps every $h\in ...
- 395
3
votes
2
answers
265
views
Can one realize this as an ergodic process?
Consider the lattice $\mathbb Z^2$ and take iid random variables $Y_e$ on all edges $e$ of the graph.
We then define random variables $X_i:=\sum_{e \text{ adjacent to } i}Y_e.$
In other words: For ...
user135480
3
votes
1
answer
84
views
Point-wisely dense orthonormal basis
Let us denote $T$ by the unit circle. Let $\{e_n\}$ be an orthonormal basis for $L^2(T)$, with respect to Lebesgue measure.
We say $\{e_n\}$ is smooth if it satisfies the following property:
$$f(t)...
- 4,058
0
votes
1
answer
352
views
Weak continuity under Laplace transform
Let the sequence $u_n\in L^2(0,\infty)$ weakly converges to $u\in L^2(0,\infty)$. What can we say about the corresponding Laplace transforms $U_n(s)$ and $U(s)$?
$U_n(s)$ converges point-wise to $U(s)...
- 395
3
votes
1
answer
316
views
Rademacher, maxima, convex hulls
Let $F\subset \mathbb{R}^n$ be a finite set and $\sigma$ be uniformly distributed over $\{-1,1\}^n$. The usual Rademacher average of $F$ (modulo normalizing factors) is
$$ R_n(F)=\mathbb{E}_\sigma \...
- 6,541