Mathstudent V93 Part1!2!2024
Mathstudent V93 Part1!2!2024
THE
MATHEMATICS
STUDENT
Volume 93, Nos. 1-2, January - June (2024)
(Issued: May, 2024)
Editor-in-Chief
G. P. Youvaraj
EDITORS
PUBLISHED BY
THE INDIAN MATHEMATICAL SOCIETY
Website: https://indianmathsoc.org
THE MATHEMATICS STUDENT
Edited by G. P. Youvaraj
In keeping with the current periodical policy, THE MATHEMATICS STUDENT seeks
to publish material of interest not just to mathematicians with specialized interest but
to the postgraduate students and teachers of mathematics in India and abroad. With
this in view, it will ordinarily publish material of the following type:
1. research papers,
2. the texts (written in a way accessible to students) of the Presidential Addresses, the
Plenary talks and the Award Lectures delivered at the Annual Conferences.
3. general survey articles, popular articles, expository papers and Book-Reviews.
4. problems and solutions of the problems,
5. new, clever proofs of theorems that graduate / undergraduate students might see in
their course work, and
6. articles that arouse curiosity and interest for learning mathematics among readers and
motivate them for doing mathematics.
Articles of the above type are invited for publication in THE MATHEMATICS
STUDENT. Manuscripts intended for publication should be submitted online in the
LATEX and .pdf file including figures and tables to the Editor-in-Chief on the E-mail:
[email protected].
Manuscripts (including bibliographies, tables, etc.) should be typed double spaced on
A4 size paper with 1 inch (2.5 cm.) margins on all sides with font size 11 pt. in LATEX.
Sections should appear in the following order: Title Page, Abstract, Text, Notes and
References. Comments or replies to previously published articles should also follow this
format. In LATEX the following preamble be used as is required by the Press:
\ documentclass[11 pt,a4paper,twoside,reqno]{amsart}
\ usepackage {amsfonts, amssymb, amscd, amsmath, enumerate, verbatim, calc}
\ renewcommand{\ baselinestretch}{1.2}
\ textwidth=12.5 cm
\ textheight=20 cm
\ topmargin=0.5 cm
\ oddsidemargin=1 cm
\ evensidemargin=1 cm
\ pagestyle{plain}
The details are available on Society’s website: https://indianmathsoc.org
Authors of articles / research papers printed in the Mathematics Student as well as in
the Journal shall be entitled to receive a soft copy (PDF file) of the paper published.
There are no page charges for publication of articles in these journals.
All business correspondence should be addressed to Prof. M. M. Pawar, Treasurer,
Indian Mathematical Society, Formerly at K.B.C. North Maharastra University, Jalgon,
Maharashtra - 425001, India, on the E-mail: [email protected].
In case of any query, one may contact the Editor through the e-mail.
Copyright of the published articles lies with the Indian Mathematical Society.
ISSN: 0025-5742
THE
MATHEMATICS
STUDENT
Volume 93, Nos. 1-2, January - June (2024)
(Issued: May, 2024)
Editor-in-Chief
G. P. Youvaraj
EDITORS
PUBLISHED BY
THE INDIAN MATHEMATICAL SOCIETY
Website: https://indianmathsoc.org
ISSN: 0025-5742
ii
Printed in India.
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024)
CONTENTS
*******
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2023), 01–02
PROF. M. M. SHIKARE
Prof. Patadia’s editorial acumen was not confined to logistics but ex-
tended to enhancing the scholarly quality of The Mathematics Student.
His discerning decision to discontinue abstracts of conference papers ele-
vated the journal’s stature as a research publication, a sentiment echoed
by esteemed mathematicians like Professor Bruce Berndt. Under his guid-
ance, the journal’s format evolved into a model of international standards,
featuring distinct sections catering to various academic interests.
His tireless advocacy for IMS extended beyond print to digital realms,
exemplified by his pivotal role in securing recognition for The Mathematics
Student in esteemed databases like SCOPUS. Moreover, his meticulous cu-
ration of the IMS website, featuring historical archives and vital updates,
ensures his legacy endures.
Outside his professional endeavors, Prof. Patadia’s unwavering pursuit
of justice, as exemplified by his protracted legal battle for teachers’ rights,
speaks volumes of his character. Even in the face of personal adversity, his
altruism shone through, epitomized by his generous donation to the IMS
amid unresolved pension disputes.
In honoring Prof. Patadia’s memory, we acknowledge the profound loss
to the IMS community. His refusal of a dedicated volume in his honor
epitomizes his humility and underscores his legacy as a cherished friend,
esteemed office-bearer, and unwavering supporter of the IMS.
May his soul find eternal peace.
1. Introduction
where c is called velocity of the wave. The term U (z) can be computed as
exact or approximate solution of the corresponding nonlinear ODE. There
are many travelling wave solutions such as solitary waves, kinks, periodic
waves, compactons and so on. For more details please refer [12].
Adomian decomposition series guided by linear and nonlinear terms of a
differential or integral equation provides a lot of flexibility to use series with
powers of well known elementary functions such as identity function, expo-
nential function and so on. Many times it is more simpler than Maclaurin
series. For more details please refer [3, 4, 11, 12].
In the present paper, section 2 mainly has the following results:
Corollary 1.2. For α = β = 4 in the Theorem 1.1, one gets back the
original KdV equation (1.1) and its Lax pair (1.2).
A KDV-TYPE EQUATION : LAX PAIR AND TRAVELLING WAVE SOLUTION 5
β ∂v
Theorem 1.3. The Miura-type transformation u = v2 + trans-
α ∂x
forms KdV-type equation (1.3) into mKdV-type equation
∂v 3 2 ∂v β ∂3v
− βv + = 0, (1.5)
∂t 2 ∂x 4 ∂x3
where α, β are non-zero real parameters.
∂5 ∂3 ∂u ∂ 2 ∂2u ∂
∂
M L = ml −4 5 + 10ku 3 + 15k 2
+ 12k 2
− 6k 2 u2
∂x ∂x ∂x ∂x ∂x ∂x ∂x
3
∂ u ∂u
+ mlk 4 3 − 9ku ,
∂x ∂x
and
∂L
+ (LM − M L) = 0 yields
∂t
∂u ∂u ∂3u
− 6mku + m 3 = 0. (2.1)
∂t ∂x ∂x
By taking α = 4mk and β = 4m in (2.1), we have proved Theorem 1.1.
As a special case, for α = β = 4 one gets back the original KdV equation,
which proves Corollary 1.2.
The derived KdV-type equation admits a Miura-type transformation
β ∂v
u= v2 + .
α ∂x
∂u 3 ∂u β ∂ 3 u
It transforms the KdV-type equation (1.3) − αu + = 0 into
∂t 2 ∂x 4 ∂x3
β ∂3v β ∂3v
β ∂v 3 2 ∂v β ∂ ∂v 3 2 ∂v
(2v) − βv + + − βv + = 0.
α ∂t 2 ∂x 4 ∂x3 α ∂x ∂t 2 ∂x 4 ∂x3
Hence the resulting mKdV-type equation (1.5) is
∂v 3 2 ∂v β ∂3v
− βv + = 0,
∂t 2 ∂x 4 ∂x3
which proves Theorem 1.3.
By looking at same form in all the four cases of KdV-type equation (1.3)
it is enough to work with Case 1, namely α > 0 and β > 0. Similarly, it is
enough to work with β > 0 for mKdV-type equation (1.5).
−2βk 2 e−k|z|
= .
α (1 + e−k|z| )2
Put ξ = e−k|z| and note that 0 < ξ < 1.
2βk 2
U (ξ) = − [ξ − 2ξ 2 + 3ξ 3 − 4ξ 4 + · · · ]
α
2βk 2
=− ξ 2 F1 (2, 1; 1; −ξ)
α
∞ (α) (β) z n
P n n
where 2 F1 (α, β; γ; z) = 1 + with (a)n = a(a + 1) · · · (a +
n=1 (γ)n n!
n − 1), a = α, β, γ, |z| < 1 is the standard Gauss Hypergeometric series.
5.1. KdV-type equation. For executing the method for KdV-type equa-
tion (1.3) the suitable nonlinear equation is
d2 U α
2
= k2 U + 3 U 2 ;
dz β
r
c β
k=2 , α > 0, β > 0, o < z < ∞, U (0) = − k 2 , U (∞) = 0.
β 2α
The Adomian decomposition series is
U = U0 + U1 + U2 + · · · + Un + · · ·
d2 U0
where − k 2 U0 = 0,
dz 2
n−1
d2 Un 2 αX
− k Un − 3 Um Un−1−m = 0, n = 1, 2, 3, . . .
dz 2 β
m=0
β β
Choose U0 = −2 k 2 e−kz and U1 = 4 k 2 e−2kz .
α α
β
Let us assume that Um = (−1)m (m + 1) −2 k 2 e−(m+1)kz and work-
α
out the major step of principle of mathematical induction.
m
d2 Um+1 αX
Consider 2
− k 2 Um+1 − 3 Ul Um−l = 0.
dz β
l=0
By choosing Um+1 = am+1 e−(m+2)kz , we have
"X m
#
β
am+1 [(m + 2)2 − 1] =(−1)m+1 6 −2 k2 (l + 1)(m + 1 − l)
α
i=0
2
m+1 β 2 m (m + 1)
=(−1) −2 k 6 + (m + 1)2
α 2
m(m + 1(2m + 1))
−
6
m+1 β 2
=(−1) −2 k (m + 1)(m + 2)(m + 3)
α
Hence
m+1 β 2
am+1 =(−1) −2 k (m + 2)
α
A KDV-TYPE EQUATION : LAX PAIR AND TRAVELLING WAVE SOLUTION 11
and
∞
β X
U (z) = −2 k 2 e−kz (−1)n (n + 1)e−(n+1)kz
α
n=0
β 2 k
=− k sech2 z , which is the desired solution.
2α 2
5.2. mKdV-type Equation. For solving mKdV-type equation (1.5) by
Adomian decomposition series method, the convenient ODE is
d2 W
r
2 3 c
2
−k W +2W = 0, k = 2 , β > 0, 0 < z < ∞, W (0) = k, W (∞) = 0.
dz β
The Adomian series W = W0 + W1 + · · · + Wn + · · · decomposes into the
following equations :
d2 W0
2
− k 2 W0 = 0
dz
2 n−1 l
d Wn X X
− k 2 Wn + 2 Wl Wj Wn−1−l−j = 0, n = 1, 2, 3, . . .
dz 2
j=0 j=0
7. Acknowledgement
1. Introduction
1.1. Background. The circular solar disc, the full moon and the semi-
circular rainbow must have fascinated our ancient ancestors. Pythagoras
considered circle as the most perfect of all plane figures. Circularity also
had practical applications. The invention of the wheel stimulated the ad-
vance of civilization. Circle is defined as a plane figure enclosed by a curved
line every point on which is equidistant from some fixed interior point. The
line forming the edge of a circle is called its circumference (C), the common
distance the radius (r), and the fixed point the centre. Any straight-line
passing through the centre and joining two points on the circumference is
C
called a diameter (D) of the circle. Numerical estimates of the ratio D
found in the records of most ancient civilizations (3 in the Old Testament
of the Bible, 3 81 in Babylon, 3 1381 in Egypt) point to an early realization
C
that D is constant irrespective of the circle’s size. It is proved in Euclid’s
Elements (Bk. XII, Prop. 2): Circles are to one another as the squares on
(their) diameters. The ratio is denoted by the Greek letter π, introduced
(most likely as an abbreviation for ‘perimeter’ of circle with unit diame-
ter) by William Jones in his Synopsis Palmariorum Matheseos: or, a New
Introduction to the Mathematics (1706). The notation became a standard
symbol once adopted by Euler in his paper Variae observationes circa series
infinitas (1744) and his book Introductio in Analysin Infinitorum (1748).
and in general,
n
n−k n
X
∆n0 = ∆n−1
1 − ∆0n−1 = (−1) ak .
k
k=0
∞
1 X
= yn (|y| < 1).
1−y
n=0
results in
∞
1 X
= n y n−1 (|y| < 1). (2.3)
(1 − y)2
n=0
One can easily see using the definition of beta function that
1 n!(2n)! n(n − 1)!(2n)!
3n
= = = n B(n, 2n + 1),
n
(3n)! (3n)!
so that Z 1
1
3n = n
tn−1 (1 − t)2n dt.
n 0
Multiplying both sides by n
x and taking the sum from n = 0 to ∞
yields
∞ ∞ 1
xn
X X Z
n
3n =
nx tn−1 (1 − t)2n dt
n=0 n n=0 0
Z 1 ∞
X
= x(1 − t)2 nxn−1 tn−1 {(1 − t)2 }n−1 dt
0 n=0
P∞ n
2.2. Derivation of n=0 2n (3n) . Multiplying both sides of (2.3) by y, and
n
then differentiating gives
∞
1+y X
− 3
= n2 y n−1 (|y| < 1). (2.5)
(1 − y)
n=0
Since {2 − t(1 − t)2 }3 = −(t − 2)3 (t2 + 1)3 , we may write the RHS as
Z 1
(1 − t)2 (t3 − 2t2 + t + 2)
2 .
0 (t − 2)3 (t2 + 1)3
The partial fraction expansion of the integrand is:
8(2t − 11) 2(41t − 148) 6t − 73
2 3
− 2 2
+
125(t + 1) 625(t + 1) 3125(t2 + 1)
4 17 6
+ 3
+ 2
− .
125(t − 2) 625(t − 2) 3125(t − 2)
ON GOSPER’S ACCELERATED SERIES FOR π 19
The resulting integrals can be calculated with the help of standard integral
tables and hence the sum:
∞
X n 79π − 18 log(2) + 405
3n
= . (2.6)
2n
n
3125
n=0
3. An akin series
Proof. To establish (3.1), we split the sum on the RHS into two parts:
∞ ∞
X 3 X 1
3n
+ 3n
.
n=1
2n n n n=1
2n (3n + 1) n
∞
X1
Sum 1. It is easy to compute the sum by proceeding as in the
2 n n 3n
n=1 n
last section. Using the binomial expansion and the Beta function, we have
Z 1
xn
3n =
xn tn−1 (1 − t)2n
n n 0
and so
∞ Z 1 "∞ #
X xn X
3n =
x(1 − t)2 xn−1 tn−1 (1 − t)2n−2 dt
n=0
n n 0 n=0
Z 1 2
x(1 − t)
= 2
dt.
0 1 − xt(1 − t)
Taking x = 12 , we get
∞ 1 1
(1 − t)2 1 − t)2
Z Z
X 1
= dt = − dt
n=1
2n n 3n
n 0 2 − t(1 − t)2 0 (t − 2)(t2 + 1)
and using the partial fraction expansion
∞ Z 1 Z 1
X 1 2(2t − 1) 1
3n = − 2 + 1)
dt + − dt
−
2 n n n 0 5(t 0 5(t 2)
n=1
Z1 n
1 t(1 − t)2
Hence, we have: =
3n dt.
2n (3n + 1) n
2
0
∞ Z1 Z1
X 1 2 2
3n
= dt = − dt
n
2 (3n + 1) n
2 − t(1 − t)2 (t − 2)(t2 + 1)
n=0 0 0
Z1 Z1 Z1 Z1
2 t+2 1 1 2t 4 1 2 1
= 2
− dt = 2
+ 2
− dt,
5 t +1 t−2 5 t +1 5 t +1 5 t−2
0 0 0 0
log(2) π 2 log(2) π 3 log(2)
= + + = + .
5 5 5 5 5
We took Sum 2 from n = 0. So subtract 1 for the sum from n = 1. Multi-
plying Sum 1 by 3 and adding that to Sum 2, we get:
∞
X 10n + 3 3π 3 log(2) 3 log(2) π π
=
3n − −1+ + = −1 + .
2n n (3n + 1) n
10 5 5 5 2
n=1
Gosper illustrates in [5] how the rate of convergence of infinite series can
be accelerated by a suitable splitting of each term into two parts and then
combining the second part of the n-th term with the first part of the n+1-th
term and leaving the first part of the first term. Repeated application of
this process yields a new series which approaches 0 and the series of the left
out first parts (‘orphans’) that converges faster than the original series. We
will now discuss two other series obtained by Gosper via transformation of
slow series.
1 1 3(2n + 1)
Series I. It is easy to see that + = . Fur-
3n + 1 3n + 2 (3n + 1)(3n + 2)
ther,
1 (3n + 1)(3n + 2)Γ(n + 1) Γ(2n + 2)
3n =
n
(2n + 1)Γ(3n + 3)
ON GOSPER’S ACCELERATED SERIES FOR π 21
or,
2n + 1 Γ(n + 1) Γ(2n + 2)
3n
= = B(n + 1, 2n + 2).
(3n + 1)(3n + 2) n
Γ(3n + 3)
Multiplying both sides by xn and using the integral for the beta function
as earlier, we have
Z 1
(2n + 1)xn
= xn tn (1 − t)2n+1 dt
(3n + 1)(3n + 2) 3n
n 0
1
and taking x = 2 and summing the series from 0 to infinity as earlier, we
get
∞ 1
2(1 − t)
Z
X 2n + 1
3n = 2 − t(1 − t)2
dt
n=0
(3n + 1)(3n + 2)2n n 0
1 Z 1
2(t − 3)
Z
2
= dt − 2
dt
0 5(t − 2) 0 2(1 + t)
3
= (π − 2 log(2))
10
and hence we deduce
∞
X 1 7π 12 log(2)
3n
= − . (4.1)
(3n + 2) 2n n
10 5
n=0
Combining this result with Sum 1, we obtain the series which occurs
in Gosper’s paper [5, p.32]:
∞
X 5n + 3 1 π
3n
= . (4.2)
(3n + 1)(3n + 2) n 2n 2
n=0
Brink calls it the Nilakantha transform of the Leibniz series [2, eq(3)].
We also get:
∞
X 5n + 4
3n
= 3 log(2). (4.3)
n=0
(3n + 1)(3n + 2) 2n n
Using value of the first sum obtained in the previous section we deduce
∞
X 1 2 log(2) π
3n
= − . (4.4)
(2n − 1) 2n n
5 30
n=1
22 AMRIK SINGH NIMBRAN
Combining this result and the earlier result gives a series for log(2)
∞
X 5n − 1
3n
= log(2). (4.5)
n=1
n(2n − 1) 2n n
Concluding remarks
References
[1] G. Almkvist, C. Krattenthaler and J. Petersson, Some new formulas for π, Experi-
mental Mathematics, 12.4(2003): 441–456.
[2] D. Brink, Nilakantha’s accelerated series for π. Acta Arith. 171.4(2015): 293–308.
[3] L. Euler, De summis serierum reciprocarum. Originally published in Comment. Acad.
Sci. Petropol. 7(1740): 123–134.
[4] L. Euler, Institutiones calculi differentialis cum eius vsu in analysi finitorum ac doc-
trina serierum. Academiae Imperialis Scientiarum Petropolitanae, 1755.
[5] R. W. Gosper, Acceleration of Series, M.I.T., 1974. Available online at
http://dspace.mit.edu/bitstream/handle/1721.1/6088/AIM-304.pdf
[6] E. T. Whittaker and G. N. Watson, A Course of Modern Analysis ed. Victor H. Moll.
Cambridge University Press, 5th ed., 2021.
ARITRAM DHAR
(Received : 15 - 12 - 2021 ; Revised : 09 - 09 - 2022)
1. Introduction
2. Main Formulas
which implies
p(n) − a(n) = p(n + 1) − p(n). (4.1)
Let us now define c(n) = p(n) − a(n) and d(n) = p(n + 1) − p(n). Thus,
from (4.1), it suffices to prove that c(n) = d(n) ∀ n ≥ 1.
We note that c(n) denotes the number of partitions of n where the
smallest part occurs exactly once. This follows straightforward from the
definition of a(n). We also note that d(n) denotes the number of partitions
of n + 1 which do not contain 1 as a part because every partition of n + 1
which contains 1 as a part can be obtained by adjoining 1 as a part to every
partition of n.
Let Cn be the set of all partitions of n where the smallest part occurs
exactly once and Dn be the set of all partitions of n + 1 not containing 1
as a part. So, #Cn = c(n) and #Dn = d(n). Thus, it is clear that we will
now produce a bijection between the sets Cn and Dn to obtain the desired
result.
Firstly, we consider a partition π ∈ Cn and consider two cases pertaining
to π: If 1 is a part of π, since it is the smallest part, it occurs exactly once.
Now, add 1 to the 1 already in π to get a new partition π 0 ∈ Dn whose
smallest part now is 2. Hence, π 0 does not contain 1 as a part. Now, if 1
is not a part of π, then the smallest part of π is greater than or equal to 2
and hence it does not contain 1 as a part. On adding 1 to the smallest part
of π, we get a new partition π 0 of n + 1 which does not contain 1 as a part.
Hence, π 0 ∈ Dn .
Now, we consider a partition π 0 ∈ Dn . Thus, π 0 does not contain 1 as
a part which implies that the smallest part of π 0 is greater than or equal
to 2. Again, we consider two cases concerning π 0 : If the smallest part of π 0
occurs exactly once, we subtract 1 from it to get a new partition π ∈ Cn and
we are done. On the other hand, if the smallest part of π 0 occurs at least
twice, subtract 1 from any one of the smallest parts to get a new partition
π ∈ Cn .
28 ARITRAM DHAR
6. Conclusion
∞
X
In the same spirit, we define Gm (q) := am (n)q n where am (n) denotes
n=1
the number of partitions of n where the smallest part occurs at least m
∞
X q mk
times. On the page of A117989, we see that Gm (q) = . It will
(q k )∞
k=1
be very interesting to see if there is a closed formula analogous to (2.1) for
am (n) ∀ m ≥ 3 and if there exists such a formula, then it would be nice to
provide a combinatorial proof of it.
Acknowledgement: The author would like to thank George E. Andrews
for suggesting him to prove the two formulas of Vladeta Jovovic which came
up during an ongoing project with him.
References
[1] G. E. Andrews, The Theory of Partitions, Cambridge Mathematical Library, Cam-
bridge University Press, 1998.
[2] G. E. Andrews, M. Beck, and N. Robbins, Partitions with fixed differences between
largest and smallest parts, Proc. Amer. Math. Soc., 143(10): 4283-4289 (2015).
[3] The On-Line Encyclopedia of Integer Sequences, https://oeis.org/A117989.
Aritram Dhar
Department of Mathematics
University of Florida,
Gainesville, FL 32611.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January-June (2024), 30–41
1. Introduction
where log += max {logx, 0} for all x ≥ 0. Here m(r, f ) is the average
of the positive logarithm of |f (z)| on the circle |z| = r.
1
Let a be a complex number. Obviously, f (z)−a is meromorphic in the
disk |z| ≤ R. Similar to the above definitions, R. Nevanlinna defined the
following functions:
1
Proximity function of f (z)−a :
Z 2π
1 1 1
m r, = m(r, f = a) = m(r, a) = log+ dθ,
f −a 2π 0 |f (reiθ ) − a|
1
which is the average of the positive logarithm of |f (z)| on the circle |z| = r.
1 1
r n(t, f −a ) − n(0, f −a )
Z
1
N r, = N (r, f = a) = dt
f −a 0 t
1
+ n 0, log r,
f −a
1
where n(t, f −a ) denotes the number of zeros of f (z) − a in the disc |z| ≤ t
1
counting multiplicities and n(0, f −a ) the multiplicity of zeros of f (z) − a at
the origin.
32 RENUKADEVI S. DYAVANAL AND DEEPA N. ANGADI
1
The characteristic function of f (z)−a :
1 1 1
T r, = m r, + N r, .
f −a f −a f −a
log T (r, f )
ρ(f ) = limr→∞ ,
log r
log T (r, f )
µ(f ) = limr→∞ .
log r
The exponent of convergence of zeros λ(f ) of f (z) is defined by
log N (r, f1 )
λ(f ) = lim .
r→∞ log r
Nevanlinna established the following two fundamental theorems.
1
T r, = T (r, f ) + O(1).
f −a
1
This means that, for any complex number a, the difference of T r, f −a
and T (r, f ) is a bounded quantity.
The Second fundamental theorem of Nevanlinna for q(≥ 3) values:
Suppose that f (z) is a meromorphic function in the complex plane and
a1 , a2 , · · · , aq are q(≥ 3) distinct values in C. Then
q
X 1
(q − 2)T (r, f ) < N r, + S(r, f ).
f − aj
j=1
Then
3
X 1
T (r, f ) < N r, + S(r, f ).
f − aj (z)
j=1
Assume that g is another function. We say that f and g share the set S
CM, provided that Ef (S) = Eg (S).
4c f = f (z + c) − f (z),
4nc f = 4n−1
c (4c f (z)), n ∈ N, n ≥ 2.
L(z, f ) = a0 f (z) + a1 f (z + t1 ) + · · · + ak f (z + tk ),
34 RENUKADEVI S. DYAVANAL AND DEEPA N. ANGADI
where ti ’s are finite complex numbers and the coefficients ai ’s are small
functions of f (z).
In 2009, Liu [16] proved the following result:
Theorem 1.1. Let a be a non-zero complex number and f be a transcen-
dental entire function with finite order. If f and 4c f share {a, −a} CM,
then 4c f (z) = f (z) for all z ∈ C.
In 2012, Li [15] proved the following theorem:
Theorem 1.2. Suppose that a, b are two distinct entire functions, and f (z)
is a non-constant entire function with ρ(f ) 6= 1 and λ(f ) < ρ(f ) < ∞ such
that ρ(a) < ρ(f ) and ρ(b) < ρ(f ). If f (z) and 4c f (z) share {a, b} CM,
then f (z) = 4c f (z) for all z ∈ C.
In 2019, Jianming Qi, Yanfeng Wang, and Yongyi Gu [14] removed the
condition ρ(f ) 6= 1 in the Theorem and proved the following result:
Theorem 1.3. Suppose that a, b are two distinct entire functions, and f (z)
is a non-constant entire function of finite order with λ(f ) < ρ(f ) such that
ρ(a) < ρ(f ) and ρ(b) < ρ(f ). If f (z) and 4c f (z) share {a, b} CM, then
f (z) = Aeµz , where A, µ are two non-zero constants satisfying eµc = 2.
Furthermore, f = 4c f
In this paper, we extend the above Theorem 1.3 for L(z, f ), a linear
difference polynomial of f (z).
The following is the main result of this paper.
Theorem 1.4. If f (z) and L(z, f )(6≡ 0) share {c, d} CM, where c and d
are two distinct entire functions, and f (z) is a non-constant entire function
of finite order with λ(f ) < ρ(f ) such that ρ(c) < ρ(f ) and ρ(d) < ρ(f ),
then f (z) = KeCz , where K is a non-zero constant and a0 + a1 eCt1 + · · · +
ak eCtk = 1. Furthermore, f (z) = L(z, f ).
Lemma 2.2. ([18] Theorem 1.51) Suppose that f1 (z), f2 (z) · · · fn (z)(n ≥ 2)
are meromorphic functions, and g1 (z) · · · gn (z) are entire functions satisfy-
ing the following conditions:
Xn
1) fj (z)egj (z) = 0
j=1
2)gj (z) − gk (z) are not constants for 1 ≤ j < k ≤ n
3)For 1 ≤ j ≤ n, 1 ≤ h < k ≤ n, T (r, fj ) = o(T (r, egh −gk )(r −→ ∞, r 6∈ E).
Then fj (z) = 0(j = 1, 2, · · · , n).
Lemma 2.4. ([18] Theorem 1.44) Let h(z) be a non-constant entire func-
tion, and f (z) = eh(z) . Let ρ and µ be the order and the lower order of
f (z), respectively. Then we have
(i) If h(z) is a polynomial of degree p, then ρ = µ = p.
(ii) If h(z) is a transcidental entire function, then ρ = µ = ∞.
Lemma 2.5. ([18] Theorem 1.18) Let f (z) and g(z) be two non-constant
meromorphic functions in the complex plane with, ρ(f ) as the order of f (z)
and µ(g) as the lower order of g(z). If ρ(f ) < µ(g), then
T (r, f ) = o(T (r, g)), (r → ∞).
Lemma 2.6. ([18] Theorem 1.14) Suppose f (z) and g(z) are two non-
constant meromorphic functions in the complex plane with, ρ(f ) and ρ(g)
as their orders, respectively. Then ρ(f ·g) ≤ max {ρ(f ), ρ(g)} and ρ(f +g) ≤
max {ρ(f ), ρ(g)}.
Hence
a0 h(z)+a1 h(z+t1 )ep(z+t1 )−p(z) +· · ·+ak h(z+tk )ep(z+tk )−p(z) = h(z). (3.7)
That is,
That is, L(z, f ) = f (z) and also equation (3.7) can be written as
This gives
h(z + t1 ) Ct1 h(z + tk ) Ctk
a1 e + · · · + ak e = (1 − a0 ). (3.10)
h(z) h(z)
Using ρ(h) < ρ(f (z)) = ρ(ep(z) ) = 1 and by Lemma 2.3, we obtain
h(z + t1 ) h(z + tk )
→ 1, · · · , → 1 and using this, (3.10) leads to
h(z) h(z)
a0 + a1 eCt1 + · · · + ak eCtk = 1.
c2 = d2 . (3.14)
40 RENUKADEVI S. DYAVANAL AND DEEPA N. ANGADI
Note that c 6≡ d. Thus, c = −d. Again, by (3.13), one has w1 = −h, which
is written as
(a0 + 1)h(z) + a1 h(z + t1 )ep(z+t1 )−p(z) , · · · , ak h(z + tk )ep(z+tk )−p(z) ) ≡ 0
By Lemma 2.2, if p(z + t1 ) − p(z), p(z + t2 ) − p(z), · · · , p(z + tk ) − p(z) are
not constants, then h(z) ≡ 0, a contradiction.
So, at least one of p(z + t1 ) − p(z) , p(z + t2 ) − p(z), · · · , p(z + tk ) − p(z)
is constant. Continuing as in Case 1, we get the conclusion of the Theorem
1.4.
References
[1] Bergweiler W., Langley J. K., Zeros of differences of meromorphic functions, Math.
Proc. Camb. Philos. Soc 142(2007),133–147.
[2] Chiang Y. M., Feng S. J., On the Nevanlinna characteristic of f (z +η) and difference
equations in the complex plane, Ramanujan J 16(2008), 105–129.
[3] Dyavanal R. S., Applications of difference analogue of Cartan’s second main theorem
for holomorphic curves, The J Anal 28(2020), 615-622.
[4] Dyavanal R. S., Desai R. V., Uniqueness of difference polynomials of entire functions,
Appl. J. Math 8(2014), 3419-3424.
[5] Dyavanal R. S., Mathai M. M., Uniqueness of Difference-differential Polynomials
of Meromprphic Functions Ukrainian Mathematical Journal (UKR MATH J+) 71,
December, (2019). DOI 10.1007/s11253-019-01695-8
[6] Dyavanal R. S., Mathai M. M., Value distribution of general diffential-difference
polynomials of meromorphic functions, J Anal 27(2019), 931-942.
[7] Dyavanal R. S., Mathai M. M., Uniqueness of Relaxed Weakly Weighted Sharing of
Differential –Difference Polynomials of Entire Functions The Mathematics Student
92(2023), 205-220.
[8] Dyavanal R. S., Hattikal A. M., Uniqueness of difference-differential polynomials of
entire functions sharing one value, Tamkang J. Math 47(2016), 193-206.
[9] Dyavanal R. S., Mathai M. M., Hattikal A. M., Unicity Theorems of Linear Dif-
ference Polynomial of Entire and Meromorphic Functions, Indian Journal of Math-
ematics 61(2019), 141-152.
UNIQUENESS OF AN ENTIRE FUNCTION AND ITS LINEAR DIFFERENCE POLYNOMIAL 41
...
[10] Dyavanal R. S., Mathai M. M., Hattikal A. M., Unique range set of a meromor-
phic function and it’s linear difference polynomial, Journal of the Indian Math. Soc
89(2022), 44-57.
[11] Hayman W. K., Meromorphic Functions, Clarendon, Oxford, 1964.
[12] Halburd R. G., Korhonen R. J., Nevanlinna theory for the difference operators, Ann.
Acad. Sci. Fenn., Math 31(2)
[13] Halburd R. G., Korhonen R. J., Difference analogue of the lemma on the loga-
rithmic derivative with applications to difference equations, J. Math. Anal. Appl
314(2)(2006), 477–487.
[14] Jianming, Q., Yanfeng, W., Yongyi, G., A note on entire functions sharing a finite
set with their difference operators, Adv. Differ. Equ (2019), 1-7, Article ID 114.
[15] Li, X. M., Entire functions sharing a finite set with their difference operators, Com-
put. Methods Funct. Theory 12(2012),307–328.
[16] Liu, K., Meromorphic functions sharing a set with applications to difference equa-
tions, J. Math. Anal. Appl 359(2009),384–393.
[17] Yi, H. X., A question of Gross and the uniqueness of entire function, Nagoya Math.
J 138 (1995), 169–177.
[18] Yang C. C., Y, H. X, Uniqueness Theory of Meromorphic Functions, Science Press,
Beijing, 2003.
Renukadevi S. Dyavanal
Department of Mathematics
Karnatak University,
Dharwad - 580003, India.
E-mail: [email protected] ; [email protected] ;
Deepa N. Angadi
Department of Mathematics
Karnatak University,
Dharwad - 580003, India.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January-June (2024), 42–53
1. Introduction
Theorem 1.4. [3] Let f amd g be two non-constant entire functions, and
let n ≥ 11 be a positive integer. If f n (f − 1)f 0 and g n (g − 1)g 0 share the
value 1 CM, then f = g.
In 2004, Lin and Yi extended the above result in the fixed point view,
and they proving the following.
In 2010, Qi, Yang and Liu [15] proved the following uniqueness theorem
regarding shift operator, which is a difference counterpart of Theorem 1.3.
(4) When P (z) ≡ c0 , then f ≡ tg for some constant t such that tn+1 =
1.
2. Necessary Lemmas
Lemma 2.1. [2] Let f be a meromorphic function of finite order σ, and let
c ∈ C \ {0} be fixed. Then for each > 0, we have
f (z + c) f (z)
m r, + m r, = O(rσ−1+ ) = S(r, f ).
f (z) f (z + c)
The following lemma has a few modifications to the original version [2,
Corollary 2.5]
46 MANJUNATH B. E., HARINA P. WAGHAMORE
Proof. Let Ψ = F n P (f )∆c f , now from Lemma 2.3, and [13], we get
1 1
T (r, ψ) ≤ N r, + N (r, ψ) + N r, + ( + o(1)) ,
ψ ψ − a(z)
1 1 1
≤ 3N r, + N r, + N r, + ( + o(1)) ,
f P (f ) ψ − a(z)
∗ 1
≤ (3 + m )T (r, f ) + N r, + ( + o(1)) ,
ψ − a(z)
from Lemma 2.4 and 2.5,
∗ ∗ 1
(n + m + 1) T (r, f ) ≤ (3 + m )T (r, f ) + N r, .
ψ − a(z)
Take < 1. Since n > 2 from above, one can easily say that ψ − a(z) has
infinitely many zero’s.
Now from the assumption that f and g are two nonconstant entire functions,
we deduce by 2.3 that f n P (f ) 6= 0 and g n P (g) 6= 0. By Picard’s theorem,
we claim that P (z) = a1 z i 6≡ 0 for i ∈ {0, 1, 2, · · · , m}, otherwise the
Picard’s exception values are atleast three which is contradiction. Then 2.3
reduces to
(a2i f n+i ∆c f )(g n+i ∆c g) ≡ b2 . (2.4)
Hence by Lemma 2.7, we obtain that
f = eα , g = eβ (2.5)
a2i e(α+β)(n+i) eα(z+c) − eα(z) eβ(z+c) − eβ(z) = b2 ,
eα(z+c)−α(z) − 1 eβ(z+c)−β(z) − 1 = d2 e(α(z)+β(z))(n+i+1) (2.6)
we conclude that from 2.6 that eα(z+c)−α(z) − 1 has no zero’s.
Let ψ = eα(z+c)−α(z) , then ψ 6= 0, 1, ∞ for any z ∈ C. By picard theorem,
ψ is constant, so deg(α(z)) = 1. Similarly we can prove that deg(β) = 1.
Assume now that f (z) = c1 ed1 (z) , g(z) = c2 ed2 (z) where d1 , d2 , c1 , c2 are
non-zero constants.
DIFFERENCE POLYNOMIALS OF ENTIRE FUNCTIONS... 49
From 2.3, we get d1 = −d2 and a2i (c1 c2 )(n+1+i) ed1 c + e−d1 c − 2 = −b2 .
(4) When P (z) ≡ c0 , then f ≡ tg for some constant t such that tn+1 =
1.
Proof. Suppose
f n P (f )∆c f ≡ g n P (g)∆c g. (2.7)
Since g is transcendental entire function, hence g(z), g(z+c) 6= 0 we consider
following cases,
Case 1. P (z) = c0 ,
let h = fg , if h is a constant by putting f = hg in 2.7, we get
am g m h(n+m+1) − 1 +am−1 g m−1 h(n+m) − 1 +· · ·+a0 h(n+1) − 1 ≡ 0,
f n c0 ∆c f = g n c0 ∆c g,
∆c g f
hn+1 = . . (2.12)
g ∆c f
Therefore from Lemma 2.3 and 2.4,
∆c g f
(n + 1)T (r, h) = T r, + T r, ,
g ∆c f
≤ 2 [T (r, f ) + T (r, g)] + S(r, f ) + S(r, g),
(n + 1) (T (r, f ) + T (r, g)) ≤ 2 [T (r, f ) + T (r, g)] + S(r, f ) + S(r, g).
Contradicts with n ≥ 2. Hence h must be constant, which implies that
hn+1 = 1, thus f ≡ tg and tn+1 = 1. Which completes the proof.
3. Proof of Theorem
f n P (f )∆
cf
n
Proof. Let F = p(z) and G = g Pp(z)
(g)∆c g
Then F, G share (1, 2) except
the zero’s of p(z). Now applying Lemma 2.8, we see that one of the following
three cases holds
Case 1. Suppose
1 1
T (r, F ) ≤ N2 r, + N2 r, + S(r, F ) + S(r, G),
F G
1 1 1
≤ 2 N r, + N r, + N r,
f g P (f )
1 1 1
+ N r, + N r, + N r,
∆c f P (g) ∆c g
+ S(r, f ) + S(r, g),
52 MANJUNATH B. E., HARINA P. WAGHAMORE
Similarly, we have
References
[1] W. Bergweiler and A. Eremenko, On the singularities of the inverse to a meromorphic
function of finite order, Rev. Mat. Iberoamericana 11 (1995), no. 2, 355–373.
[2] Y.-M. Chiang and S.-J. Feng, On the Nevanlinna characteristic of f (z + η) and
difference equations in the complex plane, Ramanujan J. 16 (2008), no. 1, 105–129.
[3] M.-L. Fang and W. Hong, A unicity theorem for entire functions concerning differ-
ential polynomials, Indian J. Pure Appl. Math. 32 (2001), no. 9, 1343–1348.
[4] W. K. Hayman, Picard values of meromorphic functions and their derivatives, Ann.
of Math. (2) 70 (1959), 9–42.
[5] J. Heittokangas et al., Value sharing results for shifts of meromorphic functions, and
sufficient conditions for periodicity, J. Math. Anal. Appl. 355 (2009), no. 1, 352–363.
[6] I. Lahiri, Weighted value sharing and uniqueness of meromorphic functions, Complex
Variables Theory Appl. 46 (2001), no. 3, 241–253.
DIFFERENCE POLYNOMIALS OF ENTIRE FUNCTIONS... 53
[7] I. Lahiri, Weighted sharing and uniqueness of meromorphic functions, Nagoya Math.
J. 161 (2001), 193–206.
[8] I. Laine, Nevanlinna theory and complex differential equations, De Gruyter Studies
in Mathematics, 15, Walter de Gruyter & Co., Berlin, 1993.
[9] I. Laine and C.-C. Yang, Value distribution of difference polynomials, Proc. Japan
Acad. Ser. A Math. Sci. 83 (2007), no. 8, 148–151.
[10] W. Lin and H. Yi, Uniqueness theorems for meromorphic functions concerning fixed-
points, Complex Var. Theory Appl. 49 (2004), no. 11, 793–806.
[11] K. Liu and L.-Z. Yang, Value distribution of the difference operator, Arch. Math.
(Basel) 92 (2009), no. 3, 270–278.
[12] E. Mues, Über ein Problem von Hayman, Math. Z. 164 (1979), no. 3, 239–259.
[13] K. Yamanoi, The second main theorem for small functions and related problems,
Acta Math. 192 (2004), no. 2, 225–294.
[14] C.-C. Yang and X. Hua, Uniqueness and value-sharing of meromorphic functions,
Ann. Acad. Sci. Fenn. Math. 22 (1997), no. 2, 395–406.
[15] X.-G. Qi, L.-Z. Yang and K. Liu, Uniqueness and periodicity of meromorphic func-
tions concerning the difference operator, Comput. Math. Appl. 60 (2010), no. 6,
1739–1746.
[16] C.-C. Yang and H.-X. Yi, Uniqueness theory of meromorphic functions, Mathematics
and its Applications, 557, Kluwer Academic Publishers Group, Dordrecht, 2003.
[17] J. Zhang, Value distribution and shared sets of differences of meromorphic functions,
J. Math. Anal. Appl. 367 (2010), no. 2, 401–408.
Manjunath B.E.
Department of Mathematics
Bangalore University
Jnanabharathi Campus
Bangalore 560056, INDIA.
E-mail: [email protected]
Harina P. Waghamore
Department of Mathematics
Bangalore University
Jnanabharathi Campus
Bangalore 560056, INDIA.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2 , January-June (2024), 54–66
1. Introduction
different type conditions by many researchers [8, 9, 13, 16]. The analytic
solution of RKHSM is represented in the form of series. The RKHSM is
easily implemented, grid free and without time discretization. Also, we can
evaluate the solution for finite number of points and use it often.
The paper is laid out as follows. In the next section, we show how we use
MOL to solve the sine Gordon equation. The results of numerical exper-
iments are presented in Section 3. Final Section is dedicated to a brief
conclusion. Finally the references are listed at the end.
2. Method of Lines
In this section, we derive MOL to solve the sine Gordon equation using
RKHSM. To do this, we divide the section into two subsections. In the first
subsection, we discretize the spatial derivatives to obtain a system of ODEs
in the time variable. In the second subsection, we explain RKHSM to solve
the system of ODEs.
In the next section, we will discuss the RKHSM to solve the first-order
nonlinear system of ODEs with homogeneous initial conditions.
Now, we introduce the reproducing kernel Hilbert spaces W22 [0, T ] and
W21 [0, T ] with corresponding reproducing kernel functions R(t, s) and G(t, s),
respectively, to generate the algorithm of the RKHSM.
Definition 2.2. [20] The inner product space W22 [0, T ] is defined as W22 [0, T ] =
{w : w, w0 are absolutely continuous real valued functions on [0, T ], w00 ∈
L2 [0, T ], and w(0) = 0} with the inner product and the norm of W22 [0, T ]
are defined, respectively, by
Z T 2
dw(0) dy(0) d w(t) d2 y(t)
hw, yiW22 = w(0)y(0) + + dt,
dt dt 0 dt2 dt2
q
kwkW22 = hw, wiW22 .
Theorem 2.3. [20] The Hilbert space W22 [0, T ] is a reproducing kernel
Hilbert space and its reproducing kernel function R(·, ·) can be written as
s (6t + 3ts − s2 ), s ≤ t,
R(t, s) = 6
t (6s + 3ts − t2 ), s > t.
6
NEW METHOD OF LINES SOLUTION FOR THE NONLINEAR SINE GORDON. . . 59
Definition 2.4. [17] The inner product space W21 [0, T ] is defined as W21 [0, T ] =
{w : w is absolutely continuous real valued function on [0, T ], w0 ∈ L2 [0, T ]}
with the inner product and the norm of W21 [0, T ] are defined, respectively,
by
Z T
dw(t) dy(t)
hw, yiW21 = w(0)y(0) + dt,
0 dt dt
q
kwkW21 = hw, wiW21 .
Theorem 2.5. [17] The Hilbert space W21 [0, T ] is a reproducing kernel
Hilbert space and its reproducing kernel function G(·, ·) can be written as
1 + s, s ≤ t,
G(t, s) =
1 + t, s > t.
as L : W22 [0, T ] → W21 [0, T ], such that equations (2.4) and (2.5) become
Lwi (t) = fi (t, w1 (t), w2 (t), . . . , w2m−2 (t)), 0 < t < T , subject to the initial
conditions, wi (0) = 0, i = 1, 2, . . . , 2m − 2, where wi (·) ∈ W22 [0, T ] and
fi (·, w1 (·), w2 (·), . . . , w2m−2 (·)) ∈ W21 [0, T ].
Theorem 2.6. The operator L : W22 [0, T ] → W21 [0, T ] is bounded and lin-
ear.
Since,
ψj (·) = L∗ G(·, tj )
= hL∗ G(·, tj ), R(t, s)iW22
= hG(·, tj ), Ls R(·, s)iW21
= hLs R(·, s), G(·, tj )iW21
60 GAUTAM PATEL AND KAUSHAL PATEL
= Ls R(·, s)|s=tj , j = 1, 2, . . . .
Theorem 2.8. If {tj }∞ j=1 is dense on [0, T ], then the analytic solution of
(2.4) and (2.5) represented by
j
∞ X
X
wi (·) = βjk fi (·, w1 (·), w2 (·), . . . , w2m−2 (·))Ψj (·), i = 1, 2, . . . , 2m − 2.
j=1 k=1
(2.8)
Proof. Let wi (·), i = 1, 2, . . . , 2m − 2 be the solution of (2.4) and (2.5) in
W22 [0, T ]. Therefore, ∞
P
j=1 hwi (·), Ψj (·)iW22 Ψj (·), i = 1, 2, . . . , 2m−2 are the
expansion of about orthonormal system Ψj (·) and convergent in the sense
of k.kW22 . On the other hand, using (2.7) yields that
∞
X
wi (·) = hwi (·), Ψj (·)iW22 Ψj (·)
j=1
∞
X j
X
= hwi (·), βjk ψk (·)iW22 Ψj (·)
j=1 k=1
j
∞ X
X
= βjk hwi (·), ψk (·)iW22 Ψj (·)
j=1 k=1
j
∞ X
X
= βjk hwi (·), L∗ G(·, tk )iW22 Ψj (·)
j=1 k=1
NEW METHOD OF LINES SOLUTION FOR THE NONLINEAR SINE GORDON. . . 61
j
∞ X
X
= βjk hLwi (·), G(·, tk )iW21 Ψj (·)
j=1 k=1
j
∞ X
X
= βjk hfi (·, w1 (·), w2 (·), . . . , w2m−2 (·)), G(·, tk )iW21 Ψj (·)
j=1 k=1
j
∞ X
X
= βjk fi (tk , w1 (tk ), w2 (tk ), . . . , w2m−2 (tk ))Ψj (%),
j=1 k=1
i = 1, 2, . . . , 2m − 2.
Here, equation (2.8) is the analytic solution of (2.4) and (2.5). Now,
for the solution, we can define initial conditions as wi,0 (t1 ) = wi (t1 ) and
set n terms approximations to wi (t), i = 1, 2, . . . , 2m − 2 as wi,n (t) =
Pn {i} {i}
j=1 Aj Ψj (t), i = 1, 2, . . . , 2m−2, where the coefficients Aj of Ψj (t) are
{i} P j
given as Aj = k=1 βjk fi (tk , w1,k−1 (tk ), w2,k−1 (tk ), . . . , w2m−2,k−1 (tk )),
i = 1, 2, . . . , 2m − 2.
3. Numerical Experiments
Example 3.1. To test the MOL in the domain [−1, 1], we consider the
initial conditions Θ0 (x) = 0, Θ1 (x) = 4 sech(x) and boundary conditions
Φ1 (t) = 4 arctan(t sech(−1)), Φ2 (t) = 4 arctan(t sech(1)). The analytic so-
lution [19] is given as u(x, t) = 4 arctan(t sech(x)).
0.50 4.8636 × 10−7 6.8728 × 10−7 4.19 × 10−5 4.11 × 10−5 1.30 × 10−4 2.01 × 10−5
0.75 7.0941 × 10−7 7.7246 × 10−7 7.78 × 10−5 1.02 × 10−4 2.35 × 10−4 3.63 × 10−5
1.00 6.7936 × 10−7 6.7041 × 10−7 1.30 × 10−4 1.64 × 10−4 3.27 × 10−4 5.07 × 10−5
Example 3.1. Also, a comparison of some past works is given in the table,
which gives that the proposed method is accurate. The analytic solution,
the MOL solution and the absolute errors of Example 3.1 with h = 0.04 are
displayed in Figure 1.
0.50 1.4646 × 10−7 1.5131 × 10−7 9.00 × 10−5 7.55 × 10−5 4.31 × 10−5 8.42 × 10−6
0.75 2.2560 × 10−7 2.4219 × 10−7 1.60 × 10−4 1.43 × 10−4 8.25 × 10−5 1.65 × 10−5
1.00 2.7964 × 10−7 3.0977 × 10−7 2.27 × 10−4 2.10 × 10−4 1.27 × 10−4 2.51 × 10−5
4. Conclusion
References
[1] Ablowitz, M. J., Kaup, D. J., Newell, A. C. and Segur, H., Method for solving the
sine-Gordon equation, Physical Review Letters 30(25) (1973), 1262.
[2] Aronszajn, N., Theory of reproducing kernels, Transactions of the American math-
ematical society 68(3) (1950), 337–404.
[3] Barone, A., Esposito, F., Magee, C. J. and Scott, A. C., Theory and applications of
the sine-Gordon equation, La Rivista del Nuovo Cimento (1971-1977) 1(2) (1971),
227–267.
[4] Ben-Yu, G., Pascual, P. J., Rodriguez, M. J. and Vázquez, L., Numerical solution
of the sine-Gordon equation, Applied Mathematics and Computation 18(1) (1986),
1–14.
[5] Bergman, S., The approximation of functions satisfying a linear partial differential
equation, Duke Mathematical Journal 6(3) (1940), 537–561.
[6] Bour, E., Théorie de la déformation des surfaces, Journal de l’École Impériale Poly-
technique 19 (1861), 1–48.
[7] Bratsos, A. G., A fourth order numerical scheme for the one-dimensional sine-Gordon
equation, International Journal of Computer Mathematics 85(7) (2007), 1083–1095.
[8] Cui, M. and Deng, Z., On the best operator of interpolation, Math. Numer. Sin 8
(1986), 209–216.
[9] Cui, M. and Geng, F., Solving singular two-point boundary value problem in repro-
ducing kernel space, Journal of Computational and Applied Mathematics 205(1)
(2007), 6–15.
[10] Cui, M. and Lin, Y., Nonlinear numerical analysis in reproducing kernel space, Nova
Science Pub, 2009.
NEW METHOD OF LINES SOLUTION FOR THE NONLINEAR SINE GORDON. . . 65
[11] Dehghan, M. and Shokri, A., A numerical method for one-dimensional nonlinear
sine-Gordon equation using collocation and radial basis functions, Numerical Meth-
ods for Partial Differential Equations: An International Journal 24(2) (2008), 687–
698.
[12] Frenkel, J. and Kontorova, T., On the theory of plastic deformation and twinning,
Izv. Akad. Nauk, Ser. Fiz. 1 (1939), 137–149.
[13] Geng, F. and Cui, M., A reproducing kernel method for solving nonlocal fractional
boundary value problems, Applied Mathematics Letters 25(5) (2012), 818–823.
[14] Hamdi, S., Schiesser, W. E. and Griffiths, G. W., Method of lines, Scholarpedia 2(7)
(2007), 2859.
[15] Koto, T., Method of lines approximations of delay differential equations, Computers
& Mathematics with Applications 48(1-2) (2004), 45–59.
[16] Li, X. and Wu, B., New algorithm for nonclassical parabolic problems based on the
reproducing kernel method, Mathematical Sciences 7(1) (2003), 1–5.
[17] Lin, Y., Cui, M. and Yang, L., Representation of the exact solution for a kind of
nonlinear partial differential equation, Applied Mathematics Letters 19(8) (2006),
808–813.
[18] Mercer, J., Functions of positive and negative type and their connection with the
theory of integral equations, Philosophical Transsaction of the Royal Society of Lon-
don Ser 209 (1909), 415–446.
[19] Mittal, R. C. and Bhatia, R., Numerical solution of nonlinear sine-Gordon equa-
tion by modified cubic B-spline collocation method, International Journal of Partial
Differential Equations 2014 (2014).
[20] Mokhtari, R., Toutian, F. and Mohammadi, M., Reproducing kernel method for solv-
ing nonlinear differential-difference equations, Abstract and Applied Analysis 2012
(2012).
[21] Patel, G. and Patel, K., The method of lines for solution of one dimensional heat
equation, Proceeding of the International Conference on Emerging Trends in Scien-
tific Research, 1 (2015), 200-208.
[22] Patel, G. and Patel, K., The method of lines for solution of the one dimensional
second order wave equation, Mathematical Sciences International Research Journal,
4(2) (2015), 98-104.
[23] Patel, G. and Patel, K., The method of lines for solution of the two dimensional
elliptic equation, Annals of Faculty Engineeering Hunedoara International Journal
of Enginnering, XIV(1) (2016), 225–230.
[24] Patel, G. and Patel, K., Reproducing kernel for Robin boundary conditions, The
Mathematics Student 90(3–4) (2021), 143–158.
[25] Perring, J. K. and Skyrme, T., A model unified field equation, Selected Papers, With
Commentary, Of Tony Hilton Royle Skyrme (1994), 216–221.
[26] Saucez, P. and Schiesser, W., Adaptive method of lines, CRC Press, 2001.
[27] Uddin, M., Haq, S. and Qasim, G., A meshfree approach for the numerical solu-
tion of nonlinear sine-Gordon equation, International Mathematical Forum 7(21-
24) (2012), 1179–1186.
66 GAUTAM PATEL AND KAUSHAL PATEL
[28] Zaremba, S., Sur Le Calcul Numeric Des Fonctions Demandees Dans le Problem de
Dirichlet et le Probleme hydrodynamique, Bulletin International de L’Academie des
Sciences de Cracovie (1908), 125–195.
Gautam Patel
Department of Mathematics
Veer Narmad South Gujarat University,
Surat, Gujarat, India.
E-mail: [email protected]
Kaushal Patel
Department of Mathematics
Veer Narmad South Gujarat University,
Surat, Gujarat, India.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93 , Nos. 1-2, January-June (2024), 67–70
1. Introduction
2. Main Results
Proof. If any two nonempty open subsets share a periodic orbit, then every
open set contains a periodic point and therefore periodic points are dense in
X. To prove the topological transitivity, let U and V be any two nonempty
open subsets of X. By assumption, U and V share a periodic orbit. That
is, there exists x ∈ X such that the orbit Gx = {gx : g ∈ G} intersects
A CHARACTERIZATION OF CHAOTIC GROUP ACTIONS 69
References
[1] Cairns, G., Davis, G., Kolganova, A. and Perversi, P., Chaotic group actions,
L’Enseign. Math., 41(1995)123–133.
[2] Devaney, R., An introduction to chaotic dynamical systems, Addison-Wesley, Cali-
fornia, 1989.
[3] Touhey, P., Yet another definition of chaos, American Mathematical Monthly,
104(1997)411–414.
Padmapriya v P
Research Scholar
Department of Mathematics
Central University of Kerala,
E-mail: [email protected]
Ali Akbar K
Associate Professor
Department of Mathematics
Central University of Kerala.
E-mail: [email protected], [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93 (1-2), January-June (2024), 71–75
π2
A PROOF OF ζ(2) = 6
RELATED TO FRACTIONAL
CALCULUS
JOHN M. CAMPBELL
(Received : 24 - 10 - 2022 ; Revised : 23 - 01 - 2023)
1. Introduction
calculus may be thought of as being given by how one may generalize this
notion using non-integer values.
d
If we let D denote a linear, differential operator such as the operator dx
d n
or Dn
(defined on some suitable domain), then expressions such as dx
would typically refer to self-iterations of the form
| ◦ D {z
D ◦ · · · ◦ D} .
n
◦ · · · ◦ D}(xn ) = n!
|D ◦ D {z (1.2)
n
d
for D = dx and how it is typically generalized in the field of fractional
calculus.
To generalize (1.2) for non-integer values n, one is led toward the use
of the Γ-function (see Rainville [9, §8]) given by the Euler integral Γ(x) =
R ∞ x−1 −u
0 u e du. For example, for α > − 12 , we let the Caputo operators D1/2
and D−1/2 be such that
Γ(α + 1) α− 1
D1/2 xα = x 2
Γ α + 12
and
Γ(α + 1) α+ 1
D−1/2 xα = x 2 , (1.3)
Γ α + 32
following the references [1, 3] that are to be later involved in our work. In
view of (1.2), we are led to find that
D1/2 ◦ D1/2 xα = αxα−1
and similarly with respect to (1.3), and hence a standard way of generalizing
identities such as (1.2) using non-integer values n. The recent article [1]
concerning Caputo operators introduced an identity via such operators that
we briefly review below and that we are to prove in a self-contained way to
2
provide a new proof of 112 + 212 + · · · = π6 .
provided that both sides of this equality are well-defined, and where τ de-
notes the operator such that h(x) 7→ h(1 − x). We let f and g respectively
denote the analytic functions given by the power series expansions with
2 n 2n2 1 n 2n 2
summands given by an = α16
n and bn = 16 n ; we may then
apply SIBP, as in [1], to prove that
√
sin−1 ( x)
Z 1
Li2 (α) − Li2 (−α)
√ p dx = . (1.4)
0 1 − x α2 (x − 1) + 1 α
We are to prove this identity in a self-contained way, using “Feynman’s
2
favorite trick” [7], to prove that ζ(2) = π6 , writing ζ(x) = 11x + 21x + · · · to
denote the Riemann zeta function.
π2
2. A new proof of ζ(2) = 6
Proof. To prove that (1.4) holds for |α| ≤ 1, we instead prove the equivalent
formulation
√
sin−1 ( x) α
Z 1
√ p dx = Li2 (α) − Li2 (−α). (2.1)
0 1 − x α2 (x − 1) + 1
By differentiating with respect to α on both sides of the purported iden-
tity in (2.1) (using the generalization of the Leibniz integral rule indicated
above), we can show that (2.1) is equivalent to
√
sin−1 ( x)
Z 1
log(α + 1) log(1 − α)
√ 3/2
dx = − . (2.2)
0 1 − x (1 + (x − 1)α2 ) α α
However, we may easily check that an antiderivative of the integrand of the
left-hand side of the above equality is
p √ √ √
2 log α α2 (x − 1) + 1 + α x 2 1 − x sin−1 ( x)
− p ,
α α2 (x − 1) + 1
π2
A PROOF OF ζ(2) = 6
75
so taking the required limits then gives us a proof of (2.1). From (2.1), we
R 1 sin−1 (√x)
obtain that 0 √1−x√x dx = Li2 (1) − Li2 (−1). We may easily check that
√ 2
an antiderivative for the integrand on the left-hand side is sin−1 ( x) , so
2
this gives us a proof that π4 = Li2 (1) − Li2 (−1). So, we have proved that
π2 P∞ 1 P∞ (−1)n
4 = n=1 n2 − n=1 n2 , and the use of series bisections easily gives us
2
that this is equivalent to ζ(2) = π6 .
Acknowledgement: The anonymous reviewer of this article offered many
suggestions that significantly improved this article.
References
[1] Campbell, J. M., Applications of Caputo operators in the evaluation of Clebsch–
Gordan-type multiple elliptic integrals. Integral Transforms Spec. Funct. (2022).
[2] Campbell, J. M., A Wilf-Zeilberger-based solution to the Basel problem with appli-
cations, Discrete Math. Lett., 10 (2022), 21-27.
[3] Campbell, J. M., Cantarini, M., D’Aurizio, J., Symbolic computations via Fourier-
Legendre expansions and fractional operators, Integral Transforms Spec. Funct., 33
(2022), 157-175.
[4] Carothers, N. L., Real analysis, Cambridge University Press, Cambridge, 2000.
[5] Maximon, L. C., The dilogarithm function for complex argument, Proc. R. Soc.
Lond. A, 459 (2003), 2807-2819.
[6] Murty, M. R., A simple proof that ζ(2) = π 2 /6, Math. Student, 88 (2019), 113-115.
[7] Nahin, P. J., Feynman’s favorite trick, Inside Interesting Integrals Undergraduate
Lecture Notes in Physics. Springer, Cham. (2020), 73-116.
[8] Petkovšek, M., Wilf, H. S., Zeilberger, D., A = B, A K Peters, Ltd., Wellesley, MA,
1996.
[9] Rainville, E. D., Special functions, The Macmillan Co., New York, 1960.
[10] Stewart, S. M., Some simple proofs of Lima’s two-term dilogarithm identity, Ir.
Math. Soc. Bull., 89 (2022), 43-49.
John M. Campbell
Department of Mathematics
Toronto Metropolitan University,
Toronto, Ontario, CANADA.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January-June (2024), 76–82
TEENA THOMAS
(Received : 18 - 01 - 2023 ; Revised : 27 - 05 - 2023)
1. Preliminaries
We now recall a few known facts and definitions needed to prove Theo-
rem 1.1. For a compact Hausdorff space X, we say a closed linear subspace
A of C(X) separates the points of X if for every two distinct points x, y ∈ X,
there exists f ∈ A such that f (x) 6= f (y).
The following result shows the interconnection between a subalgebra
and a sublattice of C(X).
Lemma 1.5 ([1, Lemma 4.49]). Let X be a compact Hausdorff space. Let
A be a closed linear sublattice of C(X) and f ∈ C(X). If for every x, y ∈ X
there exists gxy ∈ A such that gxy (x) = f (x) and gxy (y) = f (y), then f ∈ A.
2. Main Results
Proof of Theorem 1.1. We assume that X contains at least two points be-
cause if X is a singleton set, then C(X) is simply R and the only closed
linear sublattices or subalgebras are {0} and R. If A has the description as
in (1.1), then clearly A is a sublattice of C(X).
ON KAKUTANI’S CHARACTERIZATION 79
References
[1] Folland, G. B., Real analysis, Pure and Applied Mathematics (New York), Second
Edition, John Wiley & Sons, Inc., New York, pg. xvi+386, 1999.
[2] Kakutani, S., Concrete representation of abstract (M )-spaces (A characterization
of the space of continuous functions), Annals of Mathematics, No. (4), 42 (1941),
994–1024.
Teena Thomas
Department of Mathematics
Indian Institute of Technology Hyderabad
Sangareddy, Telangana, India – 502284.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January-June (2024), 83–100
1. Introduction
2. Preliminaries
In this section, we recall the necessary definitions and the results re-
quired for this article. Unless otherwise specified, we assume all the diffeo-
morphisms and the isotopies of a compact manifold are the identity near
the boundary. Let us begin with the definition of the mapping class group.
Definition 2.1. The mapping class group MCG(Σ, ∂Σ) of a compact ori-
ented surface Σ is a group of orientation preserving diffeomorphisms of Σ
upto isotopy. In case, the surface Σ is non-orientable, the mapping class
group is a group of diffeomorphisms of Σ up to isotopy.
Let us recall a few well-known facts about the generators of the mapping
class group of a compact surface which we require for this article. Licko-
rish [10], [12] showed that the mapping class group of a compact oriented
A NOTE ON FLEXIBLE IMMERSIONS 85
σi,j
σ1 σi σj σk
α1 α2 α3 αg
β1 β2 βg−1
γ1 γ2 γ3 γg
surface Σ is generated by the Dehn twists along the simple closed curves on
Σ and the mapping class group of a compact non-orientable surface N is
generated by the Dehn twists along the two-sided simple closed curves on
N and the y–homeomorphisms along embedded Y –spaces in N . A Dehn
twist along a two-sided simple closed curve c on a surface S, we mean a
diffeomorphism dc : S → S supported in a regular neighborhood of c in
S obtained by cutting S along c, twisting 2π to right or left and regluing.
Recall that a Y –space can be obtained from a Möbius band µ by removing
one disc D from the interior and attaching a Möbius band M along ∂D. A
y–homeomorphism of a Y –space is a homeomorphism y : Y → Y which is
obtained by sliding the Möbius band M on Y once along the core of the
Möbius band µ.
In fact, Lickorish showed that the mapping class group MCG(Σg,k )
of a compact oriented surface of genus g with k boundary components is
generated by the set of all the Dehn twists along the simple closed curves
αi ’s, βi ’s, γi ’s, σi ’s and σi,j ’s as shown in Figure 1. We call these curves
Lickorish generating curves.
Now, we describe a finite generating set for the mapping class group of
a compact non-orientable surface given by Omori and Kobayashi [11]. To
do this, we first describe a compact non-orientable surface Ng,k of genus g
with k–boundary components as follows. Consider the surface S obtained
by removing g + k disjoint open discs D1 , D2 , . . . , Dg+k from the 2–sphere.
Then, the non-orientable surface Ng,k is obtained from S by attaching g
Möbius bands µ1 , µ2 , . . . , µg along ∂D1 , ∂D2 , . . . ∂Dg , respectively as shown
in Figure 2. The cross marks in Figure 2 depicts the g Möbius bands
µ1 , µ2 , . . . , µg . Kobayashi and Omori [11] proved that the mapping class
86 ABHIJEET GHANWAT AND SUHAS PANDIT
β1 β2 βk
µ1 µ2 µ4 µ4 µg
α1 α2 α3 α4 αg−1
αij
ρij
i i+1 j i j
σij ′
σij
i j 1 i j
µ1 µ2
α1
1 2 3 4
Y -Space
Figure 2. Kobayashi and Omori generators for the map-
ping class group of a compact non-orientable surface with
boundary.
group MCG(Ng,k , ∂Ng,k ) is generated by the Dehn twists along the simple
′ , γ as shown in Figure 2 and the y–
closed curves αi , βi , αi,j , ρi,j , σi,j , σi,j
homeomorphism obtained by sliding the Möbius band along α1 once on
the Y –space as shown in Figure 2. We call these curves Kobayashi-Omori
generating curves.
A NOTE ON FLEXIBLE IMMERSIONS 87
3. Flexible Immersions in D4
S3 × {5}
D′ l′ × {4}
D l × {3}
S3 × [1, 5]
l1 ln l l′ S3 × {2}
f (β)
f (β)#CH
S3 × {1}
S3 × {5}
∆2 ∆g D′ l′ × {4}
∆1 D l × {3}
S3 × [1, 5]
b1 b2 lk l l′ S3 × {2}
bg l1
S3 × {1}
[ S × [0, 1]
MS,ϕ = MT (S, ϕ) ∂S × D2 , where MT (S, ϕ) =
(x, 1) ∼ (ϕ(x), 0)
Id
such that
(1) the map π ◦ F : MT (S, ϕ) → S 1 is given by (π ◦ F )(y, θ) = eiθ ,
(2) the map π ◦F : ∂S ×D2 \∂S ×{0} → S 1 is given by (π ◦F )(x, r, θ) =
θ, where x is a coordinate on ∂S and (r, θ) are the polar coordinates
on D2 .
A NOTE ON FLEXIBLE IMMERSIONS 93
In this case, we call the pair (S, ϕ) an abstract open book of M associated
to the open book of (B, π). Now, we state the notion of an open book
immersion.
Definition 4.2. Let M and N be closed manifolds with the open books
(B, π) and (B ′ , π ′ ). We say that an immersion f : M → N is an open book
immersion if
(1) the map f restricted to B is an embedding of B into B ′ ,
(2) the following diagram commutes:
f
M \B N \ B′
π π′
Id
S1 S1
Remark 4.3. Note that the condition 2 in the above definition implies for
each θ ∈ S 1 , f : π −1 (θ) → π ′ −1 (θ) is a proper immersion, i.e. f properly
immerses the page of the open book (B, π) into the page of the open book
(B ′ , π ′ ).
Recall that the n–sphere S n admits the trivial open book (B ′ , π ′ ) with
pages the n − 1 disc Dn−1 and the monodromy the identity map, where
B ′ = {(x1 , x2 , . . . , xn+1 ) ∈ S n | x1 = x2 = 0}
Theorem 4.4. Every open book of every closed 3–manifold open book im-
merses in the 5–sphere S 5 with the trivial open book.
Proof. Let M be a closed 3–manifold with an open book (B, π). Let (S, ϕ)
be an abstract open book of M associated to (B, π). Let F : MS,ϕ → M be
a diffeomorphism, where
[
MS,ϕ = MT (S, ϕ) ∂S × D2
Id
such that
(1) the map π ◦ F : MT (S, ϕ) → S 1 is given by (π ◦ F )(y, θ) = eiθ ,
94 ABHIJEET GHANWAT AND SUHAS PANDIT
∂H0 S3 × {5}
S3 × [1, 5]
l l′ S3 × {2}
S3 × {1}
References
[1] Alexander, J., A lemma on systems of knotted curves, Proc. Nat. Acad. Sci., 9
(1923), 93-95.
[2] Berstein, I. and Edmonds, A., On the construction of branched coverings of low-
dimensional manifolds, Trans. Amer. Math. Soc., 247 (1979), 87-124.
[3] Etnyre, J., Lectures on open book decompositions and contact structures, Lecture
notes for Clay Summer School at the Alfred Renyi Institute of Mathematics (Hun-
garian Academy of Sciences) Budapest, Hungary, (2004).
[4] Etnyre, J. and Lekili, Y., Embedding all contact 3-manifolds in a fixed contact
5-manifold. J. Lond. Math. Soc. (2), 99(1) (2019), 52–68.
[5] Ghanwat, A. and Pancholi, D., Embeddings of 4–manifolds in CP 3 .
arXiv.2002.11299 [math.GT] (2020).
[6] Ghanwat, A., Pandit, S. and Selvakumar, A., Open book embeddings of closed
non-orientable 3–manifolds. Rocky Mountain J. Math., 49 (2019), no. 4, 1143–1168.
[7] Ghanwat, A., Pandit, S. and Selvakumar, A., Open books for closed non-orientable
3-manifolds, Glasg. Math. J., 62 (2020), 584–599.
[8] Hirose, S. and Yasuhara, A., Surfaces in 4-manifolds and their mapping class groups,
Topology, 47 (1) (2008), 41–50.
[9] Kronheimer, P. and Mrowka, T., The genus of embedded surfaces in the projective
plane, Math. Res. Lett., 1(6) (1994), 797–808.
[10] Lickorish, W., A representation of orientable combinatorial three-manifolds, Ann.
of Math. (2), 76 (1962), 531–540.
100 ABHIJEET GHANWAT AND SUHAS PANDIT
[11] Kobayashi, R. and Omori, G., An infinite presentation for the mapping class group
of a non-orientable surface with boundary, Osaka J. Math. , 59 (2) (2022), 269–314.
[12] Lickorish, W., Homeomorphisms of non-orientable two-manifolds, Proc. Cambridge
Philos. Soc., 59 (1963), 307–317.
[13] Pancholi, D., Pandit, S. and Saha, K., Embeddings of 3–manifolds via open books,
J. Ramanujan Math. Soc. 36 (3) (2021), 243–250.
[14] Pandit, S. and Selvakumar, A., Embeddings of 4–manifolds in S 2 × S 4 and S 2 × S 4
using bordered Lefschetz fibration, Houston Journal of Mathematics, 48(3) (2022),
691–723.
Indian Institute of Technology Madras, IIT PO. Chennai- 600 036, Tamil
Nadu, India.
Email address: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 101–115
DEVENDRA TIWARI
(Received : 23 - 04 - 2023 ; Revised : 13 - 07 - 2024)
1. Introduction
To motivate the reader, for Shimizu lemma in Sp(n, 1), we will start with
the classical Shimizu lemma and other discreteness criteria for subgroups
in SL(2, C). We also mention some application of related ideas in classical
case.
Now question arises when the two generator group G = hf, gi considered as
a subgroup of PSL(2, C) is discrete?
Only necessary or only sufficient conditions for the discreteness have
been obtained so far. For the necessary condition, we have the remark-
able Jørgensen inequality, the inequality of Shimizu-Leutbecher and their
analogues. A sufficient condition has been discussed in [GMMR97].
The Jörgensen inequality is a celebrated result concerning the classi-
cal problem to understand discreteness of subgroups of SL(2, C). It pro-
vides the necessary condition of discreteness for a two generator subgroup
of SL(2, C) (see [Jor76]). Jörgensen’s inequality, which generalises the clas-
sical Shimizu’s lemma, for two generator subgroups of PSL(2, C) is among
the most important results and tools in the study of three dimensional
manifolds.
An element f ∈ SL(2, C) is elliptic if it has a fixed point on the hyper-
bolic 3-space. It is parabolic, respectively loxodromic, if it is non-elliptic and
has exactly one, respectively two fixed points on the boundary Ĉ. For ellip-
tic transformations canonical form of f is given by z 7→ λz, |λ| = 1 such that
tr(f ) ∈ R with tr2 (f ) < 4. For parabolic transformations canonical form is
given by z → z + k, k ∈ C. such that tr(f ) = ±2. For loxodromic trans-
formations canonical form is given by z 7→ λz, λ ∈ C and |λ| 6= 1. From
1 1
the canonical form, of loxodromic element, note that, tr(f ) = λ 2 + λ− 2
with tr(f ) 6= ±2. This subdivides loxodromic elements into: (purely) hy-
perbolic when λ ≥ 0 such that tr(f ) ∈ R, with tr2 (f ) > 4 and loxodromic:
tr(f ) ∈
/ R. With this background we will now state Jörgensen inequality:
Remark 1.2. If one of the generators, of two generator subgroup for which
Jörgensen’s inequality holds, is parabolic then the discreteness condition
given above is just a reformulation of the classical Shimizu’s lemma. In this
sense Jörgensen’s inequality generalises Shimizu’s lemma and deals also with
groups with loxodromic and elliptic generators.
1.2. Some Applications. The Margulis lemma (named after Grigory Mar-
gulis) is a result about discrete subgroups of isometries of a non-positively
curved Riemannian manifold (e.g. the hyperbolic n-space). Roughly, it
states that within a fixed radius, usually called the Margulis constant, the
structure of the orbits of such a group cannot be too complicated. More
precisely, within this radius around a point all points in its orbit are in fact
104 DEVENDRA TIWARI
Though the methods of Cao and Parker works for an arbitrary parabolic
map, it is pretty technical and we find it difficult for application e.g. to
obtain discreteness criteria for Zariski dense subgroups in Sp(n, 1) as in
[GMT19] the version of Shimizu type lemma proved by Cao-Parker is not
suitable. Hence, here we provide a much simpler form of the quaternionic
Shimizu’s lemma that is quite analogous to the result of Hersonsky and
Paulin. We must remark that though this version is simpler, it is weaker
than the versions of Kim and Parker, and Cao and Parker mentioned above.
We have also noted a corollary that gives us some information about the
extremality of the inequality.
Let H denote the division ring of Hamilton’s quaternions. Let HnH de-
note the n-dimensional quaternionic hyperbolic space. Let Sp(n, 1) be the
linear group that acts on HnH by isometries. Up to conjugacy, we assume
that (see following section for the details) an Heisenberg translation fixes
the boundary point 0, i.e. it is of the form
1 0 0
Ts,ζ = s 1 ζ ∗ , (1.2)
ζ 0 I
where ζ is column vector known as translation length of Ts,ζ , s is a scalar
with Re(s) = 12 |ζ|2 and I is (n − 1) × (n − 1) identity matrix. ζ ∗ denotes the
conjugate transpose of ζ. Now we state a version of Shimizu type lemma:
α β U
Suppose A does not fix 0. Set
If
M t + 2|ζ| < 1,
then the two generator group hA, Ts,ζ i is either non-discrete or fixes the
point 0.
106 DEVENDRA TIWARI
2. Preliminaries
0 0 In−1
Following Section 2 of [CG74], let
n o n o
V0 = z ∈ Hn,1 − {0} : hz, zi = 0 , V− = z ∈ Hn,1 : hz, zi < 0 .
In our chosen model there are two distinct points 0 and ∞ on ∂HnH . For
z1 6= 0, the projection map P is given by
The finite points in the boundary of HnH naturally carry the structure of
the generalised Heisenberg group Nn , which is defined to be Nn = Hn−1 H ×
=(H), with the group law
01
(−|ζ|2 − u + v)/2 .
0
..
ψ(ζ, v, u) = ζ , ψ(∞) = , ψ(o) =
..
0
.
1
0 1
(2.4)
The Cygan metric on Heisenberg group corresponding to the norm
1 1
|(ζ, v)|H = ||ζ|2 + v| 2 = (|ζ|4 + |v|2 ) 4
is given by
1
dH ((ζ1 , v1 ), (ζ2 , v2 )) = |(ζ1 , v1 )−1 (ζ2 , v2 )|H = |2hψ(ζ1 , v1 , 0), ψ(ζ2 , v2 , 0)i| 2
= |(ζ2 − ζ1 , v2 − v1 − 2=(ζ2∗ ζ1 )|H
1
= ||ζ2 |2 + |ζ1 |2 − 2ζ2∗ ζ1 + v2 − v1 | 2 .
Hs = R(µ,U ) T(ζ,s)
The element with the form T(ζ,s) is called a Heisenberg translation and
it fixes the boundary point 0. Whereas R(µ,U ) is an elliptic element fixing
0.
ζ 0 I
here ζ is column vector known as translation length of Ts,ζ , s is a scalar
with Re(s) = 21 |ζ|2 and I is (n − 1) × (n − 1) identity matrix. ζ ∗ denotes the
conjugate transpose of ζ. If ζ = 0, it is a vertical Heisenberg translation,
otherwise it is a non-vertical Heisenberg translation.
Definition 2.2. Let g ∈ Sp(n, 1) not fixing ∞, then, there exists a Cygan
sphere, called the isometric sphere, in N4n−1 centered at g −1 (∞),
2.3. Some Computation. Now we shall use the Hermitian form J to note
down a few equations to be used later. Letting z and w vary over a basis
for Hn,1 , we see that J = A∗ JA. From this we find that A−1 = J −1 A∗ J for
A ∈ Sp(n, 1) given by
a b γ∗
A = c d δ∗ (2.6)
α β U
d¯ b̄ −β ∗
A−1 = c̄ ā −α∗
−δ −γ U ∗
where a, b, c, d are scalars, γ, δ, α, β are column matrices and U is an
element in U (n − 1, H).
Since AA−1 = I, equating both sides we have the following relations:
ad¯ + bc̄ − γ ∗ δ = 1
ab̄ + bā − γ ∗ γ = 0
−aβ ∗ − bα∗ + γ ∗ U ∗ = 0
cd¯ + dc̄ − δ ∗ δ = 0
cb̄ + dā − δ ∗ γ = 1
−cβ ∗ − dα∗ + δ ∗ U ∗ = 0
αd¯ + βc̄ − U δ = 0
αb̄ + βā − U γ = 0
−αβ − βα∗ + U U ∗ = I
∗
¯ + b̄c − β ∗ α = 1
da
¯ + b̄d − β ∗ β = 0
db
¯ ∗ + b̄δ ∗ − β ∗ U
dγ = 0
c̄a + āc − α∗ α = 0
c̄b + ād − α∗ β = 1
c̄γ ∗ + āδ ∗ − α∗ U = 0
∗
−δa − γc + U α = 0
−δb − γd + U ∗ β = 0
−δγ ∗ − γδ ∗ + U ∗ U = I
110 DEVENDRA TIWARI
2.4. Some Shimizu type Theorems. Before proving our main result, we
will note here some other Shimizu type theorems.
p !2
ρ0 (B(∞), AB(∞))ρ0 (B −1 (∞), AB −1 (∞)) 1+ 1 − 4|eiθ − 1|
2 <
rB 2
If
M t + 2|ζ| < 1, (3.2)
then the group generated by A and Ts,ζ is either non-discrete or fixes 0.
Set
tk = Sup{|bk |, |βk |, |γk |, |Uk − I|}, M = |s| + 2|ζ|.
Now it follows from the expressions above that
M t0 + 2|ζ| ≤ < 1.
112 DEVENDRA TIWARI
From (3.19) it follows that t1 ≤ t0 , t2 ≤ t0 (M t1 + 2|ζ|). Now note that
M t1 ≤ M t0 < M t0 , hence M t1 + 2|ζ| ≤ M t0 + 2|ζ| < , hence t2 ≤ 2 t0 .
Repeating this proces we have
tk ≤ k t0 .
Now we will discuss some applications and comparison of the main result
we just proved.
M t + 2|ζ| = 1
M tk + 2|ζ| ≥ 1.
M tk + 2|ζ| ≤ M t0 + 2|ζ| = 1.
⇒ M tk + 2|ζ| = 1 = M t + 2|ζ| ∀ k.
In particular, tk = t.
Remark 4.2. Observe that theorem (4.8) of [KP03] says that if,
dH (A−1 (∞), Ts,ζ A−1 (∞))dH (A(∞), Ts,ζ A(∞)) + 4|ζ|2
1> 2
rA
then hTs,ζ , Ai is not discrete. Here dH is a Cygan metric and rA is the
q radius
2
of the isometric sphere of A. If A is of the form (2.6), then rA = |b| and
the above inequality becomes
1 1
1 > |b||s + ζ ∗ βb−1 − b̄−1 β ∗ ζ| 2 |s − ζ ∗ γ b̄−1 − b−1 γ ∗ ζ| 2 + 2|ζ|2 |b| (4.1)
Remark 4.3. Similarly one can show that our theorem implies Cao and
Parker’s Shimizu’s lemma for Heisenberg translation.
114 DEVENDRA TIWARI
We will conclude the paper by stating the main application of the result
(3.1). A subgroup G of Sp(n, 1) is called Zariski dense if it does not fix a
point on HnH ∪ ∂HnH , and neither it preserves a totally geodesic subspace
of HnH . With the above notations, we apply our main result to prove the
following part (3) of the following theorem in [GMT19]:
References
[BM98] A. Basmajian, and R. Miner, Discrete subgroups of complex hyperbolic motions.
Invent. Math. 131, 85-136 (1998).
[CP11] Wensheng Cao and John R. Parker. Jørgensen’s inequality and collars in n-
dimensional quaternionic hyperbolic space. Q. J. Math., 62(3):523–543, 2011.
[CP18] Wensheng Cao and John R. Parker. Shimizu’s lemma for quaternionic hyperbolic
space. Comput. Methods Funct. Theory, 18(1):159–191, 2018.
[CG74] S. S. Chen and L. Greenberg. Hyperbolic spaces. In Contributions to analysis (a
collection of papers dedicated to Lipman Bers), Academic Press, New York. pages
49–87, 1974.
[GMT19] Krishnendu Gongopadhyay, Mukund Madhav Mishra and Devendra Tiwari.
On Generalised Jørgensen Inequality in SL(2, C). Siberian Electronic Mathematical
Reports, Vol 16 (2019), 542–546.
[GMT19] Krishnendu Gongopadhyay, Mukund Madhav Mishra and Devendra Tiwari.
On discreteness of subgroups of quaternionic hyperbolic isometries. Bull. Aust.
Math. Soc. 101 (2020), no. 2, 283–293.
[GMT21] Krishnendu Gongopadhyay, Abhishek Mukherjee and Devendra Tiwari. Dis-
creteness of hyperbolic isometries by test maps. Osaka J. Math. 58 (2021), no. 3,
697-710.
A SHIMIZU-TYPE THEOREM FOR SUBGROUPS IN Sp(n, 1) 115
Devendra Tiwari
Bhaskaracharya Pratishthana
56/14, Erandavane, Off Law College Road
Pune 411 004, India.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 116–131
1. Introduction
The idea of fuzzy sets offers a useful mechanism for explaining the be-
haviour of systems that are either too complicated or too poorly specified
to allow for precise mathematical study using conventional tools and tech-
niques. It has demonstrated great potential for managing uncertainties to
a manageable degree, particularly in decision-making models under various
types of risks, subjective assessment, ambiguity, and vagueness. Expert sys-
tems, control systems, pattern recognition, and image processing are just a
few of the many disciplines in which this idea has already been widely ap-
plied. Zadeh [8] was the first to present the theory of fuzzy sets. After that
Rosenfeld [1] and Zaid [17] introduced and studied fuzzy group and fuzzy
ring respectively. In [5, 7, 10, 16, 19, 20, 21, 22], researchers introduced and
studied fuzzy prime, semiprime, maximal and radical of a fuzzy ideal of a
ring R.
Pawlak [27] was the first to present the theory of rough sets. Pawlak in-
troduced rough set theory as a potent mathematical tool for handling data
2010 Mathematics Subject Classification: 03E72, 16N60, 16W25, 16Y30.
Key words and phrases: 3-prime ideals, 3-semiprime ideals, rough 3-prime ideals, fuzzy
ideals, rough 3-prime fuzzy ideal
uncertainty. Rough set theory begins with the premise that components of
a universe with the same characterization are indistinguishable in light of
the information at hand. An extension of set theory known as rough set
theory describes a subset of the universe as being defined by two classical
sets known as the lower and upper approximations. The foundation for cre-
ating the lower and the upper approximations are the equivalence classes
[23, 26]. For basic ideas without clear boundaries, such as those that are
hazy and ambiguous, rough sets offer an appropriate mathematical repre-
sentation. Rough set theory is becoming into a potent tool for working with
unreliable data. Recently, it has drawn a lot of attention from the research
community in both the theory and practical applications. Rough subgroups
and rough ideals in semigroup discussed by Biswas et al. [15] and Kuroki
[11] respectively. Some characteristics of the lower and upper approxima-
tions with regard to the normal subgroups were represented by Kuroki and
Wang[12]. Kazanci and Davvaz [13] brought up the ideas of rough prime
and rough fuzzy prime ideals of commutative rings in 2008.
In this paper we define rough fuzzy 3-prime and 3-semiprime ideals in a
near ring N . We also discuss some of their features. This in-depth investi-
gation could perhaps offer a useful tool for approximative reasoning, in our
opinion. When it comes to the theory as well as applications of fuzzy sets
and rough sets, we think the rough near rings presented here will be more
beneficial. As a generalisation of rings, Pilz[6] proposed the idea of near
rings in 1983. In which, only one distributive law is required, hence the
addition operation is not required to be commutative. It would be unfair to
characterise near ring theory as merely a collection of unimportant findings
pertaining to particular pathological systems with little relevance to other
areas of mathematics. In contrast to applications in axioms and geometry,
novel and extremely effective classes of balanced incomplete block designs
are provided by particular classes of finite near rings (finite planar near
ring).
2. Preliminaries
Lemma 2.2. If R is F.C.R. on a near ring N , then (p, q), (r, s) ∈ R imply
(p + r, q + s), (pr, qs) and (−p, −q) ∈ R.
Proof. Consider R is a F.C.R. on a near ring N and (p, q), (r, s) ∈ R. Then
(p + r, q + r), (q + r, q + s) ∈ R. By definition of F.C.R. (p + r, q + s) ∈ R.
In similar manner, we can see that (pr, qs), (−p, −q) ∈ R.
Proof. (i) Let x = p+q ∈ [m]R +[n]R , p ∈ [m]R , q ∈ [n]R . Then (p, m), (q, n) ∈
R. By lemma 2.2, (p + q, m + n) ∈ R i.e., p + q = x ∈ [m + n]R . Now, take
z ∈ [m + n]R i.e., (z, m + n) ∈ R or (−m + z, n) ∈ R i.e., (−m + z) ∈ [n]R
entails that z ∈ [m]R + [n]R . Thus [m]R + [n]R = [m + n]R .
(ii) For any a ∈ [−m]R or equivalently
x − y ∈ R − (J ). (2.1)
nx ∈ R − (J ). (2.2)
n − x + n ∈ R − (J ). (2.3)
Remark 2.7. The converse statement of the previous lemma is not true.
j ∈ i + [0]R ⇐⇒ j − i ∈ [0]R
⇐⇒ (j − i, 0) ∈ R
⇐⇒ (j, i) ∈ R
j ∈ [i]R .
(ii) Let l ∈ [mn]R1 . Then (l, mn) ∈ R1 . By (i), (f (l), f (mn) ∈ R2 . So,
Thus there exist a, b ∈ N1 such that f (l) = f (a)f (b) = f (ab) and f (a) ∈
[f (m)]R2 , f (b) ∈ [f (n)]R2 . f (l) = f (a)f (b) implies that l = ab, since f is
injective and a ∈ [m]R1 , b ∈ [n]R1 . Hence
From equation 2.5 and (iii) part of lemma 2.3, equality holds.
(iii) Let z ∈ f (R1− (X )). Then one can find y ∈ R1− (X )) so that f (y) = z.
Since [y]R1 ∩ X 6= φ, hence there exists x ∈ [y]R1 ∩ X , which implies that
(x, y) ∈ R1 and x ∈ X or (f (x), f (y)) ∈ R2 . So, [f (y)]R2 ∩f (X ) 6= φ implies
that z = f (y) ∈ R2− (f (X )) i.e.,
Now assume that f is one to one and a ∈ R2− (f (X )), then there exists
b ∈ N1 such that f (b) = a and [f (b)]R2 ⊆ f (X ). Suppose c ∈ [b]R1 , then
f (c) ∈ [f (b)]R2 ⊆ f (X ) and so c ∈ X . Thus [b]R1 ⊆ X , which implies that
b ∈ R1− (X ). Then a = f (b) ∈ f (R1− (X )), so,
Proof. By lemma2.6, R − (L) is an ideal. Now, we will only show that R − (L)
is 3-prime. Assume that a, b ∈ N such that anb ∈ R − (L), for all n ∈ N .
Then [anb]R ∩ L 6= φ. Since R is complete, hence {xmy | x ∈ [a]R , m ∈
[n]R , y ∈ [b]R }∩L 6= φ. Suppose that there exist x ∈ [a]R , m ∈ [n]R , y ∈ [b]R
such that xmy ∈ [anb]R ∩ L. Since L is 3-prime, hence xmy ∈ L implies
that x ∈ L or y ∈ L. Therefore, [a]R ∩ L 6= φ or [b]R ∩ L 6= φ. This implies
that a ∈ R − (L) or b ∈ R − (L).
0
and n2 = f (n2 ) ∈ N2 . Given that f is epimorphism, so by proposition 2.13,
y1 , y2 ∈ R2 − (f (X )) = f (R1 − (X )) i.e., there exist a, b ∈ R1 − (X ) such that
0 0
y1 = f (a), y2 = f (b). Then y1 −y2 = f (a−b), n2 y1 = f (n2 )f (a) = f (n2 a),
0 0 0 0 0 0
n2 +y1 −n2 = f (n2 +a−n2 ), and ((n+y1 )n2 −nn2 ) = f ((n +a)n2 −n n2 ).
0 0 0 0 0
Since R1 − (X ) is an ideal of N1 , hence a − b, n2 a, n2 + a − n2 , (n + a)n2 −
0 0
n n2 ∈ R1 − (X ). This show that R2 − (f (X )) is an ideal of N2 .
Definition 4.2. Let R− (ζ) and R − (ζ) are R-lower and R-upper approx-
imation of a fuzzy ideal ζ. Then R(ζ) = (R− (ζ), R − (ζ)) is said to be a
rough fuzzy set (R.F.S) if R− (ζ) 6= R − (ζ).
Definition 4.5. A rough fuzzy set (R− (ζ), R − (ζ)) is said to be a rough
F.I., if R− (ζ) and R − (ζ) is a F.I. of a near ring N .
+ 0 1 2 3 4 5 6 7 + 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6 7 0 0 0 0 0 0 0 0 0
1 1 2 3 0 5 6 7 4 1 0 1 0 1 0 1 1 0
2 2 3 0 1 6 7 4 5 2 0 2 0 2 0 2 2 0
3 3 0 1 2 7 4 5 6 and 3 0 3 0 3 0 3 3 0
4 4 7 6 5 0 3 2 1 4 4 4 4 4 4 4 4 4
5 5 4 7 6 1 0 3 2 5 4 5 4 5 4 5 5 4
6 6 5 4 7 2 1 0 3 6 4 6 4 6 4 6 6 4
7 7 6 5 4 3 2 1 0 7 4 7 4 7 4 7 7 4
= sup {ζ(k1 )}
k1 ∈[i]R
= R − (ζ)(i). (4.3)
(ii) For i, j ∈ N ,
Corollary 4.8. A rough fuzzy set (R− (ζ), R − (ζ)) is F.I. if ζ is F.I..
Proof. By lemma 4.7, R− (ζ) is F.I. of N . Now, we will only show that
3-primeness of R− (ζ). Let a, b ∈ N . Then
5. Conclusion
Rough fuzzy ideals give a useful and effective tool for modeling complex
systems with ambiguity, imprecision, and uncertainty. The rough fuzzy
ideal of a near ring is a generalization of an ideal of near ring. So, we
replaced a universe set by a near ring and introduced the notion of rough
3-prime (3-semiprime) ideals and rough fuzzy 3-prime ideal of near rings.
We discussed the conditions under which the upper and lower rough 3-prime
ideals and upper and lower approximations of their homomorphic images
are related.
Acknowledgement: We are grateful to the referee for the comments which
improved the quality of the paper.
References
[1] Rosenfeld, A., Fuzzy Groups, J. Math. Anal. Appl. 35 (1971), 512-517.
[2] Kedukodi, B.S.; Bhavanari, S.; and Kuncham, S.P. C-prime fuzzy ideals of near
rings, Soochow J. Mathematics 33 (2007), 891-901.
[3] Davvaz, B., Roughness in Rings, Inform. Sci. 164 (2004), 147-163.
[4] Davvaz, B., Roughness based on fuzzy ideals, Inform.Sci. 176 (2006), 2417-2437.
[5] Malik, D.S. and Mordeson, J.N. Fuzzy maximal,radical, and primary ideals of rings,
Inform. Sci. 53 (1991), 237-250.
[6] Pilz, G., Near-rings, Revised edn. North Holland (1983).
[7] Kumbhojkar, H.V. and Bapat, M.S., On prime and primary fuzzy ideals and their
radicals, Fuzzy Sets and Systems 53 (1993), 203-216.
130 ASMA ALI AND ARSHAD ZISHAN
[8] Zadeh, L.A. Fuzzy Sets, Information and Control 8 (1965), 338-353.
[9] Kondo, M. On the structure of generalized rough sets, Inform. Sci. 176 (2006),
589–600.
[10] Zahedi, M.M. A note on L-fuzzy primary and semiprime fuzzy ideals, Fuzzy Sets
and Systems 51 (1992),243-247.
[11] Kuroki, N. Rough ideals in semigroups, Inform. Sci. 100 (1997), 139–163.
[12] Kuroki, N.; . Wang, P.P. The lower and upper approximations in a fuzzy group,
Inform. Sci. 90 (1996) 203–220.
[13] Kazanci,O.; Davvaz, B. On the structure of rough prime (primary) ideals and
rough fuzzy prime (primary) ideals in commutative rings, Inform. Sci. 178 (2008),
1343–1354.
[14] Xiao, Q.M.; Zhang, Z.L. Rough prime ideals and rough fuzzy prime ideals in semi-
groups, Inform. Sci. 176(2006), 725–733.
[15] Biswas, R.; Nanda, S. Rough groups and rough subgroups, Bull. Polish Acad. Sci.
Math. 42 (1994), 251-254.
[16] Kumar, R., Fuzzy nil radicals and fuzzy primary ideals, Fuzzy Sets and Systems 43
(1991),81-93.
[17] Zaid, S.A. On Fuzzy Subnear-Rings and Ideals, Fuzzy Sets and Systems 44
(1989),139-146.
[18] Deng, T.; Chen, Y.; Xu, W.; Dai, Q. A novel approach to fuzzy rough sets based on
a fuzzy covering, Inform. Sci. 177 (2007), 2308–2326.
[19] Mukherjee, T.K. and Sen, M.K. On Fuzzy Ideals of a Ring I, Fuzzy Sets and Systems
21 (1987), 99-104.
[20] Dixit, V.N.; Kumar, R. and Ajmal, N. On Fuzzy rings, Fuzzy Sets and Systems 49
(1992),205-213.
[21] Dixit, V.N.; Kumar, R. and Ajmal, N. Fuzzy ideals and fuzzy prime ideals of a ring,
Fuzzy Sets and Systems 44 (1991),127-138.
[22] Liu, W., Fuzzy Invariant Subgroups and Fuzzy Ideals, Fuzzy Sets and Systems 8
(1982),133-139.
[23] Wu, W.Z. and Zhang, W.X. Neighbourhood operator systems and approximations,
Inform. Sci. 144 (2002), 201-217.
[24] Zhu, W. Generalized rough sets based on relations, Inform. Sci. 177 (2007),
4997–5011.
[25] Jun, Y.B., Roughness of ideals in BCK-algebras, Sci. Math. Japonica 57(1) (2003),
165–169.
[26] Yao, Y.Y., Relational interpretation of neighbourhood operators and rough set ap-
proximation operator, Inform. Sci. 111 (1998), 239-259.
[27] Pawlak, Z., Rough sets, Int. J. Inf. Comp. Sci. 11 (1982), 341-356.
[28] Yue, Z., L-fuzzy ideals and primary L-fuzzy ideals, Fuzzy Sets and Systems 27
(1988), 345-350.
CHARACTERIZATION OF ROUGH 3-PRIME IDEALS..... 131
Arshad Zishan
Department of Mathematics
Faculty of Sciences
Aligarh Muslim University,
Aligarh, INDIA.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 132–137
1. Introduction
Lin (x) denotes the polylogarithm function, which is defined for |x| ≤ 1 by
∞
X xk
Lin (x) = , n ∈ N, n ≥ 2.
kn
k=1
1
ln cos2 θ ln2 sin2 θ + ζ (3) .
2
Proof. In the recent article [1, Lemma 4.5], Seán Mark Stewart had evalu-
ated the following generating function involving classical harmonic number:
∞
X Hn xn
= − Li3 (1 − x) + Li3 (x) + Li2 (1 − x) ln (1 − x) +
n2
n=1
1
ln (x) ln2 (1 − x) + ζ (3) . (1.1)
2
∞ n
X Hn cos2 θ
= − Li3 1 − cos2 θ + Li3 cos2 θ +
n2
n=1
1
ln cos2 θ ln2 1 − cos2 θ + ζ (3)
2
1
ln cos2 θ ln2 sin2 θ + ζ (3) .
2
134 NANDAN SAI DASIREDDY
Z π
2 2 (cos θ)2n dθ = 1 2n . we have,
π 0 22n n
Z π
∞ X ∞
X Hn 1 2n Hn 2 2
= (cos θ)2n dθ
n2 22n n n2 π 0
n=1 n=1
π !
Z ∞
H cos 2θ n
2 n
= 2
X
dθ
π 0 n2
n=1
π
Z
2
= 2 − Li3 sin2 θ + Li3 cos2 θ + Li2 sin2 θ ln sin2 θ dθ +
π 0
π
Z
2 2 1
ln cos2 θ ln2 sin2 θ + ζ (3) dθ
π 0 2
Z π Z π
2
− 2 Li3 sin2 θ dθ + 2 Li3 cos2 θ dθ +
=
π 0 0
π
Z π
Z
2 2 1 2
Li2 sin2 θ ln sin2 θ dθ + ln cos2 θ ln2 sin2 θ dθ +
π 0 2 0
π
Z
2 2
ζ (3) dθ .
π 0
A SOLUTION TO AN INTERESTING ... CENTRAL BINOMIAL COEFFICIENT 135
Z π Z π
2 Li sin2 θ dθ = 2 Li cos2 θ dθ
3 3
0 0
Z π Z π
and 2 ln cos2 θ ln2 sin2 θ dθ = 2 ln sin2 θ ln2 cos2 θ dθ, we
0 0
conclude:
π
∞ 2n
Hn
Z
2
= 2 Li2 sin2 θ ln sin2 θ dθ +
X
n
n2 22n
π 0
n=1
Z π Z π
2 1 2
ln sin2 θ ln2 cos2 θ dθ + 2 ζ (3) dθ
π 2 0 0
Z π
2
2 2 Li2 sin2 θ ln (sin θ) dθ +
=
π 0
Z π
2 π
4 2 ln (sin θ) ln2 (cos θ) dθ + ζ (3)
π 0 2
π π
Z Z
4 8
= 2 Li2 sin2 θ ln (sin θ) dθ + 2 ln (sin θ) ln2 (cos θ) dθ
π 0 π 0
+ζ (3)
a 1
Using Landen's identity, Li2 (−a) = − Li2 − ln2 (1 + a) for
1+a 2
a ≥ 0 [2], Cornel Ioan Vălean [3, (1.97)], had recently evaluated the definite
integral
Z π
2 ln (sin θ) Li sin2 θ dθ = 5π ζ(3) − π ln 2ζ(2) + π ln3 2
2
0 8
and
136 NANDAN SAI DASIREDDY
using the derivative of the Euler's beta function and the Leibniz formula
for the differentiation of products, K.S.Kölbig [5, p. 25], had evaluated the
definite integral
Z π
2 ln (sin θ) ln2 (cos θ) dθ = π ζ(3) − 4 ln3 2 .
0 8
9
= ζ(3) − 4 ln 2ζ(2).
2
Here in the proof of Theorem 1.2, Bernstein's theorem [6, Thm. 9.30,
p. 243] justifies interchanging the order of integration and summation be-
cause of the positivity of the coefficients.
References
[1] Stewart, Seán. M., Explicit Evaluation of Some Quadratic Euler-Type Sums Con-
taining Double-Index Harmonic Numbers, Tatra Mt. Math. Publ. 77(1) (2020),
73–98. doi: 10.2478/tmmp-2020-0034
[2] Landen, J., Mathematical Memoirs Respecting a Variety of Subjects, with an Ap-
pendix Containing Tables of Theorems for the Calculation of Fluents, 1 (1780),
112.
[3] Vălean, C. I., More (Almost) Impossible Integrals, Sums, and Series: A New Collec-
tion of Fiendish Problems and Surprising Solutions, Problem Books in Mathematics,
Springer, Cham, First Edition 2023. doi: 10.1007/978-3-031-21262-8
A SOLUTION TO AN INTERESTING ... CENTRAL BINOMIAL COEFFICIENT 137
[4] Nimbran, A. S., Sums of series involving central binomial coefficients and har-
monic numbers, Math. Student 88(1-2) (2019), 125-135. Available from: https:
//indianmathsoc.org/ms/mathstudent-part-1-2019.pdf
[5] Kölbig, K. S., On the value of a logarithmic-trigonometric integral, BIT 11(1)
(1971), 21-28. doi: 10.1007/BF01935325
[6] Apostol, T. M., Mathematical Analysis, 2nd edn. Addison Wesley, 1974.
At the end of the year 2022, the authors thought about finding some
unique properties of the integer 2023. We came up with an idea connecting
2023, Niven numbers, divisors, the sum of digits, and the happy and Alladi-
Erdős functions.
For each n ∈ N, let s1 (n) be the sum of the decimal digits of n and
let s2 (n) be the sum of the squares of the decimal digits of n. A positive
integer n is called a Niven number or a harshad number if n is divisible by
s1 (n) and n is called a happy number if
(k)
s2 (n) converges to 1 as k → ∞,
(k)
where s2 is the k-fold composition of s2 . While the history of happy
numbers is unclear, harshad numbers can be traced back to D. R. Kaprekar-
an Indian mathematician, and they were made more popular in the paper
by Ivan Niven [11].
Niven and happy numbers and the functions s1 and s2 have been stud-
ied by many mathematicians. For example, if N (x) is the number of Niven
numbers not exceeding x, then Kennedy and Cooper [12] showed in 1984
19683 = (1 + 9 + 6 + 8 + 3)3 ,
2511 = (2 + 5 + 1 + 1)2 (22 + 52 + 12 + 12 ),
24624 = (2 + 4 + 6 + 2 + 4)2 (22 + 42 + 62 + 22 + 42 ),
2023 = (2 + 0 + 2 + 3)(22 + 02 + 22 + 32 )2 ,
2400 = (2 + 4 + 0 + 0)(22 + 42 + 02 + 02 )2 ,
52215 = (5 + 2 + 2 + 1 + 5)(52 + 22 + 22 + 12 + 52 )2 ,
615627 = (6 + 1 + 5 + 6 + 2 + 7)(62 + 12 + 52 + 62 + 22 + 72 )2 ,
938600 = (9 + 3 + 8 + 6 + 0 + 0)(92 + 32 + 82 + 62 + 02 + 02 )2 ,
1648656 = (1 + 6 + 4 + 8 + 6 + 5 + 6)(12 + 62 + 42 + 82 + 62 + 52 + 62 )2 ,
and this is the complete list of positive integers larger than 1 with this prop-
erty.
Finally, let us record one more theorem connecting 2023, Niven numbers,
the sum of divisors function σ(n), and Alladi-Erdős function A(n).
In particular, a positive integer n satisfies the first equation with s1 (n) being
a prime if and only if n = 2023. The only positive integer n satisfying the
second equation where s1 (n) and s2 (A(n)) are prime is n = 2023.
We give some lemmas and prove Theorems 1.1 and 1.4 in the next
section.
NIVEN NUMBERS AND A UNIQUE PROPERTY OF 2023 143
fa,b (n) = s1 (n)a s2 (n)b , Fc (n) = s1 (n)sc (n), ga,b = s1 (n)a s3 (n)b
for all n ∈ N. In addition, let h(n) = s1 (n)s2 (n)s3 (n) for all n ∈ N. Then
we have the following result.
Lemma 2.1. For each n ∈ N, we have
(i) f2,0 (n) ≤ f1,1 (n) ≤ f3,0 (n) ≤ f2,1 (n) ≤ f1,2 (n);
(ii) g2,1 (n) ≤ h(n) ≤ g1,2 (n);
(iii) g1,1 (n) ≤ F4 (n) ≤ F5 (n) ≤ F6 (n).
Proof. This follows from the fact that s1 (n) ≤ s2 (n) ≤ s1 (n)2 , and s2 (n) ≤
s3 (n) ≤ s4 (n) ≤ s5 (n) ≤ s6 (n) for all n ∈ N.
Lemma 2.2. We have 9(k + 1) < 10k for all k ≥ 2, 95 (k + 1)3 < 10k for all
k ≥ 8, 97 (k + 1)2 < 10k for all k ≥ 9, and 97 (k + 1)3 < 10k for all k ≥ 10.
Proof. It is easy to verify that the second inequality holds when k = 8. If
k ≥ 8 and the second inequality holds for k, then
3 3
5 3 5 3 1 5 3 10
9 (k + 2) = 9 (k + 1) 1 + ≤ 9 (k + 1) < 10k+1 ,
k+1 9
which proves the second inequality by induction. The others are similar.
From this point, we apply Lemma 2.2 without further reference.
Lemma 2.3. We have s1 (n) < n for all n ≥ 10.
Proof. If n ≥ 100 and n = (ak ak−1 · · · a0 )10 where k ≥ 2, then
k
X
s1 (n) = ai ≤ 9(k + 1) < 10k ≤ n.
i=1
Therefore f (n) < n for all n ≥ 108 . Next, if 30233088 < n ≤ 108 − 1, then
Thus f (n) < n for all n ≥ 2 × 107 . It is easy to check that f (m) > m if
m = 2 × 107 − 1. The inequalities for g1,2 and F6 can be proved similarly.
So the proof is complete.
With these lemmas, we are now ready to give a proof of Theorem 1.1.
Proof of Theorem 1.4. Let f (n) = s1 (n)s1 (σ(n))2 and g(n) = s1 (n)s2 (A(n))2
for all n ∈ N. We first observe that for each n ∈ N, we have
X X
σ(n) = d≤n 1 ≤ n2 . (2.1)
d|n d|n
Since g(n) < n for all n ≥ 108 , we can use a computer to search for the so-
lution to g(n) = n in the range n < 108 . This proves the second statement.
The rest follows immediately. This completes the proof.
It is possible to solve the equation n = fa,b (n) and n = ga,b (n) when a, b
are large, but the upper bound may be much larger than 3×109 , which takes
a longer computational time and requires a more powerful computer and
a better skill in computer programming. More generally, if a1 , a2 , . . . , ak ,
α1 , α2 , . . . , αk are fixed, it is possible to solve the equation
Problem Determine whether or not there are infinitely many Niven num-
bers of type 2. Prove or disprove that the number of Niven numbers of type
3 is finite. If d and ` are very large, is there a special Niven number of degree
d at level `? Are there infinitely many n such that n = s1 (n)a sα (σ(n))b or
n = s1 (n)a sα (A(n))b for some a, b, α ∈ N distinct from those in Theorem
1.4?
Acknowledgement
References
[1] Cai, T., On 2-Niven numbers and 3-Niven numbers, Fibonacci Quart. 34(2) (1996),
118–120.
[2] Chase, Z., On the iterates of digit maps, Integers 18 (2018), #A86.
NIVEN NUMBERS AND A UNIQUE PROPERTY OF 2023 147
[3] Cooper, C. and Kennedy, R., On consecutive Niven numbers, Fibonacci Quart. 31
(1993), 146–151.
[4] El-Sedy, E. and Siksek, S., On happy numbers, Rocky Mountain J. Math. 30 (2000),
565–570.
[5] Gelfond, A. O., Sur les nombres qui ont des propriété additives et multiplicatives
données, Acta Arith. 13 (1968), 259–265.
[6] Gilmer, J., On the density of happy numbers, Integers 13 (2013), #A48.
[7] Grundman, H., Sequences of consecutive n-Niven numbers, Fibonacci Quart. 32(2)
(1994), 174–175.
[8] Grundman, H. G. and Teeple, E. A., Iterated sums of fifth powers of digits, Rocky
Mountain J. Math. 38 (2008), 1139–1146.
[9] Guy, R. K., Unsolved Problems in Number Theory, Springer-Verlag, First Edition,
1981.
[10] Hargreaves, K. and Siksek, S., Cycles and fixed points of happy functions, J. Comb.
Number Theory 2 (2010), 65–77.
[11] Harshad number, Wikipedia, available at https://en.wikipedia.org/wiki/Harshad
_number
[12] Kennedy, R. and Cooper, C., On the natural density of the Niven numbers, College
Math. J. 15 (1984), 309–312.
[13] Kennedy, R. and Cooper, C., Chebyshev’s inequality and natural density, Amer.
Math. Monthly 96 (1989), 118–124.
[14] De Koninck, J. M., Doyon, N. and Kátai, I., On the counting function for the Niven
numbers, Acta Arith. 106 (2003), 265–275.
[15] Morgenbesser, J., Gelfond’s Sum of Digits Problems, Diploma
Thesis, Vienna University of Technology, 2008. Available at
https://dmg.tuwien.ac.at/drmota/morgenbesserda.pdf
[16] Noppakeaw, P. Phoopha, N. and Pongsriiam, P., Composition of happy functions,
Notes Number Theory Discrete Math. 25(3) (2019), 13–20.
[17] Pan, H., On consecutive happy numbers, J. Number Theory 128 (2008), 1646–1654.
[18] Phoopha, N. Pongsriiam, P. and Phunphayap, P., Digit Maps, Math. Gaz. 107(568)
(2023), 35–43.
[19] Sloane, N. J. A., The On-Line Encyclopedia of Integer Sequences, https://oeis.org
[20] Styer, R., Smallest examples of strings of consecutive happy numbers, J. Integer Seq.
13 (2010), Article 10.6.3.
[21] Subwattanachai, K. and Pongsriiam, P., Composition of happy functions and digit
maps, Int. J. Math. Comput. Sci. 16(1) (2021), 169–178.
[22] Wilson, B., Construction of 2n consecutive n-Niven numbers, Fibonacci Quart. 35
(1997), 122–128.
[23] Zhou, X. and Cai, T., On e-power b-happy numbers, Rocky Mountain J. Math. 39
(2009), 2073–2081.
148 P. N. PHUNPHAYAP, T. KHEMARATCHATAKUMTHORN, AND P. PONGSRIIAM
Tammatada Khemaratchatakumthorn
Department of Mathematics
Faculty of Sciences
Silpakorn University
Nakhon Pathom, 73000, Thailand
E-mail: [email protected], [email protected]
Prapanpong Pongsriiam
Department of Mathematics
Faculty of Sciences
Silpakorn University
Nakhon Pathom, 73000, Thailand
and
Graduate School of Mathematics
Nagoya University
Nagoya, 464-8602, Japan
E-mail: [email protected], [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 149–159
1. Introduction
2. Preliminaries
Definition 2.1. Consider a cone C in the set H. For any elements l and
m belonging to H, the inequality l ≤ m is true if and only if l − m belongs
to the cone C. This relationship denoted by "≤" is referred to as a partial
ordered relation.
Definition 2.2. Any two elements l and m belonging to the set H are
considered comparable if either l ≤ m or m ≤ l holds (represented as
l ∝ m).
hs − t, v − si ≥ 0, f or all v ∈ K (2.1)
if and only if
u = PK (t)
where K is a nonempty closed convex set in H and PK is the projection
operator.
Both equations (3.1) and (3.2) are interconnected and the study of the
Wiener-Hopf equation involving XOR-operation reveals its equivalence with
the variational inequality problem (3.2). This connection offers new per-
spectives and opportunities for analyzing and solving complex mathematical
challenges in various applications. The following Lemma ensures that the
variational inequality problem (3.2) is equivalent to a fixed point equation.
ρT g −1 PK (t) ⊕ QK (t) = 0.
SOLVING WIENER-HOPF EQUATION INVOLVING XOR-OPERATION 153
ρT g −1 PK (t) = QK (t)
= PK (t) − t. (3.4)
By using Lemma 2.5, Lemma 3.1, (3.4) and the fact that t = g(s)−ρT (s), we
have
which gives us
hT (s), g(v) − g(s)i ≥ 0,
the required variational inequality problem (3.2). Conversely, suppose that
the variational inequality problem (3.2) holds, that is s ∈ H, g(s) ∈ K such
that
hT (s), g(v) − g(s)i ≥ 0, f or all g(v) ∈ K.
Using Lemma 3.1, we have
t = g(s) − ρT (s)
= PK (t) − ρT g −1 PK (t),
so,
ρT g −1 PK (t) = PK (t) − t
= QK (t).
Thus, we have
thus, we have
This fixed point formulation 4.1 enables us to develop the following iterative
algorithm.
Proof. Using 4.2 of Algorithm 4.1, (i) and (iii) of proposition 2.4, we have
= kPK (tn ) − PK (tn−1 )k2 + 2hρ(T (sn ) − T (sn−1 )), PK (tn ) − PK (tn−1 )i
+ρ2 kT (sn ) − T (sn−1 )k2
≤ ktn − tn−1 k2 + 2ρλT ksn − sn−1 kktn − tn−1 k + ρ2 λ2T ksn − sn−1 k2
= (ktn − tn−1 k + ρλT ksn − sn−1 k)2 ,
thus, we have
k(PK (tn )−PK (tn−1 ))+ρ(T (sn )−T (sn−1 ))k ≤ ktn −tn−1 k+ρλT ksn −sn−1 k.
(4.7)
156 ZAHOOR AHMAD RATHER AND RAIS AHMAD
kg(sn+1 ) ⊕ g(sn )k ≤ ρλT δg ktn − tn−1 k + ktn − tn−1 k + ρλT ksn − sn−1 k
= (1 + ρλT δg )ktn − tn−1 k + ρλT ksn − sn−1 k. (4.9)
That is
Conclusion
In conclusion, this study introduces a novel application of the Wiener-
Hopf equation by incorporating the XOR-operation. The research demon-
strates that the Wiener-Hopf equation involving XOR-operation is math-
ematically equivalent to a variational inequality problem. To effectively
address this equation, a dedicated iterative algorithm is proposed, specifi-
cally designed for XOR-based Wiener-Hopf equations. The application of
the Bounded Inverse Theorem enables the successful derivation of the solu-
tion.
Furthermore, the study extensively discusses the convergence criteria
associated with this tailored approach. These findings not only advance
the understanding of the Wiener-Hopf method in XOR-based scenarios but
also establish a powerful framework for solving intricate mathematical chal-
lenges in diverse applications. The proposed iterative algorithm and con-
vergence analysis contribute significantly to the potential application of the
Wiener-Hopf equation in various domains, promising new avenues for future
158 ZAHOOR AHMAD RATHER AND RAIS AHMAD
References
[1] Brezis, H., Operateurs Maximaux Monotone et Semigroups de Contractions dans
les Espaces de Hilbert, North-Holland,Amsterdam, 1973.
[2] Cottle, R.W., Giannessi, F., and Lions, J.L. , Variational Inequalities and Com-
plementarity Problems: Theory and Applications, J. Wiley and Sons, New York,
1980.
[3] Crank, J., Free and Moving Boundary Problems, Clarendon press, Oxford, U.K.
1984.
[4] Du, Y.H., Fixed points of increasing operators in ordered Banach spaces and appli-
cations , Appl. Anal., 38, 1-20(1990).
[5] Abrahams, I.D., A brief and Gentle Introduction to the Wiener-Hopf technique, De-
livered to the summer school of the Isaac Newton Institute Programme on “Bringing
pure and applied analysis together via the Wiener-Hopf technique", 2019.
[6] Giannessi, F., and Maugeri,A., Variational inequalities and Network Equilibrium
Problems, Plenum Press, New York, 1995.
[7] Glowinski, R., Lions, J.L., and Trémolières, R., Numerical Analysis of Variational
inequalities, North-Holland, Amsterdam, 1981.
[8] Harker, P.T., and Pang, J.S., Finite-dimensional variatioal inequalities and comple-
mentarity problems: a survey of theory, algorithms and applications, Math. Pro-
gramming 48(1990), 161-220.
[9] Haubruge, S., Nguyen, V.H. and Strodiot, J.J., Convergence analysis and applica-
tions of the Glowinski-Le Tallec splitting method for finding a zero of the sum of
two maximal monotone operators, J. Optim. Theory Appl. 97(1998), 645-673.
[10] He, B., A class of projection and contraction methods for monotone variational
inequalities, Appl. Math. Optim., 35(1997), 69-76.
[11] He, B., A class of new methods for monotone variational inequalities, Preprint,
Institute of Mathematics, Nanjing University, Nanjing, China, 1995.
[12] Hyres, D.H., Isac, G. and Rassias,Th. M., Topics in Nonlinear Analysis and Appli-
cations, World Scientific Publications, Singapore, 1997.
[13] Kinderlehrer, D. and Stampacchia, G., An introduction to Variational Inequalities
and Their Applications, Academic Press, New York, (1980).
[14] Li, H.G., A nonlinear inclusion problem involving (α, λ)-NODM set-valued mappings
in ordered Hilbert space , Appl. Math. Lett. 25, 2012, 1384-1388.
[15] Li, H.G., Pan, X.B., Deng, Z.Y., Wang, C.Y., Solving frameworks involving (γG, λ)-
weak-GRD set-valued mappings in positive Hilbert spaces, Fixed Point Theory Appl.
, 2014.
SOLVING WIENER-HOPF EQUATION INVOLVING XOR-OPERATION 159
[16] Mosco, U., Implicit variational prolems and quasi-variational inequalities, in, Non-
linear Operators and the Calculus of Variations, Lecture Notes Math. No. 543,
Springer-Verlag, Berlin, (1976), 83-126.
[17] Noor, M. A., Wiener-Hopf equations and variational inequalities, J. Optim. Theory
Appl. 79(1993), 197-206.
[18] Noor, M. A., Sensitivity analysis for quasi variational inequalities, J. Optim. Theory
Appl. 95(1997), 399-407.
[19] Pang, J.S., and Ralph, D., Piecewise smoothness, local invertibility and parametric
analysis of normal maps, Math. Opers. Research 21(1996), 401-426.
[20] Pitonyak, A., Shi, P., and Shillor, M., On an iterative method for variational in-
equalities, Numer. Math. 58(1990), 231-242.
[21] Robinson, S. M., Normal maps induced by linear transformations, Math. Opers.
Research 17(1992), 691-714.
[22] Robinson, S. M., Newton’s Method for a class of nonsmooth functions, Set-Valued
Analysis 2(1994), 291-305.
[23] Robinson, S. M., Nonsingularity and symmetry for linear normal maps, Math. Pro-
gramming 62(1993), 415-425.
[24] Robinson, S. M., Sensitivity analysis of variational inequalities by normal maps
techique, in: Variational Inequalities and Network Equilibrium Problems(eds. F.
Giannessi and A. Maugeri), Plenum Press, New York, (1995),257-269.
[25] Sellami, H.,and Robinson, S.M., Implementation of a continuous method for normal
maps, Math. Programming 76(1997), 563-578.
[26] Shi, P., Equivalence of variational inequalities with Wiener-Hopf equations, Proc.
Amer. Math. Soc. 111(1991), 339-346.
[27] Shi, P., An iterative method for obstacle problem via Green’s functions, Nonlinear
Analysis 15(1990), 339-344.
Rais Ahmad
Department of Mathematics
Aligarh Muslim University, Aligarh 202002, India.
E-mail: [email protected]
The Mathematics Student ISSN: 0025 - 5742
Vol. 93, Nos. 1-2, January - June (2024), 160 - 172
RICHARD D. CARMICHAEL
(Received: 25 - 08 - 2023; Revised 25 - 02 - 2024)
1. Introduction
2. Volume of a CN Shell
r = αecot(β)θ (1)
as in reference [1]. Here α > 0 and β, 0 < β < π/2, are arbitrary but fixed
real constants. As α and β appropriately vary as fixed constants, different
logarithmic spirals are sketched in the plane. Since we take β, 0 < β < π/2,
then the cotangent of β is greater than 0, cot(β) > 0, and the logarithmic
spiral is outward or a counter clockwise spiral. As the constant α > 0
increases the associated spiral expands. For a fixed constant α > 0 the
fixed constant β, 0 < β < π/2, is the angle between the radial line outward
from the origin of the spiral (center of the plane) and the tangent lines to
each associated spiral (for all points on the spirals corresponding to the fixed
α > 0) with the view of the angle from above the spiral. (We emphasize
that the angle β will be determined by the contour of the nautilus shell.
In a given logarithmic spiral the angle β is constant at all points on the
spiral; see [2, problem 37, p. 784] and [1]. For a fixed value of α, different
values of β can occur for different logarithmic spirals. See the sketches in
[1].) See reference [1] for various sketches of logarithmic spirals associated
162 RICHARD D. CARMICHAEL
with given specific values of α and β. See also sketches in many articles
noted previously that can be obtained on-line.
Before beginning the description of our process to calculate the volume
of the CN shell we suggest that the reader note the illustrations given at
the end of this paper after the references; these illustrations will be helpful
in the visualization of the descriptions of our process. In the discussion that
follows in this paper Illustration I refers to the second sheet of illustrations
after the references; Illustration II refers to the third sheet of illustrations;
Illustration III refers to the fourth sheet of illustrations. The first sheet
of illustrations presents a summary of Illustrations I, II, and III. Also we
suggest that the reader note the picture of the nautilus shell in reference [3]
if possible. This picture clearly displays the spiral form of the nautilus shell,
the form of the constructed chambers, and the relationship of the boundary
of the shell in relation to the spirals.
Using the model of equation (1) for logarithmic spiral we now obtain
an approximation of the volume of the CN shell. To begin our process to
calculate the volume first we visualize a line (curved line or arc) starting
at the spiral origin of the CN shell and proceeding through the spirals at
the center of the spirals until reaching the end of the chambers (Illustration
I). Another manner to visualize this curved line (or arc) is to cut the shell
in half thus displaying the logarithmic spiral nature of the CN shell. The
curved line (or arc) previously described is equivalently obtained by again
starting at the spiral origin of one-half of the CN shell and following the
spiral of the shell through the center of the spiral structure until reaching
the end of the last one-half chamber. This curved line (or arc) is then a
logarithmic spiral against the plane face of the cutaway of the one-half of
the CN shell. Let (r, θ) be the polar coordinates of this plane face of the
cutaway of the shell. Thus for the described curved line (or arc), which is
a logarithmic spiral, there is a fixed real number α > 0 and a fixed real
number β, 0 < β < π/2, such that the curved line (or arc) is given in
(r, θ) form on the plane face as equation (1). A given CN shell could have
numerous spirals of 2π radians each before the end of the shell is reached.
We call the positive integer n to be the number of spirals of 2π radians
each of the CN shell; thus the θ variable in the equation (1) will vary over
0 ≤ θ ≤ 2πn. The opening at the end of the CN shell is approximately
circular in nature; we approximate this ending as a circle of radius fixed
WHAT IS THE VOLUME OF THE CHAMBERED NAUTILUS SHELL ? 163
R > 0 (Illustration I). This circular opening at the end of the CN shell is
where the nautilus emerges.
The question now is how to put all of this information together con-
cerning the logarithmic spiral r = αecot(β)θ , 0 ≤ θ ≤ 2πn, with α > 0 and
β, 0 < β < π/2, both fixed and with the positive integer n fixed and with
the fixed radius R > 0 at the end of the spirals in order to compute the
volume of the CN shell. Envision the boundary of the winding chambers
as they are constructed on top of the previous chamber as a type of clay
or putty. By the construction of the CN shell in the form of a spiral, if
the chambers are unwound (Illustration II) and the object is placed upright
with the circular opening of the shell at the bottom and the spiral origin at
the top, the resulting object is approximately a right circular cone (Illus-
tration III). We know that the volume V of such a cone is V = (π/3)q 2 h
where q is the radius of the base and h is the height of the cone.
Before proceeding with the visualization of the resulting right circular
cone in the preceding paragraph let us further describe the process to "un-
wind" the chambers in order to obtain a right circular cone as stated in the
preceding paragraph. To visualize this process let us "unwind" the logarith-
mic spiral that defines the shape of the CN shell and that is a line (curved
line or arc) starting at the spinal origin of the CN shell and proceeding
through the chambers at the center of the chambers until reaching the end
of the chambers. This line (curved line or arc) is a logarithmic spiral which
we assume as above to be an outward spiral or a counter clockwise spiral.
Assume now that we have such a spiral which is constructed from flexible
and bendable wire. Place the wire on a plane surface and fix the end point
of the wire that coincides with the spinal origin of the curved line. Now
grasp the other end of the wire and turn the end in the clockwise direction
on the plane surface until all of the spirals are "unwound" (Illustration II);
the result will be a straight line wire with one end at the spinal origin and
the other end coinciding with the tip end of the spiral. This is the exact
process to "unwind" the chambers of the CN shell as described in the pre-
ceding paragraph. (The spinal origin of the CN shell corresponds to the
spinal origin of the curved line. The opening end of the CN shell corre-
sponds to the other end of the wire that is to be grasped.) When the CN
shell is "unwound" by clockwise rotation parallel to a plane the resulting
object will be approximately a right circular cone with the spinal origin as
164 RICHARD D. CARMICHAEL
the tip of the cone and the circular end of the CN shell as the base of the
cone (Illustration III).
Let us now proceed in our analysis of the relationship between the CN
shell and the right circular cone. In the present case the radius of the base
of our constructed approximate cone from the CN shell is the above stated
fixed R > 0, the radius of the opening at the end of the CN spirals as noted
above (Illustrations I and III). The height of our constructed approximate
cone from the CN shell is the arc length of the above described logarithmic
spiral curved line of form (1) for the fixed α > 0 and fixed β, 0 < β < π/2,
with 0 ≤ θ ≤ 2πn for a fixed positive integer n. That is, in transforming the
CN shell to the approximate right circular cone as described, the described
logarithmic spiral becomes the height line of the cone (Illustrations I and
III). This height line has length equal to the arc length of the logarithmic
spiral following the middle of the chambers from the spiral origin to the end
of the chambers of the CN shell as described above (Illustrations I and III).
(The spirals of the boundary of a CN shell will not be smooth like that of
the boundary of a right circular cone. Thus in transforming the CN shell to
the cone by the unwinding process as described above we call the resulting
object an approximate cone. The resulting object will be in the shape of a
right circular cone, and the volume of the resulting object will be a close
approximation to the volume of the CN shell. Thus we use the formula
for the volume of a right circular cone below to approximate the volume of
the resulting cone like object and hence of the CN shell.) h The arc length
of the above described logarithmic spiral of form (1) can be computed by
calculus using, for example, the integral formula in [2, p. 740] or [4, p. 697]
for arc length in polar coordinates. Thus the height h of our constructed
approximate cone from the CN shell can be computed as follows and is the
arc length of the described logarithmic spiral r = αecot(β)θ , 0 ≤ θ ≤ 2πn,
where α > 0 and β, 0 < β < π/2, and the positive integer n are fixed for
the specific CN shell. We have from [2, p. 740] or [4, p. 697]
WHAT IS THE VOLUME OF THE CHAMBERED NAUTILUS SHELL ? 165
Z 2πn
dr 2 1/2
h = arc length = (r2 + ( ) ) dθ (2)
0 dθ
Z 2πn
= (α2 e2cot(β)θ + α2 (cot(β))2 e2cot(β)θ )1/2 dθ
0
Z 2πn
= (α2 e2cot(β)θ (1 + (cot(β))2 ))1/2 dθ
0
Z 2πn
2 1/2
= α(1 + (cot(β)) ) ecot(β)θ dθ
0
α(1 + (cot(β))2 )1/2 2πncot(β)
= (e − 1).
cot(β)
Thus the volume V of a given CN shell having logarithmic spiral form
r = αecot(β)θ for fixed α > 0 and β, 0 < β < π/2; having positive integer
n spirals of 2π radians each; and having an approximate circle of radius
R > 0 at the end (or base) of the spirals is thus approximately
3. Computation Examples
Comparing the first two spirals we have β = 1.4 radians is the same for
both , but α = 1.2 is larger than α = 0.8 for the second spiral. For the
same β, as α increases the associated spiral expands as we have mentioned
before; hence the volume in the associated CN shell expands as α increases
for the same β. Because of this the radius at the end of the CN shell gets
larger as α increases for the same number n of 2π radian revolutions. This
is the reason for choosing R = 7 cm for the first spiral and R = 6 cm for the
second spiral. The volume for the associated first CN shell is larger than
that for the second associated CN shell for the same n = 4 revolutions of
2π radians each. (For each of the three sets of values for α, β, n, and R
the corresponding spiral is the mid line for the corresponding CN shell as
described before.)
In comparing the second and third spirals, α = 0.8 in each whereas
β = 1.4 radians in the second spiral while β = 1.45 radians in the third
spiral. When β increases for the same α value the spirals are compressed (or
flattened) and the amount of volume in the associated CN shell is decreased.
Seen otherwise, as the angle β decreases for the same α the tangent lines to
the spiral have increasing positive slope which creates larger volume in the
CN shell. For this reason R = 5 cm was chosen corresponding to β = 1.45
radians while R = 6 cm was chosen corresponding to β = 1.4 radians for the
same number n = 4 revolutions of 2π radians each. The volume of the CN
shell corresponding to the second spiral is larger than that corresponding
to the third spiral for the same n = 4 revolutions of 2π radians each.
In comparing the first spiral with the third spiral, the first spiral has the
advantage for larger volume of the CN shell in both the value of α and the
value of β as seen in the commentary of the previous two paragraphs. Thus
the volume of the associated CN shell for the first spiral would naturally be
168 RICHARD D. CARMICHAEL
much larger than that for the third spiral for the same number of 2π radian
revolutions in each.
References
[1] Allen, Ashley. Mathematical modeling of the nautilus shell, Undergrad-
uate Mathematics Exchange 1, No. 1 (2003), 21 - 23.
https://digitalresearch.bsu.edu/2021/02/Mat./mathexchange(Vol.1,No.1)
[2] Anton, H., Bivens, I., Davis, S. Calculus, 7th ed., John Wiley and Sons,
2002.
1. Introduction
and geometric, the survival function g(t) always satisfies g(0) = 1. A time
scale is said to be periodic with period ω > 0 if whenever t ∈ T, t + ω ∈ T.
We say that T is n-periodic with periods ω1 , . . . ωn > 0 if whenever t ∈ T
and m1 , . . . , mn ∈ N0 ,
Xn
t+ mj ωj ∈ T.
j=1
With multiple periods in play, there is the possibility that some of the
periods will have common multiples. We say that two periods ω1 and ω2
are commensurable if ω1 /ω2 ∈ Q; otherwise, ω1 and ω2 are said to be non-
commensurable.
The main problem with the memoryless property on time scales is the
potential for lacuna in the time scale itself. That is, t, s ∈ T does not
imply that t + s ∈ T. A number of alternative memoryless properties have
been introduced, including those by Poulsen et al. [?, Definition V.2], and
Matthews [?, Definition 34]. The definition by Poulsen et al. is pertinent
to this paper:
g(ω1 )n1 g(ω2 )n2 . If we choose g(ω1 ) ∈ (0, 1), then what re-
strictions are forced upon the value of g(ω2 )?
They conjectured that g(ω2 ) = g(ω1 )ω2 /ω1 is necessary because of the mem-
oryless property (1.5) together with the non-commensurability of ω1 and
ω2 , but did not prove it. We have taken up that task and shown it to be
true. We also explore a few other related questions.
g(m2 ω2 ) = g(m1 ω1 ),
g(ω2 )m2 = g(ω1 )m1 ,
g(ω2 ) = g(ω1 )m1 /m2 ,
g(ω2 ) = g(ω1 )ω2 /ω1 ,
Proof. The discussion before the theorem proves that g(ωj ) = g(ω1 )ωj /ω1 .
It must be shown that g(t) = g(ω1 )t/ω1 for all t ∈ T. To that end, suppose
that t = nj=1 mj ωj . By (1.5),
P
n
Y
g(t) = g(0) g(ωj )mj
j=1
n
Y
= g(ω1 )ωj mj /ω1 (2.2)
j=1
−1 Pn
= g(ω1 )ω1 j=1 ωj mj
= g(ω1 )t/ω1 ,
which completes the proof.
using the property (1.5). We then graphed g(t), assigning the color orange
to a point ti if g increased from the previous point in the time scale (thus
indicating that g fails to be non-increasing, and so cannot be a survival
function). Several of these graphs are below:
These graphs appear to indicate that when g(ω2 ) is not the conjectured
value, different “threads” appear in the graph. When g(ω1 ) and g(ω2 ) are
closer a similar phenomenon occurs, though it is more subtle and it can
take longer for the first increasing value to appear.
√
Figure 3. g(ω1 ) = 0.9; g(ω2 ) ≈ 0.9 5 . This is the conjec-
tured value for g(ω2 ). The graph appears to be non-
increasing.
satisfies (1.5) on T, then the survival function g(t) of the random variable
satisfies g(ω2 ) = g(ω1 )ω2 /ω1 .
ω2
Proof. By way of contradiction, assume g(ω2 ) 6= g(ω1 ) ω1 . For x∈ {nω1 |n ∈
1 x 1 y
N0 }, g(x) = g(ω1 ) ω1 and similarly for y = mω2 , g(y) = g(ω2 ) ω2 .
ω2 1 1
Since g(ω2 ) 6= g(ω1 ) ω1 , g(ω1 ) ω1 6= g(ω2 ) ω2 . We now have need of the
following lemma:
Lemma 3.2. Let 0 < a < b < 1 and consider the curves ax and bx
∗
on [0, ∞). Let G(x) = x∗ − x, where x∗ is such that bx = ax . Then
limx→∞ G(x) = ∞ monotonically.
Since 0 < a < b < 1, ln a < ln b < 0. This implies that ln a/ ln b > 1, hence,
= ∞,
We now know that for a 2-periodic time scale T, whether or not a period
is commensurable or non-commensurable with ω1 , it must be the case that
g(ωj ) = g(ω1 )ωj /ω1 . Thus we have the following extension of Corollary 2.3:
Proof. The proof follows from Theorems 2.1 and 3.1; each period is consid-
ered individually in terms of its relationship to ω1 . Each of them, whether
commensurable or non-commensurable, must satisfy g(ωj ) = g(ω1 )ωj /ω1 .
Using a similar argument as that in Theorem 2.2 (i.e., the progression (2.2)),
this implies that for every element t ∈ T, g(t) can be expressed in terms of
g(ω1 ) alone.
180 ROBERT J. NIICHEL, SCOTT FERRELL, AND CONNOR JOKERST
Robert J Niichel
Department of Computer Science and Mathematics
Fairmont State University,
Fairmont, WV, USA
E-mail: [email protected]
Scott Ferrell
Shawnee State University
Connor Jokerst
Lindenwood University
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 181–190
AJIT BARMAN
(Received : 13 - 09 - 2023 ; Revised : 04 - 04 - 2024)
1. Introduction
and C1 , C2 and λ are arbitrary real constants and is the Tensor products.
1
4. Cases of Einstein-Weyl:- If C1 = 1, C2 = − n−2 , λ 6= 0 in equa-
tion (1.1), then the generalized Ricci soliton equation is known as Cases of
Einstein-Weyl.
The General relativity given by Einstein’s equation [9] of the lower form
of flow is as follows:
1 ∗
S(X, Y ) − rsc g(X, Y ) + λ∗cc g(X, Y ) = κ∗gc T (X, Y ),
2
where rsc∗ is the scalar curvature, T (X, Y ) is the energy-momentum tensor
of type (0, 2), λ∗cc is the cosmological constant and κ∗gc is the gravitational
constant. Einstein’s equation gave the equation without the cosmological
constant as follows:
1 ∗
S(X, Y ) − rsc g(X, Y ) = κ∗gc T (X, Y ). (1.3)
2
We now present a brief description of two energy-momentum tensor fields.
1
T (X, Y ) = g(X, Y ) − F (X, Y ). (1.4)
4
(ii) Perfect fluids :- The energy-momentum tensor describes a Perfect
fluid [6] if
∗
T (X, Y ) = (σed + p∗ip )A(X)A(Y ) + p∗ip g(X, Y );
∗
σed + p∗ip 6= 0; σed
∗
> 0, (1.5)
∗ is the energy density and p∗ is the isotropic pressure of the fluid.
where σed ip
184 AJIT BARMAN
Theorem 2.1. For killing equations and equation for homothetes, the gen-
eralized Ricci soliton does not exist in Einstein manifolds whenever the vec-
tor field is a conformal killing vector field.
Proof. Combining equation (1.1) and equation (1.2), the resulting represen-
tation is
b
(ρ∗ + C1 U1∗ − λ)
S(X, Y ) = g(X, Y ). (2.4)
C2
The proof of Theorem is completed.
S(X, Y ) = 0. (2.5)
That means the Ricci tensor of the generalized Ricci soliton is flat, for cases
of Einstein-Weyl, metric projective structures with skew-symmetric Ricci
tensor in projective class and Vacuum near-horizon geometry equation. The
Theorem has proven.
Proof. Since every Ricci flat manifold is locally Ricci symmetric and every
locally Ricci symmetric manifold is Ricci-semi-symmetric.
Using the above analysis and Theorem 2.2, we can be written the The-
orem 2.5.
∗
LV g(X, Y ) = −2C1 X1b (X) X1b (Y ) + (C2 rsc + 2λ)g(X, Y )
+2C2 κ∗gc T (X, Y ), (3.1)
∗
LV g(X, Y ) = −2C1 X1b (X) X1b (Y ) + (C2 rsc + 2λ + 2C2 κ∗gc p∗ip )g(X, Y )
+2C2 κ∗gc (σed
∗
+ p∗ip )A(X)A(Y ),(3.3)
∗ 1
LV g(X, Y ) = −2C1 X1b (X) X1b (Y ) + (C2 rsc + 2λ + C2 κ∗gc
2
+2C2 κ∗gc p∗ip )g(X, Y ) + 2C2 κ∗gc (σed
∗
+ p∗ip )A(X)A(Y )
−2C2 κ∗gc F (X, Y ), (3.4)
{p∗ip + σed
∗
A(W1 ) + p∗ip A(W1 )}A(Y ) = 0. (3.7)
188 AJIT BARMAN
∗
[1 + A(W1 )]p∗ip
σed =− , (3.8)
A(W1
∗ = σ ∗ (p∗ )).
which is a barotropic equation (σed ed ip
The proof of the Theorem is completed.
Theorem 3.4. If the dust-matter field of a perfect fluid lies in the general-
ized Ricci soliton of the energy-momentum tensor without the cosmological
constant, then the non-zero 1-form of the perfect fluid with the corresponding
vector field is positive.
∗ > 0, then equation (3.8) will be
Proof. Since σed
A(W1 )
p∗ip < .
1 + A(W1 )
For the dust matter field p∗ip = 0, the above equation is A(W1 ) > 0.
The Theorem has proven here.
4. Example
M = {(X ∗ , Y ∗ , V ∗ ) ∈ R3 },
where (X ∗ , Y ∗ , V ∗ ) are the standard coordinates in R3 . Let’s consider
3 vector fields on M as follows;
∂ ∗ ∂ ∂
E∗1 = E ∗−2V ∗
, E∗2 = ∗
, E∗3 = .
∂X ∂Y ∂V ∗
Define a Riemannian metric g by g(E∗i , E∗j ) = 0 for i 6= j, 1 ≤ i, j ≤ 3
and g(E∗i , E∗i ) = −1. Thus, the vector fields (E∗1 , E∗2 , E∗3 ) have formed
an orthonormal vector field set which is the basis of M .
Then we obtain
T as follows
References
[1] Barman, A., Some properties of a semiconformal curvature tensor on a Riemannian
manifold, The Mathematics Student 91(2022), 201-208.
[2] Barman, A., Spacetime classification by Ricci soliton and Gradient Ricci soliton,
Palestine Journal of Mathematics 12(2023), 361-365.
[3] Duggal, K. L. and Sharma, R., Symmetries of spacetimes and Riemannian manifolds,
Springer-Science Business media, 1999, pages 46, 61-63.
[4] Erken, I. K., Yamabe solitons on three-dimensional normal almost paracontact met-
ric manifolds, Periodica Mathematica Hungarica 2019.
[5] Hamilton, R. S., The Ricci Flow on Surfaces, Contemporary Mathematics 71(1988),
237-261.
[6] Hawking, S. W. and Ellis, G. F. R., The large scale structure of spacetime, Cam-
bridge University Press, Cambridge, 1973.
[7] Mondal, C. K. and Shaikh, A. A., On Ricci solitons whose potential is convex, Proc.
Indian Acad.Sci. (Math. Sci.) 130(55)(2020), 1-7.
[8] Nurowski, P. and Randall, M., Generalized Ricci Solitons, The Journal of Geometric
Analysis 26(2016), 1280-1345.
[9] O’Neill, B., Semi-Riemannian geometry with applications to relativity, Academic
Press, pages-79, 221, 223.
[10] Ozen, F. Z., m-projecttively flat spacetimes, Math. Reports 14(2012), 363-370.
[11] Yano, K., Integral formulas in Riemannian geometry, Marcel Dekker, New York,
1970.
AJIT BARMAN
Department of Mathematics
Ramthakur College
P.O.:- A. D. Nagar-799003
Agartala, Dist- West Tripura
Tripura, India.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 191–199
ANISH GHOSH
1. Introduction
×2 : x → 2x mod 1.
Here we write the circle additively as T = R/Z and denote by B its Borel
sigma algebra. The idea is to iterate this map and study the resulting
dynamics. It turns out that the dynamics is quite rich, namely this map
is a classical example of what one would call a “chaotic" system. It has
periodic points, i.e. points which return to themselves after finitely many
iterations, as well as points with dense orbits. In fact, it is an easy exercise
to check that there are 2n −1 points of period n and moreover that the set of
periodic points is dense in T. A periodic orbit is an example of an invariant
set. A subset X of T is said to be invariant under ×2 if ×2 (X) ⊂ X.
There are many (closed) invariant subsets for such maps. For instance, the
circle is invariant, as is a periodic orbit. A more interesting example is the
MATHEMATICS OF HILLEL FURSTENBERG 193
This expansion is unique (except for a countable set of numbers which have
two). If we take x ∈ [0, 1] with base n expansion x = 0.x1 x2 x3 . . . then
×n (x) = 0.x2 x3 x4 . . . . Let Σ = {0, . . . , n − 1}N denote the set of sequences
of elements in {0, . . . , n − 1}. On this space, we define the shift map as
follows:
σ((x1 , x2 , x3 , . . . )) = (x2 , x3 , . . . ).
In other words, σ takes as input a sequence in Σ and outputs another se-
quence obtained by removing the first element of the input sequence and
shifting the remaining elements one place to the left. The base n expan-
sion connects our circle map to the shift in the following natural manner.
Consider the map φ : Σ → [0, 1] given by
x1 x2 x3
φ((x1 , x2 , . . . )) = + 2 + 3 + ...
n n n
We can think of φ as a map from Σ to T by identifying 0 and 1 and it
provides us with a semi-conjugacy between the circle map ×n and the shift
σ. This means that φ ◦ σ = ×n ◦ φ. Moreover, φ is onto and 1 − 1.3 The
upshot is that one can try and understand the dynamics of a complicated
system like (T, ×n ) using a (hopefully) easier dynamical system (Σ, σ) via
the semi-conjugacy φ.
We now turn to the ergodic theory of the doubling map. A map T :
T → T is called a measure-preserving transformation if
2For the purposes of our discussion, one can similarly consider the × map for any integer
n
n ≥ 2.
3provided of course, that one ignores a countable subset of sequences.
194 ANISH GHOSH
One could ask how many ergodic measures a dynamical system has? Is it
possible to list them? As the reader might have guessed already, it turns out
that the ×2 map has infinitely many (in fact uncountably many) ergodic
measures.
Let us now consider two maps together, say ×2 and ×3 . We have seen
that each of them has many invariant subsets. Are there any subsets of T
which are jointly invariant under both? In other words, do expansions in
base 2 and base 3 have anything in common? The answer is provided in a
beautiful theorem of Furstenberg which can be found in his seminal work
[3]. Two integers p, q > 1 are multiplicatively independent if they are not
both rational powers of a single integer, i.e. log p/ log q ∈
/ Q. For instance,
2 and 3 are multiplicatively independent but 4 and 8 are not. Then Sp,q be
the semigroup of the natural numbers defined as follows
topological as well as the measure theoretic setting. We will not go into the
precise definition here but remark that it can be thought of as the opposite
of isomorphism in some sense. Furstenberg showed that dynamical systems
with many periodic points are disjoint from those which have the property
that every orbit is dense.
What about measure theoretic rigidity? This turns out to be deeper and
more subtle than the topological question. Furstenberg made the following
influential conjecture in the same paper.
Theorem 3.2. (van der Waerden 1927): Let k and r be given. There
exists a number N = N (k, r) such that if the integers in [1, N ] are coloured
196 ANISH GHOSH
The first non-trivial case of the conjecture is the case k = 3 which was
settled by Roth [12] using analytic methods, namely exponential sums. The
case k = 4 was then settled by Szemerédi before he went on to settle the
general case. Szemerédi’s proof is based on intricate combinatorial methods.
Subsequently, an analytic proof was found by Gowers [7] in a significant
breakthrough.
Furstenberg [4] in 1977 gave a new, completely different proof of Sze-
merédi’s theorem using ergodic theory and thereby introduced a new branch
of mathematics called ergodic Ramsey theory. The main idea in Fursten-
berg’s proof is to translate the problem into dynamics via the Furstenberg
correspondence principle. What is the dynamical system to consider? It
turns out to be the symbolic system considered above. Namely, Fursten-
berg’s multiple recurrence theorem applied to a Bernoulli shift implies Sze-
merédi’s theorem. For a beautiful discussion of these topics, I refer the
reader to Furstenberg’s article [6] and his book [5]. Furstenberg’s work has
had very far reaching consequences and it’s influence can be seen in diverse
important breakthroughs in the area including, for instance, the Green-Tao
theorem which states that the primes4 contain arbitrarily long non-trivial
arithmetic progressions. We refer the reader to [9] and [16] for an overview
of the many exciting recent developments, many of which can be traced
back to this seminal paper of Furstenberg.
I’ll end this article with a beautiful problem that Furstenberg has posed
on many occasions in recent times and has to do with the interaction be-
tween Diophantine approximation and dynamics on homogeneous spaces of
Lie groups. The study of Diophantine approximation deals with the approx-
imation of real numbers by rational numbers. This is an ancient subject
with connections to many branches of mathematics and the sciences. Yet
many basic questions in the area remain unanswered and pose a funda-
mental challenge to modern mathematics. In particular, understanding the
Diophantine properties of individual numbers is a very difficult problem in
general. A basic and indispensable tool in this regard is the continued frac-
tion expansion of a real number. We point the reader to [8] for a classic
exposition. We all know from our school days that 22/7 is a good approxi-
mation for π. In fact, every real number has a continued fraction expansion.
For example, the one for π is
This article presents the tip of the iceberg as far as Furstenberg’s math-
ematical achievements are concerned. Thanks to giants like Furstenberg,
who have devoted a lifetime to developing and nurturing mathematics at
the very highest level, Israel is now the centre of the world as far as ergodic
theory is concerned. As a mathematician from a developing country, with
some understanding of the serious issues and difficulties involved in such
matters, this amazing achievement fills me with admiration.
Acknowledgement: This article is an expanded version of a talk I first
gave at the Bangalore Probability Seminar. I am grateful to the organizers
of the seminar for the invitation to give the talk. I thank C.S. Aravinda for
his kind invitation to write this article, and for his patience as I subjected
the deadline to a particularly chaotic dynamical system.
MATHEMATICS OF HILLEL FURSTENBERG 199
References
[1] Boshernitzan, Michael D. Elementary proof of Furstenberg’s Diophantine result.
Proc. Amer. Math. Soc. 122 (1994), no. 1, 67–70.
[2] Furstenberg, Harry On the infinitude of primes. Amer. Math. Monthly 62 (1955),
353.
[3] Furstenberg, Harry Disjointness in ergodic theory, minimal sets, and a problem in
Diophantine approximation. Math. Systems Theory 1 (1967), 1–49.
[4] H. Furstenberg, Ergodic behaviour of diagonal measures and a theorem of Szemerédi
on arithmetic progressions, J. Analyse Math. 31 (1977), 204–256.
[5] Furstenberg, H. Recurrence in ergodic theory and combinatorial number theory. M.
B. Porter Lectures. Princeton University Press, Princeton, N.J., 1981. xi+203 pp.
[6] Furstenberg, Harry Poincaré recurrence and number theory. Bull. Amer. Math. Soc.
(N.S.) 5 (1981), no. 3, 211–234.
[7] Gowers, W. T. A new proof of Szemerédi’s theorem. Geom. Funct. Anal. 11 (2001),
no. 3, 465–588.
[8] Khinchin, A. Ya. Continued fractions. The University of Chicago Press, Chicago,
Ill.-London 1964 xi+95 pp.
[9] Kra, Bryna. The Green-Tao Theorem on arithmetic progressions in the primes: an
ergodic point of view. Bull. Amer. Math. Soc. (N.S.) 43 (2006), 3–23
[10] Lindenstrauss, Elon Rigidity of multiparameter actions. Probability in mathematics.
Israel J. Math. 149 (2005), 199–226.
[11] Lindenstrauss, Elon Equidistribution in homogeneous spaces and number theory.
Proceedings of the International Congress of Mathematicians. Volume I, 531–557,
Hindustan Book Agency, New Delhi, 2010.
[12] Roth, Klaus Friedrich. On certain sets of integers. Journal of the London Mathe-
matical Society. 28 (1): 104–109.
[13] Sargent, Oliver; Shapira, Uri Dynamics on the space of 2-lattices in 3-space. Geom.
Funct. Anal. 29 (2019), no. 3, 890–948.
[14] Szemerédi, Endre. On sets of integers containing no k elements in arithmetic pro-
gression. Acta Arithmetica. 27: 199–245.
[15] Waldschmidt, Michel Open Diophantine problems. Mosc. Math. J. 4 (2004), no. 1,
245–305, 312.
[16] Ziegler, Tamar Linear equations in primes and dynamics of nilmanifolds. (English
summary) Proceedings of the International Congress of Mathematicians-Seoul 2014.
Vol. II, 569–589, Kyung Moon Sa, Seoul, 2014.
Anish Ghosh
School of Mathematics
Tata Institute of Fundamental Research
Mumbai, 400005, INDIA
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 200–212
S.G. DANI
1. Introduction
Proposition 1.1. Let θ be as above. Then for any z and w in S1 and > 0
there exists a natural number k such that |T k (z) − w| < .
on the complement of the arc, and also to similar functions with respect to
the complementary arc.
Before going to the proof of the above, for continuous functions, we
formulate a notion of uniform distribution of orbits in a general dynamical
system. Let (X, T ) be a dynamical system and let x ∈ X. Let C(X)
denote the space of all bounded continuous complex-valued functions on
X. The orbit of x is said to be uniformly distributed if for any f ∈ C(X)
the sequence k1 k−1 j
P
j=0 f (T x) converges as k → ∞ and the limit is positive
for all non-negative functions f ∈ C(X) for which f (x) > 0; if cf is the
limit of the sequence for f ∈ C(X), then the function I : C(X) → C
defined by I(f ) = cf will be called the asymptotic integral corresponding
to the (uniformly distributed) orbit. We note that a point whose orbit is
uniformly distributed in this sense is necessarily recurrent. It may however
not be dense in the whole space; the latter will be ensured if the invariant
integral is positive for all nonzero non-negative functions in C(X). By the
Lebesgue integral on S1 we mean the function I : C(S1 ) → C defined by
setting, for f ∈ C(S1 ), I(f ) to be the right hand side of 2.1. Our claim
above can now be restated as follows:
Proof: We have to show that (2.1) holds for all continuous functions on
S1 .
First consider any function of the form f (z) = z m , where m ∈ Z − (0).
Then
k−1 k−1
1X 1X z m 1 − eikmθ
f T j (z) = eijmθ z m = ,
k k k 1 − eimθ
j=0 j=0
where the denominator in the last term is non-zero since mθ is not a multiple
of 2π. As k → ∞ the right hand side clearly tends to 0, which is the same
as the Lebesgue integral of the function z → z m . Also equation (2.1)
evidently holds for all constant functions. It follows therefore that equation
(2.1) holds for all trigonometric polynomials, namely functions of the form
Pn m
m=−n am z , where n is any positive integer and am , −n ≤ m ≤ n,
are complex numbers. Now let f ∈ C(X) and > 0 be arbitrary. By the
Weierstrass approximation theorem there exists a trigonometric polynomial
204 S.G. DANI
ϕ such that |f (x) − ϕ(x)| < 3 for all x ∈ X. Then
k−1 k−1
1X j 1X
f (T (z)) − ϕ(T j (z)) < /3.
k k
j=0 j=0
Since equation (2.1) holds for ϕ in the place of f and since |I(f )−I(ϕ)| < 3 ,
this implies that k1 k−1 j
P
j=0 f T (z) − I(f ) < for all large k, I being the
Lebesgue integral. Since is arbitrary this means that equation (2.1) holds
for f . This completes the proof.
For any real number t we denote by hti the fractional part of t, namely
the unique s ∈ [0, 1) such that t = s + n for some integer n. A sequence
{tj } in R is said to be uniformly distributed mod 1 if for any interval (a, b)
contained in (0, 1)
1
j | 1 ≤ j ≤ k and < tj >∈ (a, b) → (b − a),
k
as k → ∞; here | · | stands for the cardinality.
Proof: follows immediately from Proposition 2.1 and the fact that for
t ∈ R and a, b ∈ (0, 1), hti ∈ (a, b) if and only if e2πit belongs to the arc
{e2πis | a < s < b} in S1 .
We mention the following interesting consequence of the Corollary 2.2.
Let {dj } be the sequence formed by taking the leading digit in the (usual)
expression for 2j in base 10; d1 = 2, d2 = 4, d3 = 8, d4 = 1, d5 = 3, · · · . How
frequently will we see the digit 1 in this sequence? Specifically this question
would mean the following: if we count the number of 1’s in {d1 , . . . , dk }
and divide it by k to get the average, will the ratio have a limit as k tends
to infinity and if so what is the limit? The answer is that it indeed tends
to log10 2; so we will see 1’s a little over 30% of the time if we follow the
sequence long enough. This readily follows from the above corollary 2.2
applied to α = log10 2.
The rotations as above form a rather special class of dynamical systems
and such ‘neat’ behaviour does not occur in general. However a large class
of dynamical systems come close to having such properties in some weak
ways and some results of this kind constitute an important theme in ergodic
CERTAIN DYNAMICAL SYSTEMS RELATED TO NUMBER THEORY 205
The two results together imply in particular that any dynamical system
on a compact second countable space admits recurrent points. This may
not hold on non-compact spaces; this is again illustrated by the example
X = R and T (x) = x + 1 for all x ∈ R, for which there are no recurrent
points.
We note that in general the set of points where the convergence holds
is a proper subset and depends on the function f .
Given a dynamical system (X, T ), a T -invariant measure on X is said to
be ergodic if for any Borel subset E such that T −1 (E) = E either µ(E) =
0 or µ(X − E) = 0. The condition means that the system can not be
‘partitioned’ in to two measure-theoretically nontrivial parts. Typically
finer and finer partitions into invariant sets may be possible.
In general the class of ergodic invariant measures of a dynamical system
can be large, and even uncountable. A general T -invariant measure µ such
that µ(X) = 1 can be expressed, in a certain canonical way, as a ‘continuous
sum’ (or ‘integral’) or ergodic invariant measures each with total measure
1.
It is not difficult to deduce that if µ as in the hypothesis of Birkhoff’s
ergodic theorem is an ergodic T -invariant measure and µ(X) = 1, then the
R
limit in the conclusion coincides with X f dµ for µ-almost all points. To-
gether with the results recalled above one can deduce from this the following
result about uniformly distributed orbits.
Theorem 3.2. Let (X, T ) be a dynamical system and suppose that X has a
countable base. Let µ be a T -invariant measure on X such that µ(X) < ∞.
Then for µ-almost all x the orbit of x is uniformly distributed. If µ is ergodic
then the associated integral is the integral corresponding to µ, for µ-almost
all x.
The above discussion shows that in some sense ‘most’ orbits in a general
dynamical system on a compact second countable space behave like those
of the rotations of the circle. In many problems, especially those related to
CERTAIN DYNAMICAL SYSTEMS RELATED TO NUMBER THEORY 207
Proposition 4.1. Let the notation be as above. Then all orbits are uni-
formly distributed. If there do not exist any integers k1 , . . . , kn with at least
one kj nonzero such that nj=1 kj θj is a multiple of π, then the asymptotic
P
integral corresponding to the orbits is the integral with respect to the product
1
measure λ × λ × . . . × λ, where λ is 2π times the angle measure on S1 .
There exist dense orbits if and only if the preceding condition holds and in
that case all orbits are dense.
Unlike in the one-dimensional case where the systems are either peri-
odic or have all orbits dense, in higher dimensions there are ‘intermediate’
possibilities, where the closure of the orbit could be a finite union of tori
of some intermediate dimension. Using the above Proposition 4.1 one can
get the following result on simultaneous Diophantine approximation with
linear forms; we recall that by a linear form on Rn one means a function
P
of the form L(x1 , . . . , xn ) = aj xj for all x1 , . . . , xn ∈ R, where a1 , . . . , an
are real constants (coefficients).
Corollary 4.4. (H. Weyl) Let P (t) = nj=0 aj tj be a polynomial with real
P
|Q(p1 , · · · , pn ) − α| < .
210 S.G. DANI
(3) M. Bachir Bekka and Matthias Mayer, Ergodic theory and topo-
logical dynamics of group actions on homogeneous spaces. London Math-
ematical Society Lecture Note Series, 269. Cambridge University Press,
Cambridge, 2008.
(4) Manfred Einsiedler and Thomas Ward, Ergodic theory with a view
towards number theory, Graduate Texts in Mathematics, 259. Springer-
Verlag London, Ltd., London, 2011.
I would also suggest the following paper, giving a proof of the Oppen-
heim conjecture (Theorem 12 above) involving relatively little background.
(5) Shrikrishna G. Dani, On the Oppenheim conjecture on values of
quadratic forms. Essays on geometry and related topics, Vol. 1, 2, 257–270,
Monogr. Enseign. Math., 38, Enseignement Math., Geneva, 2001.
S.G. Dani
UM-DAE Centre for Excellence in Basic Sciences
University of Mumbai Campus, Santracruz
Mumbai 400098, INDIA
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 213–215
DINESH S. THAKUR
1. Introduction
The first two chapters of [HW75], my first and fond interaction with
number theory, give several proofs of the infinitude of primes together with
lower bounds for the prime counting function π(x) (being the number of
primes ≤ x) arising from making the proofs constructive. For example, the
Euclid’s argument producing a new prime as a divisor of p1 · · · pn + 1, or the
relative primality of Fermat numbers argument gives the lower bound (es-
sentially) log log(x) and a little more sophisticated proof [HW75, Sec. 2.6]
(parts credited to Euler 1737 and Erdos 1938) gives log(x)/ log(4) lower
bound.
The author has not seen these simple arguments anywhere in the liter-
ature, and hopes that they might still be of some interest.
(1) Since positive integers are made up of primes, we see (without even
using unique factorization into primes) that, for s, x > 1,
2010 Mathematics Subject Classification: 11N05, 11A41
Key words and phrases: Primes, Euler product
x+1
(x + 1)1−s
Z
1 dx X 1 Y 1
− = s
≤ s
≤ (1 − s )−1
1−s 1−s 1 x n p
n≤x p≤x
Y 1 −1 e 1/ts
P 1−s
≤ (1 − ) ≤ e ≤ ee((π(x)+1) /(1−s)−1/(1−s)) .
ts
2≤t≤π(x)+1
p √
With 1 − s = e/ log(x), we get π(x) + 1 ≥ (1 + e) log(x)/e , for large x.
C + n`1 (n) − n + (3/2)`1 (n) + `2 (P ) > `1 (n!) + `1 (n) + `2 (P ) > n`3 (x).
References
[HW75] G. H. Hardy and E. M. Wright. Introduction to the theory of numbers, The
English Language Book Society and Oxford University Press (1975), 4th edition.
Dinesh S. Thakur
Department of Mathematics
University of Rochester
Rochester, NY 14627, USA.
E-mail: [email protected]
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos. 1-2, January - June (2024), 216–224
PROBLEM SECTION
In the Mathematics Student, volume 92(3-4) 2023, we had invited solutions
for Problems 5, 6 from MS 92(1-2) 2023 and for the eight new problems of
MS 92(3-4) 2023 till February, 2024.
We have received solutions to Problems 5, 6 of MS 92 (1-2) 2023 by Dr.
Andrés Ventas, Santiago de Compostela, Spain; these problems were pro-
posed by Dr. Anup Dixit, The Institute of Mathematical Sciences, India.
For the new problems from MS 92(3-4) 2023, we have received solutions for
Problems 1, 3, 4, 5. Problem 1 was suggested by Dr. Shpetim Rexhepi and
Dr. Ilir Demiri, Mother Teresa University, North Macedonia and the solu-
tion was provided by Dr. Henry Ricardo, Westchester Area Math Circle,
New York, USA. Problems 2-5 were proposed by Dr. B. Sury, Indian Sta-
tistical Institute, India and Problems 6-8 were proposed by Dr. Chudamani
Pranesachar Anil Kumar, KREA University, India. We didn’t receive any
solutions for Problems 2, 6, 7, 8. Below we present the solutions received
based on the recommendations of the proposers and the experts. We ap-
preciate the contributions from the proposers and sincerely acknowledge all
solutions received from the readers.
First we present new problems for this volume. We invite solutions for
these and for problems 2, 6, 7, 8 of MS 92 (3-4) 2023 from the readers
till September 30, 2024. Correct solutions received by this date will be
published in volume 93 (3-4) 2024 of The Mathematics Student, which is
scheduled to be published in October 2024.
New Problems
Problems 1-3. are proposed by Dr. Chudamani Pranesachar Anil
Kumar, KREA University, India.
Show that | T0 |=| T1 |= · · · =| Tm−1 |, that is, the sets Ti have equal
cardinality for 0 ≤ i ≤ m − 1 and find this cardinality.
(Type 1) , (Type 2)
T = {n ∈ Z | gcd(n , pi ) = 1, 1 ≤ i ≤ l} = {. . . < a−2 < a−1 < a0 < a1 < a2 < . . .}.
Find all triangles with vertices A = (0, 0), B = (4, 3) and C = (u, v) where
u, v are integers and AB, AC have integer lengths.
Given the following two constants defined by continued fractions with all
their coefficients repeated, one with a positive sign, the Golden Section,
ϕ = [1, 1, 1, 1, · · · ], and the other with a negative sign, the Pena Trevinca
constant, τ ,
1
τ =3−
1
3−
1
3−
3 − ···
Prove that τ = ϕ + 1.
Solution: (by Dr. Henry Ricardo, Westchester Area Math Circle, New
York, USA).
We use the Cauchy-Schwarz inequality in the form
n
ai2 ( ni=1 ai ) 2
X P
≥ Pn (1)
bi i=1 bi
i=1
Now we have
Pn−1 2 n−1
i=1 d1 (xi , xi+1 )
X d12 (xi , xi+1 )
=
1 + d2 (x1 , xn ) + n 1 + d2 (x1 , xn ) + n
i=1
P 2
n−1
(1) i=1 d 1 (x i , xi+1 )
≥
(n − 1) + (n − 1)d2 (x1 , xn ) + n(n − 1)
(2) d12 (x1 , xn )
≥ .
(n − 1) 1 + n + n−1
P
i=1 d2 (xi , xi+1 )
Start with a unit square. To its right, adjoin a square of unit area. Then,
we have a rectangle of base 2 and height 1. Now, adjoin a rectangle on
top of the earlier one which has the same base (2 in this case) and area 1.
Thus, the new rectangle would have height 1/2. In this manner,
recursively adjoin rectangles to the right and on the top to the previous
one, each time with unit area as in the figure.
Find the limit of the ratio of the base to the height of the large rectangle
formed at each stage as n → ∞.
We start with a rectangle with base 2 and height 1. Next we build a small
rectangle on top of this with base 2 and area 1. So its height must be 1/2.
Now the new larger rectangle has base 2 and height 3/2 = 1 + 1/2. Next
we construct a small rectangle on the side of the new large rectangle so
that the area of this small rectangle is 1; hence its base must be equal to
the inverse of 3/2, which is 2/3. Thus the base of the new larger rectangle
at this stage is equal to 2 + 2/3. Next we construct a small rectangle on
top of this with area 1 and calculate the height of the new larger
rectangle. So
height of the large rectangle = height of the large rectangle two stages before
+ inverse of the base of the previous large rectangle.
n!!
. Thus we have an = , with n even for the base and n odd for the
(n − 1)!!
an
height. We need to calculate lim . For which, we need the Stirling
n→∞ an−1
222 PROBLEMS SECTION
asymptotic approximation,
√πn n
n/2
, if n is even,
e
n!! ∼
√ n n/2
2n
, if n is odd.
e
Using the above we calculate,
√ n n/2
πn
e
√ n n/2 √ n n/2 2
an 2n πn
lim = lim √ e n/2 = lim √ e n/2 2
n→∞ an−1 n→∞ n n→∞ n
2n 2n
e e
√ n n/2
πn
e
n n
πn π
= lim ne n = .
n→∞
2n 2
e
1 1
Thus, our geometric series has a = and r = .
2 4
X 1 1/2 2
Inf{f (x) : x ∈ [0, 1)} = 2n−1
= = .
2 1 − 1/4 3
n∈2n−1
Proposer’s Notes:
(1) In addition to the two nice solutions above, the following third
solution is due essentially to Brian Scott.
Consider a basis B of the Q-vector space R/Q. Map B bijectively
onto R and extend it Q-linearly to a surjection from R/Q to R.
Composing this surjection with the natural quotient map from R
to R/Q of Q-vector spaces, one has a function f : R → R with the
asserted property.
(2) For Conway’s base-13 function, readers may also refer to an article
by A. Ayyer, B. Sury entitled John Horton Conway,
224 PROBLEMS SECTION
I, M. M. Shikare, the General Secretary of the IMS, hereby declare that the par-
ticulars given above are true to the best of my knowledge and belief.
M. M. Shikare
Dated: May 15, 2024 Signature of the Publisher
Published by Prof. M. M. Shikare for the Indian Mathematical Society, type set
by Prof. G. P. Youvaraj, Former Director and Head, Ramanujan Institute for Ad-
vanced Study in Mathematics, Chepauk, Chennai - 600005, India and printed by
Dinesh Barve at Parashuram Process, Shed No. 1246/3, S. No. 129/5/2, Dalvi-
wadi Road, Barangani Mala, Wadgaon Dhayari, Pune 411 041 (India).
Printed in India
The Mathematics Student ISSN: 0025-5742
Vol. 93, Nos.1-2, January - June (2024)
EDITORIAL BOARD
G. P. Youvaraj (Editor-in-Chief)
Ramanujan Institute for Advanced Study in Mathematics
University of Madras, Chennai- 600 005, Tamil Nadu, India
E-mail : [email protected]
Bruce C. Berndt George E. Andrews
Dept. of M athematics, U niversity Dept. of M athematics, T he P ennsylvania
of Illinois 1409 W est Green St. State U niversity, U niversity P ark
U rbana, IL 61801, U SA P A 16802, U SA
E − mail : [email protected] E − mail : [email protected]
M. Ram Murty B. Sury
Dept. of M athematics and Statistics T heoretical Stat. and M at. U nit
Jef f ery Hall, Queens U niversity Indian Statistical Institute
Kingston, Ontario, K7L3N 6, Canada Bangalore 560059, India
E − mail : [email protected] E − mail : [email protected]
Siddharth Gadgil Gadadhar Misra
Indian Institute of Science Indian Statistical Institute
Bangalore − 560012, India Bangalore − 560059, India
E − mail : [email protected] E − mail : [email protected]
Sukanta Pati Atul Dixit
IIT Guwahati IIT Gandhinagar
Guwahati 781039, Assam, India Gandhinagar − 382355, Gujarat, India
E − mail : [email protected] E − mail : [email protected]
S. K. Tomar Aparna Dar
P anjab U niversity IIT Kanpur
Chandigarh − 160014, India Kanpur − 208016, U.P., India
E − mail : [email protected] E − mail : [email protected]
Clare D0 Cruz L. Sunil Chandran
Dept. of M athematics, CM I Dept. of Computer Science&Automation
IT P ark P adur P.O., Siruseri Indian Institute of Science
Kelambakkam − 603103, T.N., India Bangalore − 560012, India
E − mail : [email protected] E − mail : [email protected]
Subhojoy Gupta T. S. S. R. K. Rao
Indian Institute of Science M anipalU niversity
Bangalore − 560012, India M Jaipur 303007, Rajasthan, India
E − mail : [email protected] E − mail : [email protected]
Kaushal Verma C. S. Aravinda
Dept. of M athematics T IF R Centre f or Applicable M athematics
Indian Institute of Science P. B. N o. 6503, GKV K P ost Sharadanagara
Bangalore − 560012, India Chikkabommasandra, Bangalore − 560065, India
E − mail : [email protected] E − mail : [email protected]
Indranil Biswas Timothy Huber
School of M athematics, T ata Institute School of M athematics and statistical Sciences
of F undamental Research, Homi Bhabha U niversity of T exas Rio Grande V alley, 1201
Rd., M umbai − 400005, India W est U niv. Avenue, Edinburg, T X78539 U SA
E − mail : [email protected] E − mail : [email protected]
Debjani Chakrabory Safique Ahmad
Department of M athematics Department of M athematics
IIT Kharagpur, Kharagpur 721302, India IIT Indore, Indore 452020, India
E − mail : [email protected] E − mail : [email protected]
T. Raja Sekhar
Department of M athematics
IIT Kharagpur, Kharagpur 721302, India
E − mail : [email protected]
THE INDIAN MATHEMATICAL SOCIETY
Founded in 1907
Registered Office: Center for Advanced Study in Mathematics
Savitribai Phule Pune University, Pune - 411007