Une équation fonctionnelle rencontrée dans l'intégration de l'équation \(s=f(x,y)\) avec certaines conditions initiales. (Q568801)

Bei der Integration der partiellen Differentialgleichung \[ \frac {\partial ^2 z}{\partial x\partial y}=f(x,y) \] im Winkelsektor \(m_1x\leqq y\leqq m_2x, 0\leqq m_1<m_2\), mit den Nebenbedingungen \[ z(x,m_1x)+\int _{m_1}^{m_2}z(x,tx)p_1(t)dt=f_1(x), \quad z(x,m_2x)+\int _{m_1}^{m_2}z(x,tx)p_2(t)dt=f_2(x) \] (für \(p_1(t)\equiv p_2(t)\equiv 0\) erhält man den Fall, daß auf dem Rand des Sektors die Funktionswerte vorgeschrieben sind) kommt Verf. auf die Funktionalgleichung \[ \psi (x)-a\psi (\sigma x)+\lambda \int _\sigma ^1h(s)\psi (sx) ds = g(x). \tag{1} \] Dabei ist \(0\leqq \sigma =\frac {m_1}{m_2}<1\), \(a\) eine Konstante, \(\lambda \) ein Parameter, der im Falle des obigen Integrationsproblems einen speziellen Wert besitzt; \(h(s)\) und \(g(x)\) sind gegebene Funktionen, \(\psi (x)\) ist gesucht. Ist die Funktion \(g(x)\) in einer Umgebung des Nullpunkts analytisch, so läßt sich eine Lösung der Funktionalgleichung (1) angeben, die in dieser Umgebung ebenfalls analytisch ist, falls nicht \(\lambda \) einen der Ausnahmewerte \[ \frac {a\sigma ^n-1}{\mu _n}, \;\mu _n=\int _\sigma ^1 s^nh(s) ds \qquad (n=0,1,2,\dots ) \] annimmt. Wird von \(g(x)\) in einer Umgebung des Nullpunktes nur Stetigkeit und \[ |f(x)|<Mx^\nu \qquad (\nu >0) \] vorausgesetzt, so existiert für hinreichend kleines \(\lambda \) und unter der weiteren Voraussetzung \(|a|\sigma ^\nu <1\) eine Lösung \(\psi (x)=\psi _0(x)+\lambda \psi _1(x)+\lambda ^2\psi _2(x)+\cdots \). Über \(h(s)\) wird Integrierbarkeit vorausgesetzt.