Advanced Search

Let $\Lambda \subset {ℝ}^n\times {ℝ}^m$ and $k$ be a positive integer. Let $f:{ℝ}^n\to {ℝ}^m$ be a locally bounded map such that for each $(\xi ,\eta )\in \Lambda$, the derivatives $D_{\xi }^{j}f\left(x\right):=\frac{d^j}{d{t}^j}f(x+t\xi ){|}_{t=0}$, $j=1,2,\cdots k$, exist and are continuous. In order to conclude that any such map $f$ is necessarily of class $C^k$ it is necessary and sufficient that $\Lambda$ be not contained in the zero-set of a nonzero homogenous polynomial $\Phi (\xi ,\eta )$ which is linear in $\eta =({\eta }_1,{\eta }_2,\cdots ,{\eta }_m)$ and homogeneous of degree $k$ in $\xi =({\xi }_1,{\xi }_2,\cdots ,{\xi }_n)$. This generalizes a result of J. Boman for the case $k=1$. The statement and the proof of a theorem of Boman for the case $k=\infty$ is also extended...

A nonlinear generalization of convergence sets of formal power series, in the sense of Abhyankar-Moh [J. Reine Angew. Math. 241 (1970)], is introduced. Given a family $y={\phi }_s(t,x)=sb₁\left(x\right)t+b₂\left(x\right)t²+\cdots$ of analytic curves in ℂ × ℂⁿ passing through the origin, $Con{v}_{\phi }\left(f\right)$ of a formal power series f(y,t,x) ∈ ℂ[[y,t,x]] is defined to be the set of all s ∈ ℂ for which the power series $f({\phi }_s(t,x),t,x)$ converges as a series in (t,x). We prove that for a subset E ⊂ ℂ there exists a divergent formal power series f(y,t,x) ∈ ℂ[[y,t,x]] such that $E=Con{v}_{\phi }\left(f\right)$ if and only if...