今考えている PSF は回転対称な FIR フィルタです。最も簡単な例を挙げると、円板定義関数が思いつきます。このときの畳込み像は、円板定義関数で決まるポンペイユ変換による像と解釈することもできます。

畳込みの許容関数に強い条件が課されていればポンペイユ変換は単射となり簡単なのですが、$2$ 階微分連続という条件のみのような弱い条件の場合はポンペイユ順問題の反例のようにポンペイユ変換の自明ではない零点が無限に存在してしまいます。

ポンペイユ変換が単射ではなくなってしまう場合のデコンボリューションは、ポンペイユ変換の零点全体による商空間で議論しなければ意味がありません。

弱い前提条件からは弱い解が得られる、ということですね。前回正方形のポンペイユ変換で確認した通り、前提条件によっては大きく反転公式のロジックが変わってしまう可能性がありますので、厳密に前提条件を定めてから議論を進めるよりも特定の方法を使う上で必要に応じて設定していく方が建設的です。次回は、とりあえず畳込みの微分を計算してみましょう。(written by J.Nishigata)

研究9- デコンボリューションとポンペイユ変換