Ueber die absoluten Maxima der Bessel'schen Functionen. (Q1529237)

Der Verfasser entwickelt die Bessel'sche Function \(J_n(n)\), bei der das Argument gleich dem Index \(n\), letzterer aber ganzzahlig ist, in eine nach fallenden Potenzen von \(n\) fortschreitende Reihe. Die Reihe, welche nur ungerade Potenzen von \(n^{-\frac13}\) enthält und weiterhin kurz mit \(u_n\) bezeichnet wird, ergiebt sich, wenn man in dem Bessel'schen Integral \[ J_n(n)=-\frac1\pi\,\int^\pi_0\cos(n\varphi-n\sin \varphi)d\varphi \] für \(\varphi-\sin\varphi\) eine neue Integrationsvariable einführt. In analoger Weise lässt sich \(J_{n-1}(n)-J_n(n)\) in eine Reihe \(v_n\) entwickeln, die nach geraden Potenzen von \(n^{-\frac13}\) fortschreitet. Aus den genannten Reihen kann man dann mittels der bekannten Recursionsformel der Bessel'schen Functionen eine Reihe für \(J_{n-s}(n)\) ableiten, wo \(s\) eine beliebige ganze Zahl ist. In der so erhaltenen Reihe wird nun \(s = \mu\root 3\of n\) gesetzt. Dann nimmt dieselbe die Form an: \[ (1)\qquad J_h(n) = u_n[f(\mu)+f_2(\mu)n^{-\frac23}+f_3(\mu)n^{-\frac43}+\cdots]+v_n\root 3\of n[\varphi(\mu)+\varphi_2(\mu)n^{-\frac23}+\varphi_3(\mu)n^{\frac43}+\cdots], \] \[ (h= n-\mu\root 3\of n); \] und es lässt sich zeigen, dass alle Coefficienten \(f_m(\mu)\), \(\varphi_m(\mu)\) sich durch \(f(\mu)\), \(\varphi(\mu)\) und deren erste Ableitungen darstellen lassen. Mit Hülfe dieser Darstellung lässt sich die Gleichung (1) bei Beschränkung auf die drei ersten Hauptglieder in folgende Form bringen: \[ (2)\qquad \root 3\of n J_h(n) = (1- \tfrac{2}{15}\,\mu n^{-\frac23}+\tfrac{13}{315}\,\mu^2n^{-\frac23})[Af(v)+B\varphi(v)], \] \[ (h= n-\mu\root 3\of n). \] Darin ist \[ (3)\qquad v = \mu+\tfrac{1}{30}\,\mu^2n^{-\frac23}+(\tfrac{8}{1575}\,\mu^3-\tfrac{1}{70})n^{-\frac43}+\cdots; \] \(f(v)\) und \(\varphi(v)\) sind gewisse, nach steigenden Potenzen von \(v\) fortschreitende Reihen, \(A\) und \(B\) numerische Coefficienten. Die Reihe (2), die ihrer Ableitung nach nur für den Fall gilt, dass \(n\) sowohl als \(\mu\root 3\of n\) ganze Zahlen sind, wendet der Verfasser ohne irgend welche Begründung auf beliebige Werte von \(\mu\) an. Er sucht die kleinste Wurzel der Gleichung \[ Af(v) + B\varphi(v) = 0, \] bestimmt mittels der Formel (3) den zugehörigen Wert \(\mu_0\) von \(\mu\) und schliesst dann: ``Daher geht die Bessel'sche Function \(J_h(n)\) bei abnehmendem\(^*\) [\(^*)\) Im Texte steht fälschlich ``wachsendem'' statt ``abnehmendem'' \(h\).] zum letzten Male für \(h=n-\mu_0 \root 3\of n\) vom Negativen zum Positiven durch die Nullgrenze, wächst dann bis zum absoluten Maximum und nimmt später immer schneller ab, ohne jemals wieder negativ zu werden.'' Referent kann diesen Schluss nicht als berechtigt anerkennen, weil dabei auf die beschränkende Voraussetzung, unter der die Formel (2) bewiesen ist, keine Rücksicht genommen ist. Derselbe Einwand lässt sich gegen die dann folgende Berechnung der Grösse des absoluten Maximums der Function \(J_h(n)\) für \(h=n-\mu\root 3\of n\) erheben. Die hohe Bedeutung, welche der Verfasser den in (2) auftretenden Functionen \(f(v)\), \(\varphi(v)\) für die Theorie der Bessel'schen Functionen beimisst, vermag Referent nach dem Gesagten vorläufig nicht anzuerkennen. Erwähnt werden mag noch, dass der Verfasser nicht die im vorstehenden Referate (JFM 24.0475.02) angewandte, jetzt allgemein übliche Bezeichnung der Bessel'schen Functionen, sondern die ursprüngliche Bessel'sche Schreibweise benutzt.