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

使い方

1. 実数次数ν、xの初期値、増分、点数を入力します。既定はν=0.5、x=1〜3です。
2. I_(1/2)(x)=sqrt(2/(πx))sinh xとの一致と、x増加時の急増を表で確認します。
3. 大きなxで曲線が縦軸を占有する場合は区間を狭め、指数表記の表値も確認します。

計算式・考え方

第1種変形Bessel関数I_ν(x)はx²y''+xy'−(x²+ν²)y=0の標準解で、I_ν(x)=Σ_{k=0}^∞(x/2)^(2k+ν)/(k!Γ(k+ν+1))です。本ページは実数次数νへ拡張し、0≤x≤50を評価します。x=0はν≥0に限定し、I_0(0)=1、ν>0ではI_ν(0)=0とします。

注意事項

• NIST DLMF §10.25の定義と§10.32の積分表示（特に10.32.E4・E9）を2026年7月15日に照合しました。J_ν(ix)との解析接続では位相規約が入るため、本ページは正の実数xのI_νを直接評価します。
• I_νは正のxで振動せず、典型的にはe^x/sqrt(2πx)に比例して増加します。x≤50へ制限しても値の桁は大きく変わるので、グラフだけで小さいxの差を読み取らず、表や範囲を絞った再計算を使ってください。
• 負の実数次数ではI_(−ν)とI_νは一般に同じではなく、K_νを含む接続項が現れます。整数次数ではI_(−n)=I_nですが、原点入力を次数ごとに特別扱いせず、負のνとx=0は一律に入力エラーにします。
• 拡散、熱、円筒対称の境界値問題では、増加解I_νと減衰解K_νを境界条件に応じて組み合わせます。大きなxでI_νが増えること自体を数値発散と断定せず、モデルが要求するscaled関数や比が必要か確認してください。
• この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関数は波動方程式、円筒・球対称の境界値問題、熱伝導、電磁気、拡散モデルなどに現れます。ただし、このグラフだけから物理量を決めることはできません。モデル側の境界条件、単位、無次元化、線形結合係数を確認し、採用した関数規約と入力値を結果と一緒に記録してください。
• 有界な倍精度による実数次数の標本グラフです。任意精度、複素数、零点探索、物理モデルの妥当性を保証しません。

よくある質問