19
$\begingroup$

I'm quite curious about the following phenomena, that still puzzle me although I have a proof, and I'd be really glad if someone may shred some light, showing an interpretation or a generalization. I will sketch the computations at request, which consist on a manipulation of the integral formula of the remainder of the Taylor expansion.

1. Let $v\in C^\infty(\mathbb{R})$, vanishing at $0$ with some order $p\in\mathbb{N} _ +$ . In other words, the formal Taylor series of $v$ at $0$ belongs to the ideal $x^p\mathbb{R}[[x]]$ . Then, the function $w(x):=v(x)/x^p$ is also (extensible to) a $C^\infty(\mathbb{R})$ function, and we can express the $k-$ order derivative of $w$ at $x$ (say $x\ge0$) in terms of the derivatives of order $k+p$ of $v$ on $[0,x]$ as follows:

$$\frac{w^{(k)}(x)}{k!}=\frac{\int_0^x (x-s)^{p-1}s^k\, \frac{v^{(k+p)}(s)}{(k+p)!}ds}{\int_0^x (x-s)^{p-1}s^k\, ds} \,. $$ In other terms, the $k-$th Taylor coefficient of $w$ at $x$ is an integral mean of the $(k+p)-$th Taylor coefficients of $v$, weighted with a Beta distribution on $[0,x]$. This is quite clear if $x=0$ and $v$ is analytic there, and not immediately obvious in general, but has it a special meaning, or is it an instance of a more general principle?

2. Let $u\in C^\infty(\mathbb{R})$, and assume that the formal Taylor series of $u$ at $0$ belongs to $\mathbb{R}[[x^2]]$. Then, the function $w(x):=u( \sqrt { x } ) $ is also (extendible to) a $C^\infty(\mathbb{R})$ function, and we can express the $k-$ order derivative of $w$ at $x^2$ in terms of the $2k-$ order derivatives of $v$ on $[0,x]$ as follows:

$$w^{(k)}(x^2)=\frac{\, (2x)^{-2k+1}}{(k-1)!\, }\, \int_0^x (x^2-t^2)^{k-1}u^{(2k)}(t) dt\, $$ (this may also be written as an equality relating Taylor coefficients by means of an integral mean).

3. There is also a more general statement for a function $w(x):=u(x^{1/p})$ for $p\in\mathbb{N} _ +$, assuming that the formal Taylor series of $u$ is in $\mathbb{R}[[x^p]]$; the $k-$th Taylor coefficient of $w$ at $x^p$ is then an integral mean of the $kp-$th Taylor coefficients of $v$, supported on $[0,x]$, with certain densities depending on $p$ and $n$ recursively defined. Is there a more general statement connecting analogously operations in $\mathbb{R}[[x]]$ and $C^\infty$ functions via integral means of their Taylor formal series?

$\endgroup$
2
  • 4
    $\begingroup$ Pietro, that is clever, about shredding light. Did you intend that? $\endgroup$
    – Will Jagy
    May 17, 2011 at 22:30
  • 1
    $\begingroup$ oops! funny, I'll leave it ;-) $\endgroup$ May 18, 2011 at 13:43

2 Answers 2

12
$\begingroup$
  1. This is follows directly from the Taylor development to order $p-1$ with integral remainder: $$ f(x) = 0+ \dots + 0+ x^p \int_0^1\frac{(1-t)^{p-1}}{(p-1)!}f^{(p)}(tx)dt. $$ Your formulas are differentiated versions of this.

  2. By Whitney (Duke Math J. 10, 1943), if $f$ is invariant under the $\mathbb Z/(2)$-action $x\mapsto -x$ on $\mathbb R$, then $f(x)=g(x^2)$ for some smooth $g$. Gleaser (Ann. Math. 77, 1963) extended this as follows: If $f\in C^\infty(\mathbb R^n)$ is invariant under all permutations of the coordinates, then $f(x)=g(\sigma_1(x),\dots,\sigma_n(x))$ for a smooth function $g$, in the elementary symmetric functions $\sigma_i$. G. Schwartz (Topology 14, 1975) extended this for any representation of a compact Lie group $G$ on $\mathbb R^n$, for any generating system $\rho_1,\dots,\rho_k$ of the algebra of $G$-invariant polynomials: $\rho^\star: C^\infty(\mathbb R^k)\to C^\infty(\mathbb R^n)^G$ is surjective. Mather (Topology 16, 1977) reproved this and showed that there is a linear continuous section of $\rho^\star$. Luna (Ann Inst Fourier 26, 1976) extended this to reductive Lie groups.
    The relation to your question is follows: You require only that the Taylor series of $f$ at zero is invariant under $x\mapsto -x$. So let $\tilde f(x) = \frac12(f(x)+f(-x))$. Then $\tilde f - f$ is infinitely flat at 0, so $(\tilde f- f)(\sqrt x)$ for $x\ge 0$ makes sense and is smooth and can be extended to a smooth function $g$ on $\mathbb R$ evenly, oddly, or by 0. $\tilde f(x) = \tilde g(x^2)$ for some smooth $\tilde g$. Then $\tilde g -g$ is what you looked for. This recipe works for all representations of compact groups by integrating over the group.

  3. Consider $F(z) = f(Re(z))$ and let $\mathbb Z/(p)$ act on $\mathbb C$ by $z\mapsto e^{2\pi i k/p}.z$ where $k=0,1,\dots p-1$. Then we are in the situation of 2. The invariant real polynomials are generated by $Re(z^p)$ and $Im(z^p)$. Integrate over $\mathbb Z/(p)$ and use flat functions as in 2.

$\endgroup$
1
  • $\begingroup$ Do you know what can be said about smooth $G$-equivariant maps $\mathbb R^n \to \mathbb R^m$, given representations of $G$ on both spaces? (motivation) $\endgroup$ Feb 24, 2019 at 21:26
4
$\begingroup$

Hello,

I happened upon your question and noticed that your integrals look a lot like fractional derivatives. I think they provide the generalization you're looking for.

http://en.wikipedia.org/wiki/Fractional_derivative

I know this doesn't fully answer your question, but should be a good place to start looking. Good luck!

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.