Sulla definizione del logaritmo di una funzione olomorfa. (Q2580733): Difference between revisions

Im Polyzylinder \(\mathfrak{P}: \; |\,z_{\nu}\,|<r_{\nu} \,(\leqq \infty)\) sei die partielle Differentialgleichung vorgelegt \[ \sum\limits_{\nu=1}^{n} z_{\nu} \frac{\partial f(Z)}{\partial z_{\nu}}= q(Z) \,f(Z) \tag{1} \] (\(Z=(z_1, \,z_2, \ldots \!,z_n)\), \(q(Z)\) in \(\mathfrak{P}\) regulär, \(q(0)=0\)). Für \(n = 1\) erhält man für die (nichtverschwindenden) Lösungen \(\text{lg } f(z)=\text{ lg } f(0)+ \int\limits_{0}^{z} \dfrac{q(\zeta)}{\zeta} \,d\zeta\), und entsprechend gibt es allgemein zu vorgegebenem Anfangswert \(f(0) \neq 0\) genau eine in \(\mathfrak{P}\) \textit{reguläre} Lösung; diese ist dort \(\neq 0\) und gestattet die Darstellung \[ \text{lg } f(Z)=\text{ lg } f(0)+g(Z), \] wo \[ g(Z)=\sum_{\nu_j \geqq 0} \frac{a_{\nu_1 \ldots \nu_n}} {\nu_1+\cdots+\nu_n} z_1^{\nu_1} z_2^{\nu_2} \cdots z_n^{\nu_n}, \;\; \left[\sum \nu_j \geqq 1\right], \] falls \(q(Z)=\sum a_{\nu_1 \ldots \nu_n} z_1^{\nu_1} z_2^{\nu_2} \cdots z_n^{\nu_n}\) gesetzt wird. Für die allgemeinere Gleichung \[ \sum_{1}^{n} z_{\nu} \frac{\partial f}{\partial z_{\nu}}= (\mu+q(Z))f \tag{2} \] mit komplexem Parameter \(\mu\) gibt es in \(\mathfrak{P}\) reguläre Lösungen nur für \(\mu\) ganz \(\geqq 0\); sie sind gegeben durch \(P(Z)\) \(\exp \,g(Z)\), wenn \(P(Z)\) ein homogenes Polynom \(\mu\)-ten Grades mit willkürlichen Koeffizienten bedeutet. In \(\mathfrak{P}\) außer auf \(z_{\nu}=0\) \((\nu= 1,\ldots \!, n)\) reguläre Lösungen gibt es dann und nur dann, wenn \(\mu\) wenigstens ganzzahlig ist; insbesondere gibt es dann bereits Lösungen, die nur auf einer \textit{einzigen} Hyperebene \(z_{\nu} = 0\) singulär werden, und diese hängen von einer willkürlichen Funktion ab (entsprechendes gilt, wie hinzugefügt sei, für eine beliebige Hyperebene \(\sum\limits_{\nu=1}^{n} \alpha_{\nu}z_{\nu}=0\), wie aus der Invarianz der linken Seite von (1) (2) (bei linear-homogener Transformation der \(z_{\nu}\) ohne weiteres folgt).