All Questions
Tagged with fa.functional-analysis real-analysis
1,447 questions
-2
votes
1
answer
314
views
Series representation for $\log(|\zeta(\frac{1}{2}+it)|)$
(Question is short and straight-forward. )
What is/are "nice and non-trivial" series representation/s of $\log(|\zeta(\frac{1}{2}+it)|)$ ??
By "nice and non-trivial" I mean contains no ...
4
votes
1
answer
161
views
Elliptic estimates for self-adjoint operators
Let $A$ be a symmetric matrix in $\mathbb R^n$ such that $A$ is positive definite and hence satisfies $0< \lambda \le A \le \Lambda < \infty.$
Let $T$ be a densely defined and closed operator ...
- 17.2k
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
2
votes
1
answer
200
views
Proof of a discrete isoperimetric inequality
The following inequality appears in the proof of certain isoperimetric-type inequalities for analytic functions in two dimensions:
$$\sum_{m=0}^{\infty}\frac{|c_m|^2}{m+1} \leq \pi \left(\sum_{m=0}^{...
- 434
5
votes
3
answers
2k
views
Morrey's inequality for Sobolev spaces of fractional order
Let $H^s(\mathbb T)$, where $s\in\mathbb R$, be the space of $2\pi$-periodic functions (or distributions), $u(x)=\sum_{k\in\mathbb Z}\hat u_k\,\mathrm{e}^{ikx}$, such that
$$
\|u\|_{H^s}^2=\sum_{k\...
CommunityBot
- 1
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 ...
- 17.2k
6
votes
1
answer
128
views
Equivalence of antiderivative in L1 sense and in the usual sense
We say that$\ f$ is differentiable w.r.t to $L_1$ if there exists a$\ g$ such that:
$$
\lim_{h\to 0}\left\Vert\frac{f(x+h)-f(x)}{h} - g(x)\right\Vert_1 = 0
$$
where $\Vert \cdot \Vert_1$ is the $L_1$ ...
- 6,367
1
vote
0
answers
102
views
Commutator estimates for $-(-\Delta)^s$, with $s \in (1,2)$
I'm currently trying to work with the non-local operator given by
$$
(-\Delta)^{\frac{s}{2}}f(x)= c_s\text{P.V} \int_{-\infty}^\infty \frac{-f(x+y)-f(x-y)+2f(x)}{|y|^{1+s}} dy,
$$
where $f :\mathbb ...
- 446
2
votes
1
answer
720
views
Injectivity of an integral operator
Consider the operator
$$K:L^2(0,1)\rightarrow L^2(0,1) \\ u\rightarrow\int_0^1k(s,x)u(s)ds.$$
with $k\in L^2((0,1)\times(0,1)).$
I want to know under what assumption the kernel is reduced to zero. i....
- 16.2k
4
votes
1
answer
378
views
Every convex set is of locally finite perimeter
I need to prove that every convex subset of $\mathbb{R}^n$ is of locally finite perimeter.
$E$ is of locally finite perimeter if there exists a vector-valued Radon measure $\mu_E$ s.t. the Gauss ...
- 8,992
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 ...
- 4,034
2
votes
0
answers
92
views
First Dirichlet eigenvalue below second Neumann eigenvalue?
Let $\Omega$ be a bounded domain in $\mathbb R^n $ with smooth boundary.
I was wondering if there exist any known conditions on $\Omega$ such that the 1st Dirichlet eigenvalue of the (positive) ...
- 173
1
vote
1
answer
148
views
Understanding a family of Sobolev-type inequalities
I am reading Aspects of Sobolev-Type Inequalities by professor Laurent Saloff-Coste, where I found a claim on page 66 claiming the following:
Denote the following inequality as $S_{r,s}^{\theta}$: $\...
- 2,670
1
vote
0
answers
41
views
Example of periodic semidifferentiable function without absolutely convergent Fourier series
Is there an example of a periodic continuous function that is semidifferentiable (i.e the left derivative and the right derivative exist at each point), but
with a non-absolutely convergent Fourier ...
- 1,035
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
1
vote
0
answers
46
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
- 6,367
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
4
votes
0
answers
125
views
Is there a name for this slightly stronger version of Cesàro convergence which "more quickly ignores earlier terms"?
Let $V$ be a normed vector space, let $l \in V$, and let $(a_n)$ be a sequence in $V$. We say that $a_n$ is Cesàro-convergent to $l$ if $\frac{1}{n}\sum_{i=1}^n a_i \to l$ as $n\to\infty$.
Now I will ...
- 708
2
votes
0
answers
130
views
Partition of unity in $\mathbb{R}$ with additional conditions on the derivatives
Let $K\subseteq \mathbb{R}$ be locally compact without isolated points and $X$ an infinite dimentional Banach space. Then
$$C_{0}^{(1)}(K,X)=\{ f\in C_{0}(K,X): \text{$f$ is continuously ...
- 121
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
2
votes
0
answers
189
views
Point wise convergence of Laplace transform and convergence of functions
Assume that functions $f_n(t), f(t)\in C_b(R_+)$. For every $\lambda >0$, we have
$$
\bigg|\int_0^\infty e^{-\lambda t}f_n(t)d t-\int_0^\infty e^{-\lambda t}f(t)d t\bigg|\leq C_\lambda n^{-1},
$$
...
- 411
-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 ...
- 61.9k
9
votes
1
answer
652
views
Scaling in Mehta's integral
The following expression is known as Mehta's integral and deeply connected to random matrix theory:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-...
- 128k
16
votes
2
answers
2k
views
Challenge: Non-Gaussian quartic integral and path integral in Quantum field theory
(1) It is well-known that we can get a Gaussian integral of this type, where $x$ is in $\mathbb{R}$:
$$
\int_{-\infty}^{\infty} dx e^{-ax^2}=\sqrt{(2\pi)/a}. \tag{i}
$$
We can generalize this ...
- 3,065
3
votes
1
answer
353
views
Connection between non-constant completely monotone function and strictly positive definite kernels (Schoenberg characterization)
I'm reading this book chapter, where they stated two alternative characterizations of completely monotone functions $\phi$ using (1) Laplace transform of a finite, non-negative Borel measure and also ...
- 128k
33
votes
4
answers
2k
views
Hahn-Banach theorem with convex majorant
At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and $f:L\...
- 28k
2
votes
1
answer
217
views
Given functions $A(x), B(x)$ find $f(x)$ s.t. $A\big(f(x)\big)=f\big(B(x)\big)$
Currently, I am facing this problem:
Given two real functions $A( \vec x )$ and $B( \vec x ):\Bbb R^N\to \Bbb R$, I want to find a third real, monotonic function $f(x):\Bbb R\to\Bbb R$ such that:
$$...
- 91.8k
9
votes
1
answer
511
views
Do these surfaces intersect?
For any real numbers $a_{1},a_{2},\cdots a_{6}$ and $b_{1},b_{2},\cdots b_{6}$
with $\sum_{i=1}^{6}a_{i}^{2}=1$ and $\sum_{i=1}^{6}b_{i}^{2}=1$,
does the equation $$ x_{1}^{2}x_{2}^{2}x_{3}^{2}x_{4}^{...
- 61.9k
0
votes
0
answers
324
views
Adjoint of differential equation
Motivation: Consider the ODE
$$y'(t)=Ay(t)$$ then it is true that the flow satisfies $\Phi(t)y_0=e^{tA}y_0$ and the adjoint of the flow is a solution to the adjoint equation
$$y'(t)=A^*y(t).$$
I ...
- 63.9k
3
votes
1
answer
664
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, ...
- 128k
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)...
- 17.2k
3
votes
1
answer
299
views
Lipschitz functions that saturate the Lipschitz inequality on the average (part 1)
Consider a 1-Lipschitz function $f: \mathbb R^n \to \mathbb R$ satisfying the inequality
\begin{align*}
|f(x) - f(y)| \le \|x-y\|_2, \;\forall x,y \in \mathbb R^n.
\end{align*}
For $n \ge 2$, can we ...
- 1,731
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
CommunityBot
- 1
0
votes
0
answers
147
views
Approximation of Inductive Tensor Product $C(X) \bar{\otimes} C(Y)$
The following question is from Banach Algebra Techniques in Operator Theory written by Ronald G. Douglas.
Assume both $X, Y$ are Banach spaces and $X \otimes Y$ is the algebraic tensor product. Let ${...
- 307
0
votes
0
answers
255
views
Span of a nonlinear function
Fix vectors $x,y\in\mathbb{R}^d$ and a smooth function $\phi:\mathbb{R}\rightarrow \mathbb{R}$. Define $\phi^d: \mathbb{R}^d \rightarrow \mathbb{R}^d$ as applying $\phi$ entrywise (i.e. $\phi^d(x_1, ...
- 159
4
votes
1
answer
225
views
Approximate constant function
Let $f:[0,1]^2 \rightarrow \mathbb C$ be an $H^1$ function with the property that $f(x,x)=0$ and $\Vert f \Vert_{L^2[0,1]}=1.$
Does there exist a constant $c>0$ such that any such function ...
- 6,367
1
vote
0
answers
27
views
How does the principal value affects to the limit here?
In Córdoba and Gancedo - Contour dynamics of incompressible 3-D fluids in a porous medium with different densities (page 4) I read that if
$$ v (x_1,x_2,x_3,t)=-\frac{\rho_2-\rho_1}{4\pi} \...
- 383
3
votes
2
answers
676
views
Compact-open limit of continuous functions is continuous?
Let $X$ be a topological space and $Y$ a metric space.
A classical result states that compact-open topology on the space $C(X,Y)$ of continuous functions is the same as the topology of uniform ...
- 829
3
votes
1
answer
203
views
Regularize continuous functions with bounded variation
Is it true that :
$\forall f,g \in C([0,1],\mathbb R), \exists h \in C([0,1],[0,1])$ $f,g,h$ strictly increasing and $h([0,1])=[0,1]$ with $(f \circ h, g\circ h) \in C^{\infty}([0,1],\mathbb R)^2$?
CommunityBot
- 1
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
3
votes
1
answer
496
views
"Square root" of multiplication operator on Sobolev space
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a non-negative, smooth, uniformly bounded function with uniformly bounded first derivative. Then $f$ defines a bounded operator on $L^2(\mathbb{R}^n)$ as ...
- 128k
2
votes
0
answers
97
views
Prove that this integral operator is onto
Let us consider the operator $T$ defined by$$\eqalign{
& T:{L^2}((a,b) \times (c,d)) \to {L^2}((c,d)) \cr
& Tf(s,x) \mapsto \int\limits_{q(x)}^{p(x)} {f(\alpha (s,x),s)ds} \cr} $$
where ...
- 617
0
votes
2
answers
403
views
Application of uniform boundedness principle
$\DeclareMathOperator\Lip{Lip}$Let $\Lip_0(\mathbb R^d)$ be the space of Lipschitz functions $f:\mathbb R^d\to\mathbb R$ vanishing at zero, i.e., $f(0)=0$, and equipped with the norm $\|f\|:=\|\nabla ...
CommunityBot
- 1
-1
votes
1
answer
119
views
Existence of a function with slow growth on derivatives
Does there exist a smooth compactly supported function $$f \in C^{\infty}_c((0,1))$$
such that
$$ \|D^k f\|_{L^{2}(0,1)} \leq \left\lfloor{\alpha\,k}\right \rfloor! \quad \forall\, k\in \mathbb N$$
...
- 128k
-1
votes
1
answer
81
views
Closed on generic set implies closed set whole set [closed]
Assume that $f:\mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$ is a continuous on a set $A$. Let $B \subset A$ be a generic set in $\mathbb{R}^{2}$ i.e, the countable intersection of the open and dense ...
- 29.8k
2
votes
2
answers
255
views
Do we have a name for this space?
Let $\Omega$ be a bounded domain in $\mathbb{R}^{n}$. Consider the class
$$
\mathcal{F}=\{f\in L^{1}(\Omega):\exists C>0 \text{ s.t. } \int_{U}|f|\leq C\sqrt{|U|},\text{ for any }U\subset \Omega.\...
- 128k
2
votes
3
answers
216
views
Equivalence of operators
let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space.
I am wondering whether we have equivalence of operators
$$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$
for some ...
- 12.6k
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
2
answers
2k
views
Elementary calculus estimate or not?
Does there exist a constant $C>0$ such that for all $f \in H^3(\mathbb R)$
$$\int_{\mathbb R} \vert x f''(x) \vert^2 \ dx \le C \int_{\mathbb R} \vert f'''(x) \vert^2 + \vert x^3f(x) \vert^2 + \...
- 4,899
2
votes
2
answers
336
views
Metrization of a topological vector space
Let $C(\mathbb R^d)$ be the space of continuous functions on $\mathbb R^d$, and $C_{lip}(\mathbb R^d)\subset C(\mathbb R^d)$ be the subspace of Lipschitz functions. We endow $C_{lip}(\mathbb R^d)$ ...
- 128k