第1種Bessel関数J_ν(x)を実数次数でグラフ・表計算

第1種Bessel関数J_ν(x)を実数次数でグラフ・表計算

実数次数νと0〜50のx格子から第1種Bessel関数J_ν(x)を計算し、グラフ、数値表、TSVで確認します。

入力

−20以上20以下の実数です。整数次数だけでなく0.5なども指定できます。

0以上50以下の第0点です。

0以外の有限値です。負なら大きいxから小さいxへ並べます。

初期値を含む1〜201点です。

使い方

  1. 実数次数ν、xの初期値、増分、点数を入力します。既定はν=0.5、x=1〜3です。
  2. J_(1/2)(x)=sqrt(2/(πx))sin xとの一致をx=1、2、3の表で確認します。
  3. 振動や零点を詳しく見る場合はx範囲を広げ、標本点数上限内で増分を小さくします。

計算式・考え方

第1種Bessel関数J_ν(x)はx²y''+xy'+(x²−ν²)y=0の標準解です。x≥0ではJ_ν(x)=Σ_{k=0}^∞(−1)^k(x/2)^(2k+ν)/(k!Γ(k+ν+1))で表されます。本ページはνを整数に限定せず−20≤ν≤20の実数へ拡張し、x=0はν≥0だけを受け付け、J_0(0)=1、ν>0ではJ_ν(0)=0とします。

注意事項

  • NIST DLMF §10.2の標準解と§10.9の実数引数積分表示(dlmf.nist.gov/10.2、/10.9、式10.9.E6・E7)を2026年7月15日に照合しました。半整数次数の初等式も独立検算に使っています。
  • J_νはνが非負なら原点で有限ですが、負の非整数次数ではx→0+で発散成分を持ちます。負の整数にはJ_(−n)=(−1)^nJ_nという関係があるものの、入力規則を次数ごとに不連続に変えないため、この有限グラフでは負のνとx=0の組合せを一律に拒否します。
  • 大きい正のxではおおよそsqrt(2/(πx))cos(x−νπ/2−π/4)として振動し、包絡はx^(−1/2)で小さくなります。この漸近式は形の確認用で、有限xの計算値を置き換えるものではありません。
  • 第2種Y_νとの線形結合は円筒波の境界条件に使われます。J_νだけのグラフから境界条件を決めず、Y_ν、導関数、零点、係数を問題設定に沿って別途確認してください。
  • このwaveでは、次数νを整数に丸めず−20から20までの実数として扱います。古典的な球ベッセル関数は非負整数nで紹介されることが多い一方、本ページ群の球関数は円柱ベッセル関数との関係式を定義として実数次数νへ拡張しています。したがって、整数次数だけを載せた数表と比較するときも、入力欄のνが階数nなのか円柱側のν+1/2なのかを確認してください。
  • 横軸はx_i=xの初期値+i×増分(i=0,1,…,点数−1)で作ります。点数は1〜201、xは関数ごとの許可範囲内です。増分を負にすれば右から左へ並べられますが、初期点だけでなく最終点も範囲内でなければ計算しません。増分0は同じ点を重複させるだけなので入力エラーにします。
  • グラフの線は指定した標本点を見やすく結んだものです。点間を追加評価した補間曲線、零点探索、極値探索ではありません。振動が速い区間やx=0近くの急変を調べる場合は表示範囲を狭め、増分を小さくしてください。見かけ上の交点をそのまま根とせず、表の符号と専用の高精度計算で再確認してください。
  • 同じBesselという名称でも、第1種と第2種、通常型と変形型、円柱型と球型では微分方程式、原点での挙動、無限遠での増減が異なります。さらに資料によって球型の正規化やmodified spherical kの係数が違います。比較時は関数記号だけでなく、次数、引数、平方根係数、位相、正規化を式単位で照合してください。
  • 計算はschema v4のsampled-series-v1と、固定名で許可した有界なBessel evaluatorを使います。任意の式やコードを実行するeval、new Function、外部API、CDN、fetch、XMLHttpRequest、WebSocketは使いません。反復回数、入力範囲、有限性を検査し、倍精度で安全に返せない標本は未定義セルとして線を分断します。
  • 入力した次数、x格子、生成した系列は利用者のブラウザ内だけで計算・表示され、サーバーや第三者へ送信・保存されません。WordPressの本文、追加CSS、追加JavaScriptで完結できる構成を前提とし、このbuilderはローカル成果物だけを生成します。下書き作成、記事更新、本公開は実行しません。
  • 結果の表とTSVはグラフと同じ内部数値を使います。表示は最大15桁の有効数字で、binary64の丸め、漸近展開や級数の打切り、近接する大きな項の相殺による誤差を含みます。極端に小さい値や大きい値では相対誤差と絶対誤差のどちらが用途に重要かを決め、NIST DLMFの表や任意精度ライブラリとも照合してください。
  • NIST Digital Library of Mathematical Functions(DLMF)第10章の定義、接続公式、実数引数の積分表示、球関数との関係を2026年7月15日に一次資料として確認しました。ページごとの本文に参照節を記載しています。本ツールは公式定義の学習と代表値の検算を補助しますが、解析接続、複素引数、導関数、零点、証明、任意精度計算を提供するものではありません。
  • Bessel関数は波動方程式、円筒・球対称の境界値問題、熱伝導、電磁気、拡散モデルなどに現れます。ただし、このグラフだけから物理量を決めることはできません。モデル側の境界条件、単位、無次元化、線形結合係数を確認し、採用した関数規約と入力値を結果と一緒に記録してください。
  • 有界な倍精度による実数次数の標本グラフです。任意精度、複素数、零点探索、物理モデルの妥当性を保証しません。

よくある質問

次数は整数だけですか?

いいえ。−20から20の実数次数をそのまま評価します。

x=0を使えますか?

ν≥0なら使えます。ν=0で1、ν>0で0です。

グラフの交点は正確な零点ですか?

いいえ。指定格子を結ぶ表示なので、零点には専用計算が必要です。

J_(1/2)は何になりますか?

x>0でsqrt(2/(πx))sin xです。

入力した実数次数とx格子、計算結果は端末内だけで処理され、外部へ送信または保存されません。個人情報の入力欄もありません。