Weighted sharing and a result of Ozawa (Q5957961)

In this paper, the notion of weighted sharing will be used to prove an interesting uniqueness theorem for meromorphic functions, extending a corresponding result for entire functions, due to \textit{M. Ozawa} [J. Anal. Math. 30, 411-420 (1976; Zbl 0337.30020)]. Let \(\overline{N}(r,a,f|\geq 2)\) denote the Nevanlinna counting function for multiple \(a\)-points of \(f\), each counted just once, and define \(\delta_2(a,f)=1-\limsup_{r\to\infty}N_2(r,a,f)/T(r,f)\), where \(N_2(r,a,f)=\overline{N}(r,a,f)+\overline{N}(r,a,f|\geq 2)\). Two meromorphic functions \(f,g\) now share \(a\in\mathbb C\cup\{\infty\}\) with weight \(k\), if \(f,g\) share \(CM\) all \(a\)-points of multiplicity \(m\leqq k\), while all \(a\)-points of multiplicity \(m>k\) are shared \(IM\). The notation \((a,k)\) will be applied for this situation. The result proved here now reads as follows: If \(f,g\) share \((0,1)\), \((1,1)\), \((\infty,1)\) and if \[ 2\delta_2(0,f)+2\delta(\infty,f)+\min\Big(\sum_{a\neq 0,1,\infty}\delta_2(a,f), \sum_{a\neq 0,1,\infty}\delta_2(a,g)\Big)>3, \] then \(f\equiv g\) or \(fg\equiv 1\). Moreover, if \(f\) has at least one zero or pole, then \(f\equiv g\). It remains open, whether the sharing assumption in the theorem could be replaced by \(IM\)-sharing.