Quaternionic Nevanlinna Functions

TL;DR

This paper develops a quaternionic extension of Nevanlinna theory, introducing new functions and theorems to analyze the value distribution of quaternionic meromorphic functions, expanding the mathematical framework in this non-commutative setting.

Contribution

It introduces quaternionic Nevanlinna functions, defines new classes of functions, and proves a First Main Theorem in the quaternionic context, extending classical complex analysis results.

Findings

Established quaternionic Jensen formula and total order

Defined quaternionic Weil and proximity functions

Proved a First Main Theorem for mean proximity balanced functions

Abstract

Nevanlinna theory studies the value distribution of meromorphic functions and provides powerful results in the form of the First and Second Main Theorems. In this paper, we introduce quaternionic analogues of the Nevanlinna functions. Starting from the Jensen formula due to Perotti (arXiv:1902.06485), we derive a notion of total order and an associated integrated counting function. We further define quaternionic Weil functions and corresponding mean proximity functions. In this context, we introduce the class of mean proximity balanced functions, which includes the slice-preserving functions and all semiregular functions with a dominating index in their power series. To address the failure of $\log|f^s|$ to be harmonic, we define a Harmonic Remainder Function that compensates for this defect in the Jensen formula. We then prove a weak First Main Theorem--type result for general semiregular functions and obtain a full First Main Theorem for the mean proximity balanced functions.