Properties for (α,β)-harmonic functions
Pith reviewed 2026-05-17 02:03 UTC · model grok-4.3
The pith
(α,β)-harmonic functions satisfy Heinz's inequality and inherit Radó's theorem plus Koebe covering results from ordinary harmonic functions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We obtain Heinz's inequality for (α,β)-harmonic functions, propose a coefficient bound for normalized univalent (α,β)-harmonic functions and prove that this holds for the subclass that consists of starlike functions. Furthermore, by utilizing the relationship between (α,β)-harmonic functions and harmonic functions, we obtain Radó's theorem, Koebe type covering theorems and an area theorem. Finally, we show growth estimates and distortion estimates for (α,β)-harmonic functions by using the L^p norms of the boundary functions.
What carries the argument
The relationship between (α,β)-harmonic functions and ordinary harmonic functions that permits transferring theorems like Radó's and Koebe-type results without parameter-specific adjustments.
If this is right
- Heinz's inequality holds for (α,β)-harmonic functions.
- A coefficient bound is valid for normalized univalent (α,β)-harmonic functions and remains valid inside the starlike subclass.
- Radó's theorem applies to (α,β)-harmonic functions.
- Koebe-type covering theorems and the area theorem extend to the class through the relationship.
- Growth and distortion estimates follow from the L^p norms of the boundary functions.
Where Pith is reading between the lines
- Varying α and β may generate families whose distortion or covering radii can be tuned for use in approximation or mapping problems.
- If the relationship is uniform in the parameters, other classical results from univalent function theory could transfer in the same way.
- The class could provide controlled examples for testing conjectures on harmonic mappings when α and β are chosen to alter the analytic form.
Load-bearing premise
The relationship between (α,β)-harmonic functions and ordinary harmonic functions is sufficiently strong and direct to transfer Radó's theorem, Koebe-type results, and the area theorem without additional restrictions or counterexamples arising from the parameters α and β.
What would settle it
A concrete (α,β)-harmonic function for distinct α and β that violates the Koebe covering radius or the area theorem would disprove the direct transfer of those results.
read the original abstract
We investigate properties of ($\alpha,\beta$)-harmonic functions. First, we discuss the coefficient estimates for ($\alpha,\beta$)-harmonic functions. In particular, we obtain Heinz's inequality for ($\alpha,\beta$)-harmonic functions, propose a coefficient bound for normalized univalent ($\alpha,\beta$)-harmonic functions and prove that this holds for the subclass that consists of starlike functions. Furthermore, by utilizing the relationship between ($\alpha,\beta$)-harmonic functions and harmonic functions, we obtain Rad\'{o}'s theorem, Koebe type covering theorems and an area theorem. Finally, we show growth estimates and distortion estimates for ($\alpha,\beta$)-harmonic functions by using the $L^p$ norms of the boundary functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript investigates properties of (α,β)-harmonic functions in the unit disk. It establishes coefficient estimates, including Heinz's inequality for this class, and proposes a coefficient bound for normalized univalent (α,β)-harmonic functions that is shown to hold for the starlike subclass. By invoking a relationship between (α,β)-harmonic functions and ordinary harmonic functions, the authors derive Radó's theorem, Koebe-type covering theorems, and an area theorem. The paper concludes with growth and distortion estimates obtained via L^p norms of the boundary functions.
Significance. If the central relationship to standard harmonic functions is shown to preserve the relevant properties uniformly, the work would extend several classical results from harmonic mapping theory to a parameterized family. The coefficient estimates and the transfer of Radó, Koebe, and area theorems could provide a useful framework for studying generalized harmonic mappings, particularly if the derivations are parameter-explicit and the bounds are sharp.
major comments (1)
- [Section on relationship to harmonic functions (post-coefficient estimates)] The derivation of Radó's theorem, Koebe-type covering theorems, and the area theorem rests entirely on the relationship between (α,β)-harmonic functions and ordinary harmonic functions (discussed after the coefficient estimates). The manuscript does not state the admissible range of α and β, nor does it verify that the correspondence preserves univalence, starlikeness, or the necessary boundary regularity for all such parameters. If the mapping depends on α and β in a way that alters these properties outside a restricted interval, the transferred theorems require additional hypotheses or counterexamples.
minor comments (2)
- [Introduction / Definition section] The definition of (α,β)-harmonicity and the precise normalization condition for the univalent subclass should be stated explicitly at the outset, including any restrictions on α and β, to make the subsequent claims self-contained.
- [Final section on growth and distortion estimates] Notation for the L^p norms of the boundary functions in the growth and distortion estimates could be clarified, particularly how these norms relate back to the (α,β) parameters.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and for the constructive major comment. We address the point raised below and outline the revisions we will make.
read point-by-point responses
-
Referee: [Section on relationship to harmonic functions (post-coefficient estimates)] The derivation of Radó's theorem, Koebe-type covering theorems, and the area theorem rests entirely on the relationship between (α,β)-harmonic functions and ordinary harmonic functions (discussed after the coefficient estimates). The manuscript does not state the admissible range of α and β, nor does it verify that the correspondence preserves univalence, starlikeness, or the necessary boundary regularity for all such parameters. If the mapping depends on α and β in a way that alters these properties outside a restricted interval, the transferred theorems require additional hypotheses or counterexamples.
Authors: We agree with the referee that the admissible range of the parameters α and β must be stated explicitly and that the preservation of univalence, starlikeness, and boundary regularity under the correspondence to ordinary harmonic functions requires verification. In the revised manuscript we will insert a short preliminary subsection immediately before the derivations of Radó’s theorem, the Koebe-type covering theorems, and the area theorem. There we will specify that α, β ∈ ℝ satisfy |α| + |β| < 1 (the range already implicit in the definition of (α,β)-harmonic mappings used throughout the paper) and supply a brief argument showing that, under this restriction, the correspondence preserves sense-preservation, univalence, starlikeness, and the requisite boundary regularity. With these additions the transferred theorems will hold rigorously for the class under consideration. revision: yes
Circularity Check
No significant circularity; results transferred via external relationship to standard harmonic functions
full rationale
The paper defines (α,β)-harmonic functions and obtains coefficient estimates, Heinz inequality, and bounds for univalent/starlike subclasses directly. It then transfers Radó's theorem, Koebe-type covering theorems, and the area theorem by invoking a relationship to ordinary harmonic functions, followed by growth/distortion estimates via L^p boundary norms. This relationship functions as an independent mapping tool rather than a self-referential construction. No quoted steps reduce a claimed result to its own inputs by definition, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation remains self-contained against external results in harmonic function theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption There exists a sufficiently direct relationship between (α,β)-harmonic functions and ordinary harmonic functions that permits direct transfer of Radó's theorem, Koebe covering theorems, and the area theorem.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We focus on the following associated homogeneous equation on D: L_{α,β}u=0. ... u is (α,β)-harmonic if it satisfies (1.1).
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
By utilizing the relationship between (α,β)-harmonic functions and harmonic functions, we obtain Radó’s theorem, Koebe type covering theorems and an area theorem.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
G. Andrews, R. Askey, R. Roy. Special functions. Encyclopedia Math. Appl., Cambridge Uni- versity Press, 1999
work page 1999
-
[3]
M. Arsenovi´ c, J. Gaji´ c, Schwarz-Pick lemma for (α, β)-harmonic functions in the unit disc. J. Math. Anal. Appl. (2024), 539(1), Article No. 128489
work page 2024
-
[4]
D. Bshouty, S. Evdoridis, A. Rasila. A note on Polyharmonic mappings. Comput. Methods Funct. Theory (2021), 22(3), 1–11
work page 2021
-
[5]
M. Carlsson, J. Wittsten. The Dirichlet problem for standard weighted Laplacians in the upper half plane. J. Math. Anal. Appl. (2016), 436, 868–889
work page 2016
-
[6]
J. Chen, S. Chen, M. Huang, H. Zheng. Isoperimetric type inequalities for mappings induced by weighted Laplace differential operators. J. Geom. Anal. (2023), 33(7), Article No. 216
work page 2023
-
[7]
S. Chen, S. Ponnusamy, X. Wang. Covering and distortion theorems for planar harmonic univalent mappings. Arch. Math. (Basel) (2013), 101(3), 285–291
work page 2013
-
[8]
J. G. Clunie, T. Sheil-Small. Harmonic univalent functions. Ann. Acad. Sci. Fenn. Math. (1984), 9, 3–25
work page 1984
-
[9]
P. Duren. Theory ofH p spaces. Academic Press, New York and London, 1970
work page 1970
-
[10]
P. Duren. Univalent functions. Spring-Verlag, New York, 1983
work page 1983
-
[11]
P. Duren. Harmonic mappings in the plane. Cambridge University, Cambridge, 2004
work page 2004
-
[12]
D. Geller. Some results inH p theory for the Heisenberg group. Duke Math. J. (1980), 47(2), 365–390
work page 1980
-
[13]
V. Heikkala, M. K. Vamanamurthy, M. Vuorinen. Generalized elliptic integrals. Comput. Meth. Funct. Theory (2009), 9(1), 75–109
work page 2009
-
[14]
D. Kalaj. Sharp pointwise estimate ofα-harmonic functions. Complex Anal. Oper. Theory (2024), 18(6), No. 135
work page 2024
- [15]
-
[16]
A. Khalfallah, M. Mhamdi. Estimates of the first partial derivatives of (α, β)-harmonic func- tions on the unit disc. J. Inequal. Appl. (2025), 2025, Article No.109
work page 2025
-
[17]
A. Khalfallah, M. Mateljevi¡¨ ac. Norm estimates of the partial derivatives and Schwarz lemma forα-harmonic functions. Complex Var. Elliptic Equ. (2024), 69(7), 1182–1194
work page 2024
-
[18]
A. Khalfallah, M. Mateljevi´ c. Estimates of partial derivatives for harmonic functions on the unit disc. Comput. Methods Funct. Theory (2024), 24(4), 883–893
work page 2024
-
[19]
Kneser, L¨ osung der Aufgabe 41
H. Kneser, L¨ osung der Aufgabe 41. Jahresber. Deutsch. Math. Verein. (1926), 35, 123–124
work page 1926
-
[20]
M. Klintborg, A. Olofsson. A series expansion for generalized harmonic functions. Anal. Math. Phys. (2021), 11(2), Article No. 122
work page 2021
-
[21]
R. R. Hall, On an inequality of E. Heinz. J. Analyse Math. (1982/83), 42, 185–198
work page 1982
-
[22]
P. Li, X. Wang, Q. Xiao. Several properties ofα-harmonic functions in the unit disk. Monatsh. Math. (2017), 184, 627–640
work page 2017
-
[23]
P. Li, A. Rasila, Z. Wang. On properties of solutions to theα-harmonic equation. Complex Var. Elliptic Equ. (2020), 65(12), 1981–1997
work page 2020
-
[24]
P. Li, Q. Luo, S. Ponnusamy. On properties of the solutions to the (p, q)-harmonic functions. J. Math. Anal. Appl. (2025), 549(1), Artile No. 129437
work page 2025
-
[25]
B. Long, Q. Wang. Some coefficient estimates on real kernelα-harmonic mappings. Proc. Amer. Math. Soc. (2022), 150(4), 1529–1540
work page 2022
- [26]
-
[27]
B. Long. Some optimal inequalities forα-harmonic functions estimated by their boundary functions. Potential Anal. (2025). Doi.org/10.1007/s11118-025-10221-4
-
[28]
Y. Abu Muhanna, R. M. Ali, S. Ponnusamy. The spherical metric and univalent harmonic mappings. Monatsh. Math. (2019), 188, 703–716. (α, β)-harmonic functions 33
work page 2019
- [29]
-
[30]
A. Olofsson, J. Wittsten. Poisson integrals for standard weighted Laplacians in the unit disc. J. Math. Soc. Japan (2013), 65, 447–486
work page 2013
-
[31]
Rudin, Real and complex analysis (Third Edition)
W. Rudin, Real and complex analysis (Third Edition). McGraw-Hill Book Company, New York, 1987
work page 1987
-
[32]
Sheil-Small, Constants for planar harmonic mappings
T. Sheil-Small, Constants for planar harmonic mappings. J. London Math. Soc. (1990), 42, 237–248
work page 1990
-
[33]
Zh. Wang, X. Wang, A. Rasila, J. Qiu, On a problem of Pavlovi´ c involving harmonic quasi- conformal mappings. arXiv:2405.19852 (2024). J. Qiao, Department of Mathematics, College of Mathematics and Information Science, Hebei University, Baoding 071002, Hebei, People’s Republic of China. Hebei Key Laboratory of Machine Learning and Computational Intellige...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.