All Questions
Tagged with differential-calculus fa.functional-analysis
14 questions
3
votes
1
answer
223
views
Lower bound of the nth derivative of function
I need to prove that there exists $a> 0$ and $n_0\in\mathbb N$ such that $$\forall n> n_0,\quad \sup\limits_{|x|\leq a} |f^{(n)}(x)| \geq (n!)^{\frac 32}.$$
Where $f$ is defined by $f(x)=\exp(-...
- 1,503
3
votes
0
answers
164
views
Extension of normal vector field to a domain
Let $\Omega \subset \mathbb R^3$ be a bounded regular simply connected domain contained in a ball $S$. Assume also that $\Omega$ is simply connected by surfaces (i.e. every regular closed surface ...
- 31
2
votes
1
answer
264
views
Monotonicity of the integral
Let $R(x)$ be the residual function associated to the normal probability density, i.e.
$$R(x)~=~\int_x^{+\infty}\frac{1}{\sqrt{2\pi}}e^{-\frac{y^2}{2}}dy, \mbox{ for all } x\in R.$$
Define
$$\phi(...
- 1,835
2
votes
2
answers
197
views
About preserving real-rootedness of multivariable polynomials
Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted?
If ...
- 31
2
votes
1
answer
233
views
A functional equality
I don't know if this is known, but I was fiddling around with this equality :
$$f:(-1,1)\to (-1,1)\quad \text{satisfies}\quad(f(z)+1)^s=\sum_{j=0}^{\infty}\dbinom{s}{j}f(z^k)
\quad \forall z\in (-1,1),...
- 1,090
2
votes
1
answer
520
views
Fréchet derivative of evaluation-like functional (multivariate)
I'm fairly new to functional calculus but and posting here since the question seems more appropriate than for MSE. When coming across this post I could not help but wonder the following.
Let $H$ be ...
- 5,405
2
votes
0
answers
946
views
On a deceptively tricky calculus problem
Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality
Let $A$ be a non-constant operator acting on $C^...
- 90
2
votes
0
answers
89
views
How to define the Sobolev quotient space $H^s(Γ)/{\mathbb R}$
Let $\Gamma$ be the boundary of a Lipschitz domain $\Omega\subset \mathbb R^3$. Denote by $H^s(\Gamma)$ the usual scalar Sobolev space for $s\in\mathbb R$. I want to know the definition of the ...
- 63
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
121
views
Does this integral have a closed form solution? [closed]
Let $x,y\in \mathbb{R}^2$, $B_r(0)=\{x||x|\leq r\}$. Does the following function (denoted as $f(r)$) have a closed form expression?
$$f(r)=\int_{B_r(0)}\int_{B_r(0)}\ln|x-y|dxdy.$$
- 379
1
vote
0
answers
246
views
Fractional Derivatives Of Sums
I have a question regarding the definition of a fractional derivative. I've searched, but I can't find a definition of fractional derivatives that explain the concept in terms of an operator on some ...
- 96
0
votes
0
answers
29
views
On constructing the canonical boundary operator for a given differential operator
Given an $n\times n$ matrix $$X=\begin{pmatrix}
x_{11} & x_{12} & \cdots & x_{1n} \\
x_{21} & x_{22} & \cdots & x_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
x_{n1}...
- 765
0
votes
0
answers
81
views
What is the standard terminology for the quantity $\|\nabla f\|_{L^2(\mu)} := \sqrt{\int_{\mathbb R^d}\|\nabla f(x)\|^2d\mu(x)}$?
Let $f:\mathbb R^d \to \mathbb R$ be a continuously differentiable function and let $\mu$ be a probability measure on $\mathbb R^d$.
Question. What is the standard teminology for the quantity $\|\...
- 6,853
-1
votes
1
answer
102
views
Is it true that $\nabla_x \int_0^\infty f(t,0) dt = 0 \implies \nabla_x f(t,0) = 0 \ \forall t>0$? [closed]
Let $f:\mathbb R_+ \times \mathbb R^N \to \mathbb R$ and $$F(x) = \int_0^\infty f(t,x) dt.$$ If $\nabla_x F(0) = 0$ do we have that $\nabla_x f(t,0) = 0$ for all $t \in \mathbb R_+$? If not, which ...
- 131