Mathametica
Mathametica
4/2015
STUDIA
UNIVERSITATIS BABEŞ-BOLYAI
MATHEMATICA
4/2015
EDITORIAL BOARD OF
STUDIA UNIVERSITATIS BABE Ş -BOLYAI MATHEMATICA
EDITORS:
Radu Precup, Babeş-Bolyai University, Cluj-Napoca, Romania (Editor-in-Chief)
Octavian Agratini, Babeş-Bolyai University, Cluj-Napoca, Romania
Simion Breaz, Babeş-Bolyai University, Cluj-Napoca, Romania
Csaba Varga, Babeş-Bolyai University, Cluj-Napoca, Romania
BOOK REVIEWS:
Ştefan Cobzaş, Babeş-Bolyai University, Cluj-Napoca, Romania
TECHNICAL EDITOR:
Georgeta Bonda, Babeş-Bolyai University, Cluj-Napoca, Romania
YEAR (LX) 2015
MONTH DECEMBER
ISSUE 4
STUDIA
UNIVERSITATIS BABEŞ-BOLYAI
MATHEMATICA
4
Redacţia: 400084 Cluj-Napoca, str. M. Kogălniceanu nr. 1
Telefon: 0264 405300
CONTENTS
ℵ1-A-coseperable groups
Ulrich Albrecht
1. Introduction
Let A be an Abelian group with endomorphism ring E = E(A). Associated with
A are the functors HA (.) = Hom(A, .) and TA (.) = . ⊗E A which induce natural
maps θG : TA HA (G) → G and φM : M → HA TA (M ) defined by θG (α ⊗ a) = α(a)
and [φM (x)](a) = x ⊗ a for all α ∈ HA (G), x ∈ M and a ∈ A. The A-solvable
groups are the Abelian groups G such that θG is an isomorphism. Finally, a sequence
0 → G → H → L → 0 of Abelian group is A-balanced if the induced sequence
0 → HA (G) → HA (H) → HA (L) → 0 of right E-modules is exact
An important class of A-solvable groups are the (finitely) A-projective groups,
i.e. groups which are isomorphic to a direct summand of ⊕I A for some (finite) index-
set I. Finitely A-projective groups are always A-solvable [8], and the same holds for
arbitrary A-projective groups [9] if A is self-small, i.e. if HA preserves direct sums of
copies of A. Arnold and Murley showed in [9, Corollary 2.3] that a countable Abelian
group is self-small if and only if E is countable.
Epimorphic images of A-projective groups are called A-generated, but need not
be A-solvable. It is easy to see that a group G is A-generated if and only if θG is onto.
Moreover, if A is self-small, then a group G is A-solvable if and only if there is an
A-balanced exact sequence 0 → U → F → G → 0 in which F is A-projective and U
is A-generated [3]. Finally, G is A-torsion-free if every finitely A-generated subgroup
of G is isomorphic to a subgroup of a finitely A-projective group, and an A-generated
subgroup U of an A-torsion-free group G is A-pure if (U + P )/U is A-torsion-free for
all finitely A-generated subgroups P of G. If A is flat as an E-module, then A-torsion-
free groups are A-solvable [4]. We want to remind the reader that a right E-module M
494 Ulrich Albrecht
0 −−−−→ P −−−−→ F.
Therefore, HA (TorR
1 (M, A)) = 0 for all right R-modules M .
+
If M is torsion-free, then it is isomorphic to a submodule of QM = Q ⊗Z M . Since
TorR R
1 (QM, A) is torsion-free and divisible, HA (Tor1 (QM, A)) = 0 is only possible if
TorR1 (QM, A) = 0. However, because E is right hereditary, we have the exact sequence
0 → TorR R R
1 (M, A) → Tor1 (QM, A) = 0, and Tor1 (M, A) = 0.
+
If M is torsion, then we select an exact sequence 0 → U → F1 → A → 0 in
which F1 is a free left E-module. It induces
0 = TorR R
1 (M, F1 ) → Tor1 (M, A) → M ⊗E V.
Since M ⊗E V is torsion, the same holds for TorR 1 (M, A). But, the latter also is
isomorphic to a subgroup of the torsion-free group TA (P ). Thus, TorR
1 (M, A) = 0.
496 Ulrich Albrecht
Proposition 2.3. Let R be a countable right non-singular ring which has finite right
Goldie-dimension. The S-closure of a countable submodule U of a non-singular right
R-module M is countable.
Corollary 2.4. The following conditions are equivalent for a self-small torsion-free
Abelian group A whose endomorphism ring is right hereditary:
a) E is right Noetherian.
b) An A-generated subgroup U of a finitely A-projective group G is finitely A-
projective.
In view of the results of this section, we assume from this point on that A is a
self-small torsion-free group with a right Noetherian right hereditary endomorphism
ring. Huber and Warfield showed in [16] that E is a right and left Noetherian ring
whenever A is a torsion-free reduced group of finite rank with a right hereditary
endomorphism ring. Moreover, no generality is lost if we restrict our discussion to
the case that κ is a regular cardinal because Shelah’s singular compactness theorem
applies to A-projective groups [2].
498 Ulrich Albrecht
3. ℵ1 -A-Coseparable Groups
Let κ > ℵ0 be a regular cardinal, and A be a torsion-free Abelian group with
|A| < κ. An A-projective subgroup U of an ℵ0 -A-projective group G is κ-A-closed
provided that (U + V )/U is A-projective for all κ-A-generated subgroups V of G. If
|U | < κ, then this is equivalent to saying that G/U is κ-A-projective. The group G
is strongly κ-A-projective if it is κ-A-projective and every κ-A-generated subgroup U
of G is contained in an κ-A-generated, κ-A-closed subgroup V of G. By [1], SA (AI )
is ℵ1 -A-projective, but not strongly ℵ1 -A-projective since ⊕I A is not an ℵ1 -A-closed
subgroup.
In the following we focus on the case κ = ℵ1 since we are mainly interested in
the algebraic aspects instead of the underlying set-theory. However, most results of
this section carry over to the general case. In order to avoid immediate difficulties,
we restrict our discussion to the case that A is countable.
Lemma 3.1. Let A be a self-small countable torsion-free group with a right Noetherian
right hereditary endomorphism ring.
a) If G is ℵ1 -A-projective, then G/U is ℵ1 -A-projective for all ℵ1 -A-closed sub-
groups U of G.
b) If G is strongly ℵ1 -A-projective, then G/U is strongly ℵ1 -A-projective for all
countable ℵ1 -A-closed subgroups U of G.
Proof. a) Let {φn |n < ω} ⊆ HA (G/U ). Since Σn<ω φn (A) is countable, there is a
countable subgroup K of G such that Σn<ω φn (A) ⊆ (K + U )/U . Because A is count-
able, we can choose K to be A-generated. Since U is ℵ1 -A-closed in G, the group
(K + U )/U is U -projective, and the same holds Σn<ω φn (A). Therefore, G/U is ℵ1 -
A-projective.
b) Let V /U be a countable A-generated subgroup of G/U . Without loss of gen-
erality, we may assume that V is A-generated. Then, V is contained in an ℵ1 -A-closed
subgroup W is a ℵ1 -A-closed subgroup of G. Since U is countable this means that
G/W is ℵ1 -A-projective. Since G/W ∼ = (G/U )/(W/U ) and G/U is ℵ1 -A-projective,
we obtain that G/U is strongly ℵ1 -A-projective.
An A-generated group G ℵ1 -A-coseparable if it is ℵ1 -A-projective and every A-
generated subgroup U of G such that G/U is countable contains a direct summand V
of G such that G/V is countable. Our next results describes ℵ1 -A-coseparable group.
Although our arguments follow the general outline of [13], significant modifications
are necessary in our setting.
Theorem 3.2. Let A be a self-small countable torsion-free group with a right Noether-
ian right hereditary endomorphism ring. A group G is ℵ1 -A-coseparable if and only if
G is A-solvable and every exact sequence
0→P →X→G→0
with P a direct summand of ⊕ω A and X A-generated splits.
Proof. Suppose that G is ℵ1 -A-coseparable, and consider an exact sequence
α β
0→P →X→G→0
ℵ1 -A-coseperable groups 499
is exact.
Corollary 3.3. Let A be a self-small countable torsion-free group with a right Noether-
ian right hereditary endomorphism ring.
a) Every ℵ1 -A-coseparable group W is an A-Whitehead group.
b) It is consistent with ZFC that there exists a strongly ℵ1 -A-projective group G
which is not ℵ1 -A-coseparable.
Let (P, ≤) be a partially ordered set satisfying the countable chain condition
(ccc). For every family D = {Dα | α < κ} of dense subsets of P , there is a directed
subset F of P such that F ∩ Dα 6= ∅ for all α, i.e. F is D-generic.
Martin’s axiom (MA) stipulates that MA(κ) holds for every κ < 2ℵ0 [13].
Theorem 4.1. (M A + ℵ1 < 2ℵ0 ) Let A be a self-small countable torsion-free group
with a right Noetherian right hereditary endomorphism ring. If G is a strongly ℵ1 -A-
projective group and 0 → U → ⊕I A → G → 0 is an A-balanced exact sequence such
that SA (U ) = U and |I| < 2ℵ0 , then the induced sequence
0 → Hom(G, B) → Hom(⊕I A, B) → Hom(G, B) → 0
is exact for all countable A-solvable group B.
Proof. We consider an A-balanced exact sequence 0 → U → ⊕I A → G → 0 where
U → ⊕I A is the inclusion map. Let P(U ) be the collection of A-generated A-pure
subgroups V of F = ⊕I A containing U such that V /U is finitely A-projective. Since
V is A-generated and A is faithfully flat, U is a direct summand of V by Corollary
2.2, say V = U ⊕ RV for some finitely A-projective group RV .
To show that the sequence Hom(⊕I A, B) → Hom(G, B) → 0 is exact whenever
B is a countable A-solvable group, let φ ∈ Hom(U, B), and consider
P = {(V, ψ) | V ∈ P(U ), ψ ∈ Hom(V, B), and ψ|U = φ}.
We partially order P by (V1 , ψ1 ) ≥ (V2 , ψ2 ) if and only if V2 ⊆ V1 and ψ1 |V2 = ψ2 .
Once we have shown that P and D = {D(J)|J ⊆ I finite} satisfy the hypotheses
of Martin’s Axiom, then we can find a D-generic directed directed subset F of P .
Define a map ψ : ⊕I A → B as follows. For x ∈ ⊕I A, choose a finite subset J of I
such that x ∈ ⊕J A. Since F is D-generic, there is (V, δ) ∈ D(J) ∩ F with x ∈ V .
Define ψ(x) = δ(x). Moreover, if (V1 , δ1 ) and (V2 , δ2 ) are two choices, then there
is (V3 , δ3 ) ∈ F such that (Vi , δi ) ≤ (V3 , δ3 ) for i = 1, 2 since F is directed. Thus,
δ1 (x) = δ3 (x) = δ2 (x).
The key towards showing that (P, ≤) satisfies the countable chain condition is
Theorem 4.2. Every uncountable subset P 0 of P contains an uncountable subset P 00
for which we can find an A-pure A-projective subgroup X of F containing U as a
direct summand such that V ⊆ X whenever (V, ψ) ∈ P 00 .
502 Ulrich Albrecht
Proof. We may assume that P 0 = {(Vν , ψν )|ν < ω1 }. Since U is a direct summand
of Vν , we obtain that HA (Vν /U ) ∼ = HA (Vν )/HA (U ) is a finitely generated right E-
module. In particular, it has finite right Goldie dimension since E is right Noetherian.
Therefore, no generality is lost if we assume that there is m < ω such that HA (Vν /U )
has Goldie dimension m for all ν < ω1 .
Let 0 ≤ k ≤ m be maximal with respect to the property that there exists an
A-pure A-projective subgroup T of F containing U such that HA (T /U ) has Goldie
dimension k and T is contained in uncountable many Vν . This k exists since U is the
choice for T in the case k = 0. Observe that T /U is A-solvable as an A-generated
subgroup of the A-solvable group G = F/U . Thus, 0 → U → T → T /U → 0 is
A-balanced, and HA (T /U ) ∼ = HA (T )/HA (U ) has finite Goldie-dimension and is non-
singular. Thus, it contains a finitely generated essential submodule. Since E is right
Noetherian and countable, any essential extension of a non-singular finite dimensional
right E-module is countable by Proposition 2.3. In particular, HA (T /U ) is countable,
and hence T /U ∼ = TA HA (T /U ) is countable. Since G is ℵ1 -A-projective, T /U is A-
projective, and T = U ⊕ W because A is faithfully flat by Corollary 2.2.
Suppose that T 0 is an A-generated subgroup of F containing T such that T 6= T 0 .
There exists α ∈ HA (T 0 ) with α(A) 6⊆ T . Since T is A-pure in F , we obtain T +α(A) =
T ⊕ C with C 6= 0. Thus, the Goldie-dimension of HA (T 0 ) is at least k + 1, and T 0 is
contained in only countably many of the Vν . No generality is lost if we assume that T
is contained in Vν for all ν. Since T is A-pure in F and Vν = U ⊕ RVν = T + RVν for
some finitely A-projective subgroup RVν of F , we obtain decompositions Vν = T ⊕Wν .
Observe that Wν is finitely A-projective.
We construct X as the union of a smooth ascending chain {Xν |ν < ω1 } of A-
pure A-projective subgroups of F containing T and an ascending chain of ordinals
{σν |ν < ω1 } such that Xν+1 /Xν is A-projective, Wσν+1 ⊆ Xν+1 , and Xν /U is an
image of ⊕ω A for all ν < ω1 . We set X0 = T , and Xα = ∪ν<α Xν if α is a limit
ordinal. Then, Xα /U is a countable subgroup of F/U , and hence A-projective. Set
σα = sup(σν |ν < α).
If α = ν + 1, then there exists a subgroup Cν of F containing Xν such that the
group Cν /U is an A-projective countable ℵ1 -A-closed subgroup of F/U since F/U is
strongly ℵ1 -A-projective. In particular, F/Cν ∼ = (F/U )/(Cν /U ) is A-solvable. Since A
is flat, Cν is A-generated by Theorem 2.1. If K is a countable A-generated subgroup
of F , then (K + U )/U is a countable subgroup of F/U . Hence,
(K + Cν )/Cν ∼
= [(K + Cν )/U ]/[Cν /U ]
is A-projective.
To construct σα , assume Wµ ∩ Cν 6= 0 for all µ > σν . Then,
Wµ /(Wµ ∩ Cν ) ∼
= (Wµ + Cν )/Cν
is A-projective by the last paragraph. Since A is faithfully flat, Wµ ∩Cν is A-generated,
and there is a map 0 6= αµ ∈ HA (Wµ ∩ Cν ) ⊆ HA (Cν ). Since Cν /U is a countable
subgroup of F/U , it is A-projective, and Cν = U ⊕ Pν since A is faithfully flat.
Observe that Pν is countable and A-projective. Write αµ = βµ + µ with βµ ∈ HA (U )
and µ ∈ HA (Pν ). Since E is countable, the same holds for HA (Pν ), and there is
ℵ1 -A-coseperable groups 503
∈ HA (Pν ) such that µ = for uncountably many µ. For all these µ, we have
(A) ⊆ Wµ + U ⊆ Vµ . Hence, T + (A) ⊆ Vµ for uncountably many µ. However, this
is only possible if (A) ⊆ T . But then, αµ (A) ⊆ T ∩ Wµ = 0, a contradiction.
Therefore, we can find an ordinal σα > σν with Cν ∩ Wσα = 0. In particular,
Xν ⊆ Cν yields Xν ∩ Wσα = 0. Let Y be the S-closure of
HA (Xν ⊕ Wσα ) = HA (Xν ⊕ HA (Wσα ) ⊇ HA (U )
in HA (F ) and let Xα = θF (Y ⊗ A) = Y A. As an A-generated subgroup of F , Xα is
A-solvable. Then, the inclusion Y ⊆ HA (Xα ) induces the commutative diagram
0 −−−−→ TA (Y ) −−−−→ TA HA (Xα ) −−−−→ TA (HA (Xα )/Y ) −−−−→ 0
oyθF |TA (Y ) oyθXα
1
YA
0 −−−−→ Y A −−− −→ YA −−−−→ 0
from which we get TA (HA (Xα )/Y ) = 0. Since A is faithfully flat, Y = HA (Xα ), and
HA (Xα )/[HA (Xν ) ⊕ HA (Wσα )] is singular.
Observe that Y /HA (U ) is the S-closure of [HA (Xν ) + HA (Wσα )]/HA (U ) in
HA (F )/HA (U ) because
HA (F )/Y ∼= [HA (F )/HA (U )]/[Y /HA (U )]
is non-singular and
Y /HA (Xν ⊕ Wσα ) ∼
= [Y /HA (U )]/[HA ((Xν ⊕ Wσα )/HA (U )]
is singular. Since F/U is A-solvable, and Xν /U is countable, HA (Xν )/HA (U ) is count-
able. Moreover, Wµ is finitely A-projective. Hence, the E-module HA (Wσα ) is count-
able too, and
[HA (Xν ) + HA (Wσα )]/HA (U )
is countable. Thus, Y /HA (U ) is an essential extension of a countable non-singular
right E-module. By Proposition 2.3, we obtain that Y /HA (U ) is countable. Thus,
there is a countable submodule Y 0 of Y with Y = Y 0 + HA (U ). Then Xα /U is
countable and Xα = Y 0 A + Xν , and. Consequently, Xα /U has to be A-projective,
and the same holds for Xα ∼ = Xα /U ⊕ U .
It remains to show that Xα /Xν is A-projective. For this, observe that the group
Xα /(Xα ∩ Cν ) =∼ (Xα + Cν )/Cν
is countable since it is an epimorphic image of (Xα +Cν )/U which is countable because
Xα and Cν /U are countable. Since Cν /U is ℵ1 -A-closed in F/U , we have that
Xα /(Xα ∩ Cν ) ∼
= [(Xα + Cν )/U ]/[Cν /U ]
is A-projective. Since A is flat, Xα ∩ Cν is A-generated as in Theorem 2.1. For τ in
HA (Xα ∩ Cν ), choose a regular element c ∈ E such that τ c ∈ HA (Xν ) ⊕ HA (Wσα ),
say τ c = β + γ for some β ∈ HA (Xν ) and γ ∈ HA (Wσα ). Then
γ = τ c − β ∈ HA (Wσα ) ∩ HA (Cν ) = 0.
Hence, τ c ∈ HA (Xν ). Since Xν is A-pure in F , we obtain τ ∈ HA (Xν ). Therefore,
HA (Xα ∩ Cν ) ⊆ HA (Xν ), and Xα ∩ Cν ⊆ Xν . Since Xν is contained in Xα and in
504 Ulrich Albrecht
is countable since HA (B) is countable as was shown in the first paragraph of the proof
and Jν is finite. Consequently, there are at most countably many different extensions
of φ to U ⊕ (⊕Jν ).
If there are only countably many different Jν ’s, then there is ν0 such that Jν0 =
Jµ for uncountable µ. Thus, there are µ1 and µ2 with Jν0 = Jµ1 = Jµ2 and λµ1 = λµ2 .
Thus, ψµ1 and ψµ2 have a common extension. Therefore, P 0 = {(Vν , ψν )|ν < ω1 }
cannot be an antichain. On the other hand, if there are uncountably many Jν ’s, then
we may assume without loss of generality that Jν 6= Jµ for µ 6= ν. Finally, we can
impose the requirement that all the Jν have the same order. Thus, Jν cannot be
contained in Jµ for µ 6= ν. Since (Vν , ψν ) ≤ (Vν ⊕ Xν , λν ), we may assume that
Vν = U ⊕ (⊕Jν Yj ) and λν = ψν .
There is a subset T of J which is maximal with respect to the property that
it is contained in uncountably many of the Jν . We may assume that T is actually
ℵ1 -A-coseperable groups 505
contained in all of the Jν . Observe that T is finite and a proper subset of all the Jν .
Otherwise, all the Jν would have to coincide with T since they have the same finite
order. Since Hom(⊕T Yj , B) ∼ = HomE (HA (⊕T Yj ), HA (B)) is countable by the Adjoint-
Functor-Theorem, there are uncountably many ψν which have the same restriction to
W = U ⊕ (⊕T Yj ). Without loss of generality, we may assume that this happens for
all ν.
Let j ∈ J0 \ T . The maximality of T guarantees that j is contained in only
countably many of the Jν . Since J0 \ T is finite, there is µ < ω1 with Jµ ∩ J0 = T .
The maps ψµ and ψ0 have a common extension σ : U ⊕ (⊕J0 ∪Jν Yj ) → B since they
coincide on W . Since U ⊕ (⊕J0 ∪Jν Yj ) is a direct summand of X, and X is A-pure in
F , we have that U ⊕ (⊕J0 ∪Jν Yj ) is A-pure in F . Because J0 ∪ Jν is finite,
(U ⊕ (⊕J0 ∪Jν Yj ), σ) ∈ P.
Thus,
(U ⊕ (⊕J0 ∪Jν Yj ), σ) ≥ (Vµ , ψµ ), (V0 , ψ0 ).
Consequently, P 0 cannot be an anti-chain.
For every finite subset J of I, let D(J) = {(V, ψ) ∈ P | ⊕J A ⊆ V }.
Proposition 4.4. P and D = {D(J)|J ⊆ I finite} satisfy the hypotheses of Martin’s
Axiom.
Proof. By Corollary 4.3, it remains to show that D(J) is dense in P . For this, let
(V, ψ) ∈ P . We have to find (W, α) ∈ P such that ⊕J A and V are contained in W
and α|V = ψ. Since V /U is finitely A-projective and G ∼ = F/U is strongly ℵ1 -A-
projective, there is a subgroup X of F containing V and ⊕J A such that X/U is a
ℵ1 -A-closed, A-projective countable subgroup of F/U . Since
[F/U ]/[X/U ] ∼
= F/X
is ℵ1 -A-projective, it is A-solvable by Theorem 2.1. Using the same result once more,
we obtain that the sequence 0 → X → F → F/X → 0 is A-balanced. In particular,
SA (X) = X and X is A-projective. Moreover,
HA (F )/HA (X) ∼ = HA (F/X) ∼ = HA ([F/U ]/[X/U ]) ∼
= HA (F/U )/HA (X/U )
since X in F and X/U in F/U are A-balanced by the faithful flatness of A. But the
latter is non-singular, since [F/U ]/[X/U ] is ℵ1 -Aprojective. Therefore, X is A-pure
in F .
Since the group X/U is A-projective, we have a decomposition X = U ⊕ P .
Hence, V = U ⊕ (V ∩ P ) and V ∩ P is finitely A-projective. In the same way,
(⊕J A) + U = U ⊕ [((⊕J A) + U ) ∩ P ]
yields that ((⊕J A) + U ) ∩ P is A-generated and an image of ⊕J A.
Therefore, ((⊕J A) + U ) ∩ P and V ∩ P are finitely A-projective subgroups of P . Thus,
HA (((⊕J A) + U ) ∩ P ) and HA (V ∩ P ) are finitely generated submodule of HA (P ).
Since E is right hereditary, HA (P ) is a direct sum of right ideals of E, which yields
that HA (((⊕J A) + U ) ∩ P ) and HA (V ∩ P ) are contained in a finitely generated
direct summand of HA (P ). Hence, there is a finitely A-projective summand D of P
506 Ulrich Albrecht
References
[1] Albrecht, U., Endomorphism rings and A-projective torsion-free Abelian Groups, Abelian
Group Theory, Proceedings Honolulu 1982/83, Springer Lecture Notes in Mathematics
1006, Springer Verlag, Berlin, New York, Heidelberg, 1983, 209-227.
[2] Albrecht, U., A-projective groups of large Cardinality, Abelian Group Theory and Mod-
ules, Proceedings Udine 1984, CISM Courses and Lectures 287, Springer Verlag, Wien,
New York, 1984, 233-243.
[3] Albrecht, U., Abelian groups A, such that the category of A-solvable groups is preabelian,
Contemporary Mathematics 87(1989), 117-131.
[4] Albrecht, U., Baer’s lemma and Fuchs’ problem 84a, Transactions of the American
Mathematical Society, 293(1986), 565-582.
[5] Albrecht, U., Endomorphism rings and a generalization of torsion-freeness and purity,
Communications in Algebra, 17(5)(1989), 1101-1135.
[6] Albrecht, U., Endomorphism rings, tensor products, and Fuchs’ problem 47, Warfield
Memorial Volume, Contemporary Mathematics, 130(1992), 17-31.
[7] Albrecht, U., A-Whitehead groups, accepted for publication in Studia UBB Math.
[8] Arnold, D.M., Lady, L., Endomorphism rings and direct sums of torsion-free Abelian
groups, Trans. Amer. Math. Soc., 211(1975), 225-237.
[9] Arnold, D.M., Murley, C.E., Abelian groups A, such that Hom(A,) preserves direct sums
of copies of A, Pac. J. Math., 56(1975), 7-20.
[10] Arnold, D. M., Finite Rank Torsion Free Abelian Groups and Rings, Lecture Notes in
Mathematics Vol. 931, Springer-Verlag Berlin-Heidelberg-New York, 1982.
[11] Chatters, A.W., Hajarnavis, C.R., Rings with Chain Conditions, Pitman, 1980.
[12] Corner, A.L.S., Every countable reduced torsion-free ring is an endomorphism ring, Proc.
London Math. Soc., 13(1963), 687-710.
[13] Eklof, P.C., Mekler, A.H., Almost Free Modules, Vol. 46, North Holland Mathematical
Library, 1990.
ℵ1 -A-coseperable groups 507
[14] Goodearl, K.R., Ring Theory, Pure and Applied Mathematics No. 33, Marcel Dekker,
New York-Basel, 1976.
[15] Göbel, R., Trilifaj, J., Approximations and Endomorphism Algebras of Modules, de
Gruyter Expositions in Mathematics 41, W. de Gruyter, Berlin - New York, 2006.
[16] Huber, M., Warfield, R.B., Homomorphisms between Cartesian powers of an Abelian
group, Lecture Notes in Mathematics, 874(1981), 202-227.
[17] Ulmer, F., A flatness criterrion in Groethendick categories, Inventiones Math., 19(1973),
331-336.
Ulrich Albrecht
Department of Mathematics
Auburn University
Auburn, AL 36849, U.S.A.
e-mail: [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 509–525
Abstract. In the paper, the authors introduce a new concept “(log, (α, m))-convex
functions on the co-ordinates on the rectangle of the plane” and establish some
new integral inequalities of Hermite-Hadamard type for (log, (α, m))-convex func-
tions on the co-ordinates on the rectangle from the plane.
Mathematics Subject Classification (2010): 26A51, 26D15, 26D20, 26E60, 41A55.
Keywords: Co-ordinates, (log, (α, m))-convex functions on co-ordinates, Hermite-
Hadamard’s inequality.
1. Introduction
The following definitions are well known in the literature.
This work was partially supported by the National Natural Science Foundation of China under
Grant No. 11361038 and by the Foundation of the Research Program of Science and Technology at
Universities of Inner Mongolia Autonomous Region under Grant No. NJZY14192 and by the Inner
Mongolia Autonomous Region Natural Science Foundation Project under Grant No. 2015MS0123,
China.
510 Bo-Yan Xi and Feng Qi
where
1 1
v1 = α+ α
(α + 1)(α + 2) 2
and 2
1 α +α+2 1
v2 = − α .
(α + 1)(α + 2) 2 2
Theorem 1.3 ([4, 5, Theorem 2.2]). Let f : ∆ = [a, b] × [c, d] be convex on the co-
ordinates on ∆ with a < b and c < d. Then
Z b
a+b c+d 1 1 c+d
f , ≤ f x, dx
2 2 2 b−a a 2
Z d
1 a+b
+ f ,y dy
d−c c 2
Z bZ d
1
≤ f (x, y) d y d x
(b − a)(d − c) a c
Z b Z b
1 1
≤ f (x, c) d x + f (x, d) d x
4 b−a a a
Z d Z d
1
+ f (a, y) d y + f (b, y) d y
d−c c c
1
≤ f (a, c) + f (b, c) + f (a, d) + f (b, d) .
4
For more information on this topic, please refer to [1, 2, 10, 11, 12, 13, 14, 15]
and closely related references therein.
In this paper, we will introduce a new concept “(log, (α, m))-convex function on
the co-ordinates” and establish some integral inequalities of Hermite-Hadamard type
for functions whose derivatives are of “co-ordinated (log, (α, m))-convexity”.
If the function f is co-ordinated (log, (α, m))-convex on [0, b] × [c, d], then, by
taking (α1 , m1 ) = (1, 1) and (α2 , m2 ) = (α, m) in Definition 1.7, we easily see that it
is also co-ordinated (1, 1)-(α, m)-convex on [0, b] × [c, d].
In order to prove our main results, we need the following lemma.
Lemma 2.1. Let f : ∆ = [a, b] × [c, d] ⊆ R2 → R have partial derivatives of the second
∂2f
order. If ∂x∂y ∈ L(∆), then
4 9f (a, c) − 3f (a, d) − 3f (b, c) + f (b, d)
S(f ) ,
(b − a)(d − c) 4
Z b Z d
1 1
− [3f (x, c) − f (x, d)] d x − [3f (a, y) − f (b, y)] d y
2(b − a) a 2(d − c) c
Z bZ d
1
+ f (x, y) d y d x
(b − a)(d − c) a c
Z 1Z 1
00
= (1 + 2t)(1 + 2λ)fxy (ta + (1 − t)b, λc + (1 − λ)d) d t d λ. (2.2)
0 0
22(1−1/q)
00 q
|S(f )| ≤ 7(3α + 4) fxy (a, c) + 7mα(2α
[6(α + 1)(α + 2)]1/q
q q 1/q
00 d 00 q 00 d
+ 3) fxy a, + 5(3α + 4) fxy (b, c) + 5m(2α + 3) fxy b, .
m m
Proof. By Lemma 2.1, Hölder’s integral inequality, the (log, (α, m))-convexity of
00 q
fxy , and the GA-inequality, we obtain
Z 1Z 1
00
|S(f )| ≤ (1 + 2t)(1 + 2λ) fxy (ta + (1 − t)b, λc + (1 − λ)d) d t d λ
0 0
Z 1 Z 1 1−1/q Z 1 Z 1
≤ (1 + 2t)(1 + 2λ) d t d λ (1 + 2t)(1 + 2λ)
0 0 0 0
1/q
00 q
× fxy f (ta + (1 − t)b, λc + (1 − λ)d) d t d λ
Z 1 Z 1
00 q
≤ 22(1−1/q) (1 + 2t)(1 + 2λ) λα fxy (a, c)
0 0
q t
00 d 00 q
+m(1 − λα ) fxy a, λα fxy (b, c)
m
q 1−t 1/q
α 00 d
+m(1 − λ ) fxy b, dtdλ
m
Z 1 Z 1
00 q
≤ 22(1−1/q) (1 + 2t)(1 + 2λ) tλα fxy (a, c)
0 0
514 Bo-Yan Xi and Feng Qi
q
α 00 d 00 q
+mt(1 − λ ) fxy a, + (1 − t)λα fxy (b, c)
m
q 1/q
d α 00
+m(1 − t)(1 − λ ) b, fxy
dtdλ
m
22(1−1/q)
00 q
= 7(3α + 4) fxy (a, c)
[6(α + 1)(α + 2)]1/q
q
00 b
+7mα(2α + 3) fxy ,c
m
q 1/q
00 q 00 b
+5(3α + 4) fxy (a, d) + 5m(2α + 3) fxy ,d .
m
This completes the proof of Theorem 3.1.
2. if α = 1, then
1 00 00 d
|S(f )| ≤ 49 fxy (a, c) + 35m fxy a,
36 m
00 00 d
+ 35 fxy (b, c) + 25m fxy b, ;
m
3. if m = α = 1, then
1h 00 00 00 00
i
|S(f )| ≤ 49 fxy (a, c) + 35 fxy (a, d) + 35 fxy (b, c) + 25 fxy (b, d) .
36
Corollary 3.1.3. Under the assumptions of Theorem 3.1,
1. if m = 1, then
22(1−1/q) h
00 q
|S(f )| ≤ 7(3α + 4) fxy (a, c)
[6(α + 1)(α + 2)]1/q
q 1/q
i
00 q 00 00 q
+ 7α(2α + 3) fxy (b, c) + 5(3α + 4) fxy (a, d) + 5(2α + 3) fxy (b, d) ;
Some new inequalities of Hermite-Hadamard type 515
2. if α = 1, then
q
4 00 q 00 b
|S(f )| ≤ 49 fxy (a, c) + 35m f xy , c
122/q m
q 1/q
00 q 00 b
+ 35 fxy (a, d) + 25m fxy ,d .
m
Theorem 3.2. Let f : R0 × R → R be a partial differentiable mapping on R0 × R and
00 b 00 q
fxy ∈ L1 ([a, m ] × [c, d]) for 0 ≤ a < b, c < d and some fixed m ∈ (0, 1]. If fxy is
b
co-ordinated (log, (α, m))-convex on [0, m ] × [c, d] for q > 1 and some α ∈ (0, 1] with
q ≥ r > −1, then
(2q−r−1)/(q−1) 1−1/q
(3 − 1)(q − 1)
|S(f )| ≤
2q − r − 1
1/q
1
× (2r3r+1 + 3r+1 + 1)
4(α + 1)(α + 2)(r + 1)(r + 2)
q
00 q 00 d
× (3α + 4) fxy (a, c) + mα(2α + 3) fxy a, + (3r+2 − 5
m
q 1/q
00 q 00 d
− 2r) (3α + 4) fxy (b, c) + m(2α + 3) fxy b, .
m
Proof. By Lemma 2.1, Hölder’s integral inequality, the (log, (α, m))-convexity of
00 q
fxy , and the well known GA-inequality, we obtain
Z 1Z 1
00
|S(f )| ≤ (1 + 2t)(1 + 2λ) fxy (ta + (1 − t)b, λc + (1 − λ)d) d t d λ
0 0
Z 1Z 1 1−1/q Z 1 Z 1
(q−r)/(q−1)
≤ (1 + 2t) (1 + 2λ) d t d λ (1 + 2t)r
0 0 0 0
1/q
00 q
×(1 + 2λ) fxy f (ta + (1 − t)b, λc + (1 − λ)d) d t d λ
1−1/q Z 1 Z 1
(3(2q−r−1)/(q−1) − 1)(q − 1)
≤ (1 + 2t)r (1 + 2λ)
2q − r − 1 0 0
q t
00 q 00 d
× λα fxy (a, c) + m(1 − λα ) fxy a,
m
q 1−t 1/q
00 q 00 d
× λα fxy (b, c) + m(1 − λα ) fxy b, dtdλ
m
(2q−r−1)/(q−1) 1−1/q Z 1 Z 1
(3 − 1)(q − 1)
≤ (1 + 2t)r
2q − r − 1 0 0
q
00 q 00 d
×(1 + 2λ) tλα fxy (a, c) + mt(1 − λα ) fxy a,
m
516 Bo-Yan Xi and Feng Qi
q 1/q
00 q 00 d
+(1 − t)λα fxy (b, c) + m(1 − t)(1 − λα ) fxy b, dtdλ
m
(2q−r−1)/(q−1) 1−1/q
(3 − 1)(q − 1)
=
2q − r − 1
1/q
1
× (2r3r+1 + 3r+1 + 1)
4(α + 1)(α + 2)(r + 1)(r + 2)
q
00 q 00 d
× (3α + 4) fxy (a, c) + mα(2α + 3) fxy a, + (3r+2 − 5
m
q 1/q
00 q 00 d
−2r) (3α + 4) fxy (b, c) + m(2α + 3) fxy b, .
m
The proof of Theorem 3.2 is complete.
2. if α = 1, then
(2q−r−1)/(q−1) 1−1/q 1/q
(3 − 1)(q − 1) 1
|S(f )| ≤
2q − r − 1 24(r + 1)(r + 2)
q
00 q 00 b
× (2r3r+1 + 3r+1 + 1) 7 fxy (a, c) + 5m fxy ,c
m
q 1/q
00 q 00 b
+ (3r+2 − 5 − 2r) 7 fxy (a, d) + 5m fxy ,d ;
m
Some new inequalities of Hermite-Hadamard type 517
3. if m = α = 1, then
(2q−r−1)/(q−1) 1−1/q 1/q
(3 − 1)(q − 1) 1
|S(f )| ≤
2q − r − 1 24(r + 1)(r + 2)
h i
00 q 00 q
× (2r3r+1 + 3r+1 + 1) 7 fxy (a, c) + 5 fxy (b, c)
h i1/q
00 q 00 q
+ (3r+2 − 5 − 2r) 7 fxy (a, d) + 5 fxy (b, d) .
q q 1/q
00 b 00 q 00 d
+mα fxy a, + fxy (b, c) + mα fxy b, .
m m
The proof of Theorem 3.3 is complete.
v−u ,
u 6= v,
L(u, v) = ln v − ln u
u, u = v.
Some new inequalities of Hermite-Hadamard type 519
Proof. Putting y = λc + (1 − λ)d for 0 ≤ λ ≤ 1 and using the (log, (α, m))-convexity
of f , we have
α α d
f (x, y) = f (x, λc + (1 − λ)d) ≤ λ f (x, c) + m(1 − λ )f x, (3.1)
m
for all (x, y) ∈ [a, b] × [c, d], t = 12 , and 0 ≤ λ ≤ 1.
Similarly, setting x = ta + (1 − t)b for 0 ≤ t ≤ 1 and using the (log, (α, m))-
convexity of f with 0 ≤ t ≤ 1 and λ = 12 in (2.1), we obtain
Z d
1 a+b α a+b y
+ α+1 f , y + m(2 − 1)f , dy
2 (d − c) c 2 2 m
Z d Z b
1 y
≤ 2α+1 f (x, y) + 2m(2α − 1)f x,
2 (b − a)(d − c) c a m
1/2
y y
+m2 (2α − 1)2 f x, 2 + f (x, y) + m(2α − 1)f x,
m m
1/2
y
× f (a + b − x, y) + m(2α − 1)f a + b − x,
m
1/2
y y
+m(2α − 1) f x, + m(2α − 1)f x, 2
m m
1/2
y α y
× f a + b − x, + m(2 − 1)f a + b − x, 2 dxdy
m m
Z d Z b
1 y
≤ 2α f (x, y) + 2m(2α − 1)f x,
2 (b − a)(d − c) c a m
y
+m2 (2α − 1)2 f x, 2 d x d y.
m
Proof. Using the (log, (α, m))-convexity of f , we have
a+b c+d 1 c+d
f , =f (ta + (1 − t)b + (1 − t)a + tb),
2 2 2 2
1/2
1 c+d c+d
≤ α f ta + (1 − t)b, + m(2α − 1)f ta + (1 − t)b,
2 2 2m
1/2
c+d c+d
× f (1 − t)a + tb, +m(2α − 1)f (1 − t)a + tb,
2 2m
for all t ∈ [0, 1].
Integrating on both sides of the above inequality on [0, 1], from the GA-
inequality, and by the (log, (α, m))-convexity of f , we reveals
Z 1
a+b c+d 1 c+d
f , = f (ta + (1 − t)b + (1 − t)a + tb), dt
2 2 0 2 2
Z 1 1/2
1 c+d α c+d
≤ α f ta + (1 − t)b, + m(2 − 1)f ta + (1 − t)b,
2 0 2 2m
1/2
c+d c+d
× f (1 − t)a + tb, +m(2α − 1)f (1 − t)a + tb, dt
2 2m
Z b 1/2
1 c+d c+d
= α f x, + m(2α − 1)f x,
2 (b − a) a 2 2m
1/2
c+d c+d
× f a + b − x, +m(2α − 1)f a + b − x, dx
2 2m
522 Bo-Yan Xi and Feng Qi
Z b
1 c+d α c+d
≤ α f x, + m(2 − 1)f x, dx
2 (b − a) a 2 2m
Z 1 Z b
1 1
= α f x, [λc + (1 − λ)d + (1 − λ)c + λd]
2 (b − a) 0 a 2
α 1
+m(2 − 1)f x, [λc + (1 − λ)d + (1 − λ)c + λd] d x d λ
2m
Z 1 Z b
1 (1 − λ)c + λd
≤ 2α f (x, λc + (1 − λ)d) + m(2α − 1)f x,
2 (b − a) 0 a m
λc + (1 − λ)d (1 − λ)c + λd
+m(2α − 1) f x, + m(2α − 1)f x, dxdλ
m m2
Z d Z b
1
= 2α f (x, y)
2 (b − a)(d − c) c a
y y
+2m(2α − 1)f x, + m2 (2α − 1)2 f x, 2 d x d y.
m m
Similarly, we obtain
Z 1
a+b c+d 1 a+b
f , ≤ α f , λc + (1 − λ)d
2 2 2 0 2
α a + b λc + (1 − λ)d
+m(2 − 1)f , dλ
2 m
Z d
1 a+b α a+b y
= α f , y + m(2 − 1)f , dy
2 (d − c) c 2 2 m
Z d Z 1 1/2
1 α y
≤ 2α f (ta + (1 − t)b, y) + m(2 − 1)f ta + (1 − t)b,
2 (d − c) c 0 m
1/2
y
× f ((1 − t)a + tb, y) + m(2α − 1)f (1 − t)a + tb,
m
1/2
α y α y
+m(2 − 1) f ta + (1 − t)b, + m(2 − 1)f ta + (1 − t)b, 2
m m
1/2
y y
× f (1 − t)a + tb, + m(2α − 1)f (1 − t)a + tb, 2 dtdy
m m
Z d Z b 1/2
1 y
= 2α f (x, y) + m(2α − 1)f x,
2 (b − a)(d − c) c a m
1/2
y
× f (a + b − x, y) + m(2α − 1)f a + b − x,
m
1/2
y y
+m(2α − 1) f x, + m(2α − 1)f x, 2
m m
1/2
y y
× f a + b − x, + m(2α − 1)f a + b − x, 2 dxdy
m m
Some new inequalities of Hermite-Hadamard type 523
Z d Z b
1 αy
≤ 2α f (x, y) + 2m(2 − 1)f x,
2 (b − a)(d − c) c a m
y
+m2 (2α − 1)2 f x, 2 d x d y.
m
The proof of Theorem 3.5 is complete.
Corollary 3.5.1. Under the conditions of Theorems 3.4 and 3.5, if m = 1, then
Z b 1/2
a+b c+d 1 1 c+d c+d
f , ≤ f x, f a + b − x, dx
2 2 2 b−a a 2 2
Z d
1 a+b
+ f ,y dy
d−c c 2
Z b Z d
1 1 c+d 1 a+b
≤ f x, dx + f ,y dy
2 b−a a 2 d−c c 2
Z dZ b
1
≤ f (x, y) d x d y
(b − a)(d − c) c a
Z b
1
f (x, c) + (2α − 1)f (x, d) d x
≤
2(α + 1)(b − a) a
Z d
1
+ L f (a, y), f (b, y) d y
2(d − c) c
Z b
1
f (x, c) + (2α − 1)f (x, d) d x
≤
2(α + 1)(b − a) a
Z d
1
+ f (a, y) + f (b, y) d y
4(d − c) c
1 n
L f (a, c), f (b, c) + (2α − 1)L f (a, d), f (b, d)
≤
2(α + 1)
o
+ f (a, c) + f (b, c) + (2α − 1) f (a, d) + f (b, d)
1 n o
f (a, c) + f (b, c) + (2α − 1) f (a, d) + f (b, d) .
≤
2(α + 1)
If m = α = 1, then
Z b 1/2
a+b c+d 1 1 c+d c+d
f , ≤ f x, f a + b − x, dx
2 2 2 b−a a 2 2
Z d
1 a+b
+ f ,y dy
d−c c 2
Z b Z d
1 1 c+d 1 a+b
≤ f x, dx + f ,y dy
2 b−a a 2 d−c c 2
Z dZ b
1
≤ f (x, y) d x d y
(b − a)(d − c) c a
524 Bo-Yan Xi and Feng Qi
Z b Z d
1 1
≤ f (x, c) + f (x, d) d x + L f (a, y), f (b, y) d y
4(b − a) a 2(d − c) c
Z b Z d
1 1 1
≤ f (x, c) + f (x, d) d x + f (a, y) + f (b, y) d y
4 b−a a d−c c
1 n
≤ f (a, c) + f (a, d) + f (b, c) + f (b, d)
4
o
+L f (a, c), f (b, c) + L f (a, d), f (b, d)
1
≤ f (a, c) + f (a, d) + f (b, c) + f (b, d) .
4
References
[1] Bai, R.-F., Qi, F., Xi, B.-Y., Hermite-Hadamard type inequalities for the m- and (α, m)-
logarithmically convex functions, Filomat, 27(2013), no. 1, 1-7.
[2] Bai, S.-P., Wang, S.-H., Qi, F., Some Hermite-Hadamard type inequalities for n-time
differentiable (α, m)-convex functions, J. Inequal. Appl., 2012:267, 11 pages.
[3] Chun, L., Some new inequalities of Hermite-Hadamard type for (α1 , m1 )-(α2 , m2 )-convex
functions on coordinates, J. Funct. Spaces, 2014(2014), Article ID 975950, 7 pages.
[4] Dragomir, S.S., On the Hadamard’s inequality for convex functions on the co-ordinates
in a rectangle from the plane, Taiwanese J. Math., 5(2001), no. 4, 775-788.
[5] Dragomir, S.S., Pearce, C.E.M., Selected Topics on Hermite-Hadamard Inequalities and
Applications, RGMIA Monographs, Victoria University (2000).
[6] Dragomir, S.S., Toader, G., Some inequalities for m-convex functions, Studia Univ.
Babeş-Bolyai Math., 38(1993), no. 1, 21-28.
[7] Bakula, M.K., Özdemir, M.E., Pečarić, J., Hadamard type inequalities for m-convex and
(α, m)-convex functions, J. Inequal. Pure Appl. Math., 9(2008), no. 4, Art. 96, 12 pages.
[8] Toader, G., Some generalizations of the convexity, Proceedings of the Colloquium on
Approximation and Optimization, Cluj-Napoca, 1985, 329-338.
[9] Miheşan, V.G., A generalization of the convexity, Seminar on Functional Equations,
Approx. Convex, Cluj-Napoca, 1993 (Romanian).
[10] Qi, F., Wei, Z.-L., Yang, Q., Generalizations and refinements of Hermite-Hadamard’s
inequality, Rocky Mountain J. Math., 35(2005), no. 1, 235-251.
[11] Qi, F., Xi, B.-Y., Some integral inequalities of Simpson type for GA-ε-convex functions,
Georgian Math. J., 20(2013), no. 4, 775-788.
[12] Xi, B.-Y., Bai, R.-F., Qi, F., Hermite-Hadamard type inequalities for the m- and (α, m)-
geometrically convex functions, Aequationes Math., 84(2012), no. 3, 261-269.
[13] Xi, B.-Y., Qi, F., Some Hermite-Hadamard type inequalities for differentiable convex
functions and applications, Hacet. J. Math. Stat., 42(2013), no. 3, 243-257.
[14] Xi, B.-Y., Qi, F., Some integral inequalities of Hermite-Hadamard type for convex func-
tions with applications to means, J. Funct. Spaces Appl., 2012(2012), Article ID 980438,
14 pages.
[15] Xi, B.-Y., Qi, F., Integral inequalities of Simpson type for logarithmically convex func-
tions, Adv. Stud. Contemp. Math., Kyungshang, 23(2013), no. 4, 559-566.
Some new inequalities of Hermite-Hadamard type 525
Bo-Yan Xi
College of Mathematics
Inner Mongolia University for Nationalities
Tongliao City, 028043
Inner Mongolia Autonomous Region, China
e-mail: [email protected], [email protected], [email protected]
Feng Qi
Department of Mathematics, School of Science
Tianjin Polytechnic University
Tianjin City, 300387, China;
Institute of Mathematics
Henan Polytechnic University
Jiaozuo City, 454010,
Henan Province, China
e-mail: [email protected], [email protected], [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 527–534
1. Introduction
The following integral inequality
Z b
a+b 1 f (a) + f (b)
f ≤ f (t) dt ≤ , (1.1)
2 b−a a 2
which holds for any convex function f : [a, b] → R, is well known in the literature as
the Hermite-Hadamard inequality.
There is an extensive amount of literature devoted to this simple and nice result
which has many applications in the Theory of Special Means and in Information
Theory for divergence measures, from which we would like to refer the reader to the
monograph [1] and the references therein.
We denote by Expconv (I) the class of all functions defined on the interval I
of real numbers such that exp (f ) is convex on I. If Conv (I) is the class of convex
functions defined on I then we have the following fact:
Proposition 1.1. We have the strict inclusion
Conv (I) Expconv (I) .
Proof. If f is convex , then exp(f ) is log-convex and therefore convex on I and the
inclusion is proved.
For r ≥ 1 the function fr (x) = r ln x, x > 0 is concave on (0, ∞) . We have
exp (fr (x)) = xr is a convex function, therefore fr ∈ Expconv (I) \ Conv (I) .
528 Silvestru Sever Dragomir and Ian Gomm
We observe that
Z b
1
ln I (a, b) = ln udu
b−a a
for a, b > 0, a 6= b.
The following result holds:
Theorem 2.2. Assume that f ∈ Expconv (I) and a, b ∈ I with a < b. Then we have
Z b !
1
exp f (t) dt ≤ I (exp f (a) , exp f (b)) (2.5)
b−a a
and
a+b
exp f (2.6)
2
Z b !
1 exp f (x) + exp f (a + b − x)
≤ exp ln dx
b−a a 2
Z b
1
≤ exp f (x) dx.
b−a a
If we consider Toader’s mean defined as (see for instance [5] and [7] for many
relations of this mean with other means)
a if a = b,
E = E (a, b) := a, b ∈ R.
log I (exp a, exp b) if a 6= b,
and
Z b !
a+b 1 g (x) + g (a + b − x)
g ≤ exp ln dx (2.14)
2 b−a a 2
Z b
1
≤ g (x) dx.
b−a a
3. Related results
The following related result also holds:
Theorem 3.1. Assume that f ∈ Expconv (I) and a, b ∈ I with a < b. Then we have
Z b
f (a) (x − a) + f (b) (b − x) 1
− f (y) dy (3.1)
b−a b−a a
" Z b #
1
≥ exp f (x) exp (−f (x)) − exp [−f (y)] dy
b−a a
for any x ∈ [a, b] .
In particular, we have
Z b
f (a) + f (b) 1
− f (y) dy (3.2)
2 b−a a
" Z b #
a+b a+b 1
≥ exp f exp −f − exp [−f (y)] dy .
2 2 b−a a
Proof. Since the function exp (f ) is convex, it has lateral derivatives in each point of
(a, b) and f = ln (exp f ) does the same. Then for any x, y ∈ (a, b) we have
0
exp f (x) − exp f (y) ≥ f− (y) (x − y) exp f (y)
and dividing by exp f (y) > 0 we get
0
exp f (x) exp [−f (y)] − 1 ≥ f− (y) (x − y) (3.3)
for any x, y ∈ (a, b) .
Integrating (3.3) over y on [a, b] and dividing by b − a we get
Z b
1
exp f (x) exp [−f (y)] dy − 1 (3.4)
b−a a
Z b
1
≥ f 0 (y) (x − y) dy
b−a a −
" Z b #
1 b
= f (y) (x − y)|a + f (y) dy
b−a a
"Z #
b
1
= f (y) dy − f (a) (x − a) − f (b) (b − x)
b−a a
for any x ∈ [a, b] , which is equivalent to the desired inequality (3.1).
532 Silvestru Sever Dragomir and Ian Gomm
The inequality (3.7) can be found in Sándor’s paper [3] where x0 considered in
(3.6) is in fact a mean called by him as “generated by derivatives of functions”. This
mean is extended in [9] (see also [6]), and generalized many results related to integral
inequalities. See also [8] for more results.
Remark 3.4. Since
Rb
f 0 (y) ydy
x0 = Rab ,
f 0 (y) dy
a
then a sufficient condition for (3.6) to hold is that f is monotonic nondecreasing or
nonincreasing on the whole interval [a, b] .
Some Hermite-Hadamard type inequalities 533
Z b
p 1
ln g (a) g (b) − ln g (y) dy (3.9)
b−a a
" Z b #
a+b 1 1 1
≥g − dy ,
2 g a+b
2
b − a a g (y)
and
Z b
p 1
ln g (a) g (b) − ln g (y) dy (3.10)
b−a a
" Z b #
g (a) + g (b) 1 1
≥ 1− dy .
2 b − a a g (y)
If
[g(b)]b Rb
ln [g(a)]a − a
ln g (y) dy
x0 := ∈ [a, b] , (3.11)
g(b)
ln g(a)
Acknowledgement. The authors would like to warmly thank the anonymous referee
for pointing out some essential references and making valuable comments that have
been implemented in the final version of the paper.
References
[1] Dragomir, S.S., Pearce, C.E.M., Selected Topics on Hermite-Hadamard Inequalities and
Applications, RGMIA Monographs, 2000.
[2] Gill, P.M., Pearce, C.E.M., Pečarić, J., Hadamard’s inequality for r−convex functions,
J. of Math. Anal. and Appl., 215(1997), 461-470.
[3] Sándor, J., On means generated by derivatives of functions, Inter. J. Math. Educ. Sci.
Technol., 28(1)(1997), 146-148.
[4] Sándor, J., On upper Hermite-Hadamard inequalities for geometric-convex and log-
convex functions, Notes Number Th. Discr. Math., 20(2014), no. 5, 25-30.
534 Silvestru Sever Dragomir and Ian Gomm
[5] Sándor, J., Toader, Gh., On some exponential means, Preprint, Babeş-Bolyai Univ.,
Cluj, 1990, 35-40.
[6] Sándor, J., Toader, Gh., Some general means, Czechoslovak Math. J., 49(124)(1999),
53-62.
[7] Sándor, J., Toader, Gh., On some exponential means. Part II, Intern. J. Math. Math.
Sci., 2006, ID 051937.
[8] Song, Y., Long, B., Chu, Y., On Toader-Sandor mean, Intern. Math. Forum, 8(2013),
no. 22, 1057-1067.
[9] Toader, Gh., Sándor, J. Inequalities for general integral means, J. Inequal. Pure & Appl.
Math., 7(2006), no. 1, Art. 13.
Abstract. In this paper we introduce a new general integral operator for analytic
functions in the open unit disk and we derive some criteria for univalence of this
integral operator.
Mathematics Subject Classification (2010): 30C45.
Keywords: Analytic, Schwarz lemma, integral operator, univalence.
1. Introduction
Let P be the class of functions p of the form
∞
X
p(z) = 1 + bk z k ,
k=1
which are analytic in the open unit disk U = {z ∈ C : |z| < 1}, with positive real part
in U. We denote by A be the class of functions f of the form
∞
X
f (z) = z + an z n ,
n=2
which are analytic in the open unit disk U and we consider S the subclass of A
consisting of functions f ∈ A, which are univalent in U.
In this work we introduce a new integral operator, which is defined by
n
Z zY
γ
Kγ1 ,...,γn (z) = (pj (u)) j du, (1.1)
0 j=1
2. Preliminary results
In order to prove our main results we will use the lemmas.
536 Virgil Pescar
1 − |f (z)|2
|f 0 (z)| ≤ , (2.6)
1 − |z|2
(z+u)
the equalities hold only in the case f (z) = 1+uz , where || = 1 and |u| < 1.
3. Main results
Theorem 3.1. Let γj be complex numbers, Mj positive real numbers, pj ∈ P,
pj (z) = 1 + b1j z + b2j z 2 + . . . , j = 1, n.
If
zp0j (z)
≤ Mj , (j = 1, n; z ∈ U) (3.1)
pj (z)
and
√
3 3
|γ1 |M1 + |γ2 |M2 + . . . + |γn |Mn ≤ , (3.2)
2
then the integral operator Kγ1 ,...,γn defined by (1.1), is in the class S.
Proof. The function Kγ1 ,...,γn is regular in U and
Kγ1 ,...,γn (0) = Kγ0 1 ,...,γn (0) − 1 = 0.
We have
n
zKγ001 ,...,γn (z) X zp0j (z)
= γ j , (z ∈ U), (3.3)
Kγ0 1 ,...,γn (z) j=1
pj (z)
for all z ∈ U.
From (3.1) and Lemma 2.3 we get
zp0j (z)
≤ Mj |z|, (j = 1, n; z ∈ U) (3.5)
pj (z)
and by (3.4) we have
n
zKγ001 ,...,γn (z) X
(1 − |z|2 ) ≤ (1 − |z|2
)|z| |γj |Mj , (3.6)
Kγ0 1 ,...,γn (z) j=1
for all z ∈ U.
Since
2
max(1 − |z|2 )|z| = √ ,
|z|≤1 3 3
538 Virgil Pescar
for all z ∈ U.
By (3.8) and Lemma 2.3, we get
2Re α+1
zp0j (z) (2Re α + 1) 2Re α
≤ |z|, (j = 1, n; z ∈ U) (3.11)
pj (z) 2
and hence, by (3.10) we have
for all z ∈ U.
We have
(1 − |z|)2Re α |z|
2
max = 2Re α+1
|z|≤1 Re α (Re α + 1) 2Re α
and from (3.9) and (3.12) we get
1 − |z|2Re α zKγ001 ,...,γn (z)
≤ 1, (3.13)
Re α Kγ0 1 ,...,γn (z)
for all z ∈ U. By (3.13) and Lemma 2.2, for β = 1, f = Kγ1 ,...,γn , it results that the
integral operator Kγ1 ,...,γn is in the class S.
On the univalence of an integral operator 539
γn p0 (z)
+ · n , (3.23)
M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn | pn (z)
for all z ∈ U.
From (3.18) and (3.23) we obtain |fn (z)| < 1, z ∈ U.
We have
b11 γ1 + . . . + b1n γn
fn (0) = =c
M1 |γ1 | + . . . + Mn |γn |
and by Remark 2.5 we get
|z| + |c|
|fn (z)| ≤ , (z ∈ U), (3.24)
1 + |c||z|
where
|b11 γ1 + b12 γ2 + . . . + b1n γn |
|c| = .
M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn |
From (3.22) and (3.24) we obtain
1 − |z|2Re α zKγ001 ,...,γn (z)
≤
Re α Kγ0 1 ,...,γn (z)
1 − |z|2Re α
|z| + |c|
≤ (M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn |) max |z| , (3.25)
|z|≤1 Re α 1 + |c||z|
for all z ∈ U.
By (3.19) and (3.25) we have
1 − |z|2Re α zKγ001 ,...,γn (z)
≤ 1, (z ∈ U). (3.26)
Re α Kγ0 1 ,...,γn (z)
From (3.26) and Lemma 2.2 for β = 1, it results that the integral operator
Kγ1 ,...,γn ∈ S.
Corollary 3.5. Let α, γj be complex numbers, j = 1, n, 0 < Re α ≤ 1, Mj positive real
numbers and pj ∈ P, pj (z) = 1 + b1j z + b2j z 2 + . . ., j = 1, n.
If
p0j (z)
< Mj , (z ∈ U; j = 1, n), (3.27)
pj (z)
2Re α+1
(2Re α + 1) 2Re α
|b11 γ1 + b12 γ2 + . . . + b1n γn | ≤ , (3.28)
2
|b11 γ1 + b12 γ2 + . . . + b1n γn | = M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn |, (3.29)
then the integral operator Kγ1 ,...,γn ∈ S.
On the univalence of an integral operator 541
Proof. From (3.29) and (3.20) we obtain |c| = 1. Using the inequality (3.19) we have
1
M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn | ≤ h i, (3.30)
1−|z|2Re α
max|z|≤1 Re α |z|
Since
1 − |z|2Re α
2
max|z|≤1 |z| = 2Re α+1 , (3.31)
Re α (2Re α + 1) 2Re α
from (3.30) and (3.29) we obtain (3.28).
The conditions of Theorem 3.4 are satisfied.
Re α+1
M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn | ≤ (Re α + 1) Re α , (3.33)
then the integral operator Kγ1 ,...,γn ∈ S.
Proof. From Theorem 3.4, by (3.20), we obtain c = 0 and using the inequality (3.19)
we get
1
M1 |γ1 | + M2 |γ2 | + . . . + Mn |γn | ≤ h i. (3.34)
1−|z|2Re α
max|z|≤1 Re α |z|2
We have
1 − |z|2Re α 2
1
max|z|≤1 |z| = Re α+1
Re α (Re α + 1) Re α
and from (3.34) we obtain the inequality (3.33). Since the conditions of Theorem 3.4
are verified it results that Kγ1 ,...,γn belongs to S.
References
[1] Becker, J., Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte
Funktionen, J. Reine Angew. Math., 255(1972), 23-43.
[2] Mayer, O., The Functions Theory of One Variable Complex, Bucureşti, 1981.
[3] Nehari, Z., Conformal Mapping, Mc Graw-Hill Book Comp., New York, 1952 (Dover.
Publ. Inc., 1975).
[4] Pascu, N.N., An improvement of Becker’s univalence criterion, Proceedings of the Com-
memorative Session Simion Stoilow, Braşov, (1987), 43-48.
542 Virgil Pescar
Virgil Pescar
”Transilvania” University of Braşov
Faculty of Mathematics and Computer Science
Department of Mathematics
500091 Braşov, Romania
e-mail: [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 543–552
Abstract. The purpose of the present paper is to obtain the initial coefficients for
normalized analytic functions f in the open unit disk U with its inverse g = f −1
belonging to the classes Hσn (φ), STσn (α, φ), Mσn (α, φ) and Lnσ (α, φ). Relevant
connections of the results presented here with various known results are briefly
indicated. Finally, we give an open problem for the readers.
Mathematics Subject Classification (2010): 30C45.
Keywords: Univalent functions, bi-univalent functions, subordination, Salagean
derivative.
1. Introduction
Let A denote the class of functions f of the form
∞
X
f (z) = z + ak z k , (1.1)
k=2
which are analytic in the open unit disk U = {z ∈ C : |z| < 1} and satisfy the nor-
malization condition f (0) = f 0 (0) − 1 = 0. Let S be the subclass of A consisting
of functions of the form (1.1) which are also univalent in U . The Koebe one-quarter
theorem [4] ensures that the image of U under every univalent function f ∈ A con-
tains a disk of radius 41 . Thus every univalent function f has an inverse f −1 satisfying
f −1 (f (z)) = z, (z ∈ U ) and f (f −1 (w)) = w, (|w| < r0 (f ), r0 (f ) ≥ 1/4). A function
f ∈ A is said to be bi-univalent in U if both f and f −1 are univalent in U . Let σ
denote the class of bi-univalent functions defined in the unit disk U .
A domain U ⊂ C is convex if the line segment joining any two points in U lies
entirely in U , while a domain is starlike with respect to a point w0 ∈ U if the line
segment joining any point of U to w0 lies inside U . A function f ∈ A is starlike if f (U )
is a starlike domain with respect to origin, and
o convex if f (U ) is convex. Analytically
0
n
f ∈ A is starlike if and only if < zff (z)(z)
> 0, whereas f ∈ A is convex if and
zf 00 (z)
n o
only if < 1 + f 0 (z) > 0. The classes consisting of starlike and convex functions
are denoted by ST and CV respectively. The classes ST (α) and CV (α) of starlike
544 Saurabh Porwal, Sanjay Kumar Ghai and Kaushal Kumar
and
n convex o functions nof order αo, 0 ≤ α < 1, are respectively characterized by
zf 0 (z) zf 00 (z)
< f (z) > α and < 1 + f 0 (z) > α. Ma and Minda [8] unified various subclasses
of starlike and convex functions by using subordination. Now we recall the definition
of subordination
An analytic function f is subordinate to an analytic function g, written f (z) ≺
g(z), provided there is an analytic function w defined on U with w(0) = 0 and
|w(z)| < 1 satisfying f (z) = g(w(z)).
Lewin [7] investigated the class σ of bi-univalent functions and obtained the
bound for the second coefficient. Several researchers have subsequently studied similar
problems in this direction (see [2], [5], [6], [10], [12], [13]). Brannan and Taha [2] con-
sidered certain subclasses of bi-univalent functions, similar to the familiar subclasses
of univalent functions consisting of strongly starlike, starlike and convex functions.
They introduced bi-starlike functions and bi-convex functions and obtained estimates
on the initial coefficients. Recently, Srivastava et al. [12] introduced and investigated
subclasses of the bi-univalent functions and obtained bounds for the initial coefficients.
The results of [12] were generalized in [5], [6], [10] and [13].
Very recently Ali et al. [1] estimates on the initial coefficients for bi-starlike of
Ma-Minda type and bi-convex of Ma-Minda type functions are obtained. In this paper,
we generalized these results by using Salagean operator and obtain sharp estimates
on coefficient for function classes Hσn (φ), STσn (α, φ), Mσn (α, φ) and Lnσ (α, φ).
2. Coefficient estimates
In the sequel, it is assumed that φ is an analytic function with positive real part
in the disk U , satisfying φ(0) = 1, φ0 (0) > 0 and φ(U ) is symmetric with respect to
the real axis. Such a function has a series expansion of the form
A function f ∈ σ is said to be in the class Hσn (φ) if the following subordination hold:
Dn f (z)
≺ φ (z)
z
and
Dn g (w)
≺ φ (w) , g (w) = f −1 (w) ,
w
where Dn stands for the Salagean operator introduced by Salagean [11] for function
f of the form
∞
X
f (z) = z + ak z k
k=2
Some new subclasses of bi-univalent functions 545
and
Dn g (w)
p2 (w) − 1
=φ . (2.9)
w p2 (w) + 1
Using (2.5) and (2.7) together with (2.1), it is evident that
c21
p1 (z) − 1 1 1 1
φ = 1 + B 1 c1 z + B 1 c2 − + B2 c1 z 2 + . . .
2
(2.10)
p1 (z) + 1 2 2 2 4
and
b2
p2 (w) − 1 1 1 1
φ = 1 + B 1 b1 w + B1 b2 − 1 + B2 b21 w2 + . . . (2.11)
p2 (w) + 1 2 2 2 4
Since f ∈ σ has the Maclaurin series given by (2.2), a computation shows that its
inverse g = f −1 has the expansion
g (w) = f −1 (w) = w − a2 w2 + 2a22 − a3 w3 + . . .
Since
Dn f (z)
= 1 + 2n a2 z + 3n a3 z 2 + . . .
z
and
Dn g (w)
= 1 − 2n a2 w + 2a22 − a3 3n w2 + . . . ,
w
it follows from (2.8)-(2.11) that
1
2n a2 = B1 c1 , (2.12)
2
c21
n 1 1
3 a3 = B1 c2 − + B2 c21 (2.13)
2 2 4
1
−2n a2 = B1 b1 (2.14)
2
and
b2
1 1
3n 2a22 − a3 = B1 b2 − 1 + B2 b21 . (2.15)
2 2 4
From (2.12) and (2.14), it follows that
c1 = −b1 . (2.16)
Now (2.13)-(2.16) yield
B13 (b2 + c2 )
a22 =
4 (3n B12 − 22n B2 + 22n B1 )
which, in view of the well-known inequalities |b2 | ≤ 2 and |c2 | ≤ 2 for functions
with positive real part, gives us the desired estimate on |a2 | as asserted in (2.3). By
subtracting (2.15) from (2.13), further computations using (2.12) and (2.16) lead to
B1 (c2 − b2 ) B12 c21
a3 = + ,
4.3n 4.22n
and this yields the estimates given in (2.4).
Some new subclasses of bi-univalent functions 547
Remark 2.2. If we put n = 1 in Theorem 2.1, then we obtain the corresponding result
of Ali et al. [1].
γ
1+z
Remark 2.3. If we put n = 1 with φ (z) = 1−z in Theorem 2.1, then we obtain
the corresponding result of Srivastava et al. [12].
and
B1 + |B2 − B1 |
|a3 | ≤ .
3n · 2 (1 + 3α) − 22n (1 + 2α)
Proof. Let f ∈ STσn (α, φ). Then there are analytic functions u, v : U → U , with
u(0) = v(0) = 0, satisfying
(1 − α) Dn+1 f (z) + αDn+2 f (z)
= φ (u (z)) (2.17)
Dn f (z)
and
(1 − α) Dn+1 g (w) + αDn+2 g (w)
g = f −1 .
= φ (v (w)) , (2.18)
Dn g (w)
Since
(1 − α) Dn+1 f (z) + αDn+2 f (z)
= 1 + (1 + 2α) 2n a2 z
Dn f (z)
+ 3n · 2 (1 + 3α) a3 − 22n (1 + 2α) a22 z 2 + . . .
and
(1 − α) Dn+1 g (w) + αDn+2 f (w)
= 1 − (1 + 2α) 2n a2 w
Dn g (w)
3n · 4 (1 + 3α) − 22n (1 + 2α) a22 − 3n · 2 (1 + 3α) a3 w2 + . . . ,
+
548 Saurabh Porwal, Sanjay Kumar Ghai and Kaushal Kumar
Remark 2.6. If we put n = 0 in Theorem 2.5, then we obtain the corresponding result
of Ali et al. [1]. γ
1+z
Next, if we put n = 0, φ (z) = 1−z with α = 0, then we obtain corresponding
result of Brannan and Taha [2].
Next, a function f ∈ σ belongs to the class Mσn (α, φ), n ∈ N0 , α ≥ 0, if the
following subordinations hold:
Dn+1 f (z) Dn+2 f (z)
(1 − α) + α ≺ φ (z)
Dn f (z) Dn+1 f (z)
and
Dn+1 g (w) Dn+2 g (w)
(1 − α) + α ≺ φ (w) , g (w) = f −1 (w) .
Dn g (w) Dn+1 g (w)
For function in the class Mσn (α, φ), the following coefficient estimates hold.
Theorem 2.7. Let f given by (2.2) be in the class Mσn (α, φ). Then
√
B1 B1
|a2 | ≤ r (2.23)
2
B12 2 · 3n (1 + 2α) − 22n (1 + 3α) + 22n (1 + α) (B1 − B2 )
and
B1 + |B2 − B1 |
|a3 | ≤ . (2.24)
2 (1 + 2α) 3n − (1 + 3α) 22n
Proof. If f ∈ Mσn (α, φ) , then there are analytic functions u, v : U → U , with u (0) =
v (0) = 0, such that
Dn+1 f (z) Dn+2 f (z)
(1 − α) n
+ α n+1 = φ (u (z)) (2.25)
D f (z) D f (z)
and
Dn+1 g (w) Dn+2 g (w)
(1 − α) + α = φ (v (w)) . (2.26)
Dn g (w) Dn+1 g (w)
Some new subclasses of bi-univalent functions 549
Since
Dn+1 f (z) Dn+2 f (z)
(1 − α) n
+ α n+1 = 1 + (1 + α) 2n a2 z
D f (z) D f (z)
+ 2 (1 + 2α) 3n a3 − (1 + 3α) 22n a22 z 2 + . . .
and
Dn+1 g (w) Dn+2 g (w)
(1 − α) n
+ α n+1 = 1 − (1 + α) 2n a2 w
D g (w) D g (w)
4 (1 + 2α) 3n − (1 + 3α) 22n a22 − 2 (1 + 2α) 3n a3 w2 + . . . .
+
From (2.10), (2.11), (2.25) and (2.26) it follows that
1
(1 + α) 2n a2 = B1 c1 (2.27)
2
c21
n 2n 2 1 1
2 (1 + 2α) 3 a3 − (1 + 3α) 2 a2 = B1 c2 − + B2 c21 (2.28)
2 2 4
1
− (1 + α) 2n a2 = B1 b1 (2.29)
2
and
b2
1 1
4 (1 + 2α) 3n − (1 + 3α) 22n a22 −2 (1 + 2α) 3n a3 = B1 b2 − 1 + B2 b21 . (2.30)
2 2 4
Equation (2.27) and (2.29) yield
c1 = −b1 . (2.31)
From (2.28), (2.30) and (2.31), it follows that
B13 (b2 + c2 )
a22 =
2
4 B12 (2 · 3n (1 + 2α) − 22n (1 + 3α)) + 22n (1 + α) (B1 − B2 )
which yields the describe estimate on as describe in (2.23). As in the earlier proofs,
use of (2.28)-(2.31) shows that
(B1 /2) ((4 (1 + 2α) 3n − (1 + 3α) 2n ) c2 + (1 + 3α) 2n b2 ) + b21 (1 + 2α) (B2 −B1 )
a3 = .
4 · 3n (1 + 2α) (2 (1 + 2α) 3n − (1 + 3α) 22n )
Thus the proof of Theorem 2.7 is complete.
Next, a function f ∈ σ is said to be in the class Lnσ (α, φ) n ∈ N0 , α ≥ 0, if the
following subordinations hold:
n+1 α n+2 1−α
D f (z) D f (z)
≺ φ (z)
Dn f (z) Dn+1 f (z)
and α 1−α
Dn+1 g (w) Dn+2 g (w)
≺ φ (w)
Dn g (w) Dn+1 g (w)
g (w) = f −1 (w) .
For function in this class, the following coefficient estimates are obtained
550 Saurabh Porwal, Sanjay Kumar Ghai and Kaushal Kumar
Theorem 2.8. Let f given by (2.2) be in the class Lnσ (α, φ). Then
√
2B1 B1
|a2 | ≤ r ,
n 2 2n 2 2n 2
2 (4 (3 − α) 3 + (α + 5α − 8) 2 B1 ) + 4 · 2 (α − 2) (B1 − B2 )
(2.32)
and
2 (3 − 2α) 3n (B1 + |B1 − B2 |)
|a3 | ≤ . (2.33)
|3n (3 − 2α) (4 (3 − 2α) 3n + (α2 + 5α − 8) 22n )|
Proof. Let f ∈ Lnσ (α, φ). Then there are analytic functions u, v : U → U , with
u (0) = v (0) = 0 , such that
n+1 α n+2 (1−α)
D f (z) D f (z)
= φ (u (z)) (2.34)
Dn f (z) Dn+1 f (z)
and
α (1−α)
Dn+1 g (w) Dn+2 g (w)
= φ (v (w)) . (2.35)
Dn g (w) Dn+1 g (w)
Since
α n+2 (1−α)
Dn+1 f (z)
D f (z)
= 1 + 2n (2 − α) a2 z
Dn f (z) Dn+1 f (z)
2
α − 5α + 8
+ 3n · 2 (3 − 2α) a3 + 22n a22 z 2 + . . .
2
and
α (1−α)
Dn+1 g (w) Dn+2 g (w)
= 1 − 2n (2 − α) a2 w
Dn g (w) Dn+1 g (w)
α2 + 5α − 8
n
+ 4 · (3 − 2α) 3 + 2 n
a2 − 3 · 2 (3 − 2α) a3 w2 + . . .
2
from (2.10), (2.11), (2.34) and (2.35) it follows that
1
2n · (2 − α) a2 = B1 c1 (2.36)
2
2n a22 c21
n 2 1 1
3 2 (3 − 2α) a3 + α + 5α − 8 2 · = B1 c2 − + B2 c21 (2.37)
2 2 2 4
1
−2n (2 − α) a2 = B 1 b1 (2.38)
2
and
!
α2 + 5α − 8 b21
n n 2 n 1 1
4 (3 − 2α) 3 + 2 a2 −3 ·2 (3 − 2α) a3 = B1 b2 − + B2 b21 .
2 2 2 4
(2.39)
Now (2.36) and (2.38) clearly yield
c1 = −b1 . (2.40)
Some new subclasses of bi-univalent functions 551
References
[1] Ali, R.M., Lee, S.K., Ravichandran, V., Supramaniam, S., Coefficient estimates for bi-
univalent Ma-Minda starlike and convex functions, Appl. Math. Lett., 25(2012), 344-351.
[2] Branna, D.A., Taha, T.S., On some classes of bi-univalent functions, Studia Univ.
Babes-Bolyai Math., 31(1986), no. 2, 70-77.
[3] Brannan, D.A., Clunie, J., Kirwan, W.E., Coefficient estimates for a class of starlike
functions, Canad. J. Math., 22(1970), 476-485.
[4] Duren, P.L., Univalent functions, In: Grundlehred der Mathematischen Wissenschaften,
vol. 259, Springer, New York, 1983.
[5] Frasin, B.A., Aouf, M.K., New subclasses of bi-univalent functions, Appl. Math. Lett.,
24(2011), no. 9, 1569-1573.
[6] Goyal, S.P., Goswami, P., Estimate for initial Maclaurin coefficients of bi-univalent
functions for a class defined by fractional derivatives, J. Egypt. Math. Soc., 20(2012),
no. 3, 179-182.
[7] Lewin, M., On a coefficient problem for bi-univalent functions, Proc. Amer. Math. Soc.,
18(1967), 63-68.
[8] Ma, W.C., Minda, D., A unified treatment of some special classes of univalent functions,
In: Proceedings of the Conference on Complex Analysis, Tianjin, 1992, 157-169, Conf.
Proc. Lecture Notes Anal. L. Int. Press, Cambridge, MA, 1994.
[9] Netanyahu, E., The minimal distance of the image boundary from the origin and the
second coefficient of a univalent function in |z| < 1, Arch. Ration. Mech. Anal., 32(1969),
100-112.
[10] Porwal, S., Darus, M., On a new subclass of Bi-univalent functions, J. Egypt. Math.
Soc., 21(2013), 190-193.
[11] Salagean, G.S., Subclasses of univalent functions, Complex Analysis-Fifth Romanian
Finish Seminar, Bucharest, 1(1983), 362-372.
552 Saurabh Porwal, Sanjay Kumar Ghai and Kaushal Kumar
[12] Srivastava, H.M., Mishra, A.K., Gochhayat, P., Certain subclasses of analytic and bi-
univalent functions, Appl. Math. Lett., 23(2010), no. 10, 1188-1192.
[13] Xu, Q.H., Gui, Y.C., Srivastava, H.M., Coefficient estimates for a certain subclass of
analytic and bi-univalent functions, Appl. Math. Lett., 25(2012), 990-994.
Saurabh Porwal
Department of Mathematics
U.I.E.T., C.S.J.M. University
Kanpur-208024, (U.P.), India
e-mail: [email protected]
Sanjay Kumar Ghai
Principal, BVM College of Technology and Management
Gwalior-474001, (M.P.), India
e-mail: [email protected]
Kaushal Kumar
Department of Mathematics
U.I.E.T., C.S.J.M. University
Kanpur-208024, (U.P.), India
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 553–559
Abstract. Using the concepts of (j, k)-symmetrical functions we define the class
of sense-preserving harmonic univalent functions SHj,ks (β), and prove certain
interesting results.
Mathematics Subject Classification (2010): 30C45.
Keywords: (j, k)-Symmetric functions, harmonic functions.
1. Introduction
A continuous function f = u + iv is a complex valued harmonic function in a
complex domain C if both u and v are real harmonic in C. In any simply connected
domain D ∈ C we can write f (z) = h + g, where h and g are analytic in D. We call h
the analytic part and g the co-analytic part of f . A necessary and sufficient condition
for f to be locally univalent and sense-preserving in D is that |h0 (z)| > |g 0 (z)| in D,
[see 3].
Denote by SH the class of functions f (z) = h + g that are harmonic univalent and
orientation preserving in the open unit disk U = {z : z ∈ C and |z| < 1}, for which
f (0) = fz (0) − 1 = 0. Then for f (z) = h + g ∈ SH , we may express the analytic
functions f and g as
∞
X ∞
X
h(z) = z + an z n , g(z) = bn z n , |b1 | < 1. (1.1)
n=2 n=1
We note that the family of all (j, k)-symmetric functions is denoted be S (j,k) .
Also, S (0,2) , S (1,2) and S (1,k) are called even, odd and k-symmetric functions respec-
tively. We have the following decomposition theorem.
Theorem 1.3. [5] For every mapping f : D 7→ C, and D is a k-fold symmetric set,
there exists exactly the sequence of (j, k)- symmetrical functions fj,k ,
k−1
X
f (z) = fj,k (z)
j=0
where
k−1
1 X −vj
fj,k (z) = ε f (εv z), (1.3)
k v=0
(f ∈ A; k = 1, 2, ...; j = 0, 1, 2, ..., k − 1)
A new class of (j, k)-symmetric harmonic starlike functions 555
then
∞ k−1
(
X
n 1 X (n−j)v 1, n = lk + j;
fj,k (z) = δn,j an z , a1 = 1, δn,j = ε = , (1.4)
n=1
k v=0 0, n 6= lk + j;
Ahuja and Jahangiri [2] discussed the class SH(β) which denotes the class of complex-
valued, sense-preserving, harmonic univalent functions f of the form (1.1) and satis-
fying ( )
∂
2 ∂θ f (reiθ )
= ≥ β, 0 ≤ β < 1.
f (reiθ ) − f (−reiθ )
Al-Shaqsi and and Maslina Darus [1] discussed the class SHks (β) which denotes the
class of complex-valued, sense-preserving, harmonic univalent functions f of the form
(1.1) and satisfying ( )
∂ iθ
∂θ f (re )
= ≥ β, 0 ≤ β < 1.
fk (reiθ )
Now using the concepts of (j, k)−symmteric points we define the following
Definition 1.4. For 0 ≤ β < 1 and k = 1, 2, 3, ..., j = 0, 1, ..., k−1, let SHj,k
s (β) denote
the class of sense-preserving, harmonic univalent functions f of the form (1.1) which
satisfy the condition ( )
∂ iθ
∂θ f (re )
= ≥ β. (1.5)
fj,k (reiθ )
Where z = reiθ , 0 ≤ r < 1, 0 ≤ θ < 2π and fj,k = hj,k + gj,k , where hj,k , gj,k given
by
k−1 k−1
1 X −vj 1 X −vj v
hj,k (z) = ε h(εv z), gj,k (z) = ε g(ε z). (1.6)
k v=0 k v=0
2. Main result
Theorem 2.1. Let f ∈ SH(j,k)
s (β) where f given by (1.1), then fj,k (z) is in SH ∗ (β),
where fj,k given by (1.6).
Proof. Suppose that f ∈ SH(j,k)
s (β). Then we get
( )
∂ iθ
∂θ f (re )
= ≥ β. (2.1)
fj,k (reiθ )
replacing reiθ by εv reiθ in (2.1), we get
( )
∂ v iθ
∂θ f (ε re )
= ≥ β.
fj,k (εv reiθ )
According to the definition of fj,k and εk = 1, we know fj,k (εv reiθ ) = εvj fj,k (reiθ ),
we get ( )
ε−vj ∂θ
∂
f (εv reiθ )
= ≥ β, (2.2)
fj,k (reiθ )
letting (v = 0, 1, 2, ....k − 1) in (2.2) and summing them we can get
( Pk−1 ) ( )
1 −vj ∂ v iθ ∂ iθ
k v=0 ε ∂θ f (ε re ) ∂θ fj,k (re )
= == > β, (2.3)
fj,k (reiθ ) fj,k (reiθ )
that is fj,k (z) ∈ SH ∗ (β).
Theorem 2.2. If f = h + g with h and g given by (1.1) and fj,k = hj,k + gj,k with hj,k
and gj,k given by (1.6). Let
∞
X (n − 1)k + j − β (n − 1)k + j + β
|a(n−1)k+j | + |b(n−1)k+j | (2.4)
n=1
1 − δ1,j β 1 − δ1,j β
∞
X n
+ {|an | + |bn |} ≤ 2,
1 − δ1,j β
n6=lk+j
where a1 = 1, 0 ≤ β < 1, k = 1, 2, 3, ..., j = 0, 1, ..., k − 1, l ∈ N and δ1,j is defined
by (1.4). Then f is sense-preserving harmonic univalent in U and f ∈ SH(j,k) s (β).
Proof. Since
∞ X ∞
X n−β n+β n − δn,j β n + δn,j β
|an | + |bn | ≤ |an | + |bn | ,
n=1
1−β 1−β n=1
1 − δ1,j β 1 − δ1,j β
where δn,j is given by (1.4),
∞
X (n − 1)k + j − β (n − 1)k + j + β
= |a(n−1)k+j | + |b(n−1)k+j |
n=1
1 − δ1,j β 1 − δ1,j β
∞
X n
+ {|an | + |bn |} ≤ 2.
1 − δ1,j β
n6=lk+j
A new class of (j, k)-symmetric harmonic starlike functions 557
∞
( )
X (n−1)k+j −β (n−1)k+j +β
≥ 2(1 − βδ1,j )|z| 1− |a(n−1)k+j | − |b(n−1)k+j |
n=1
1 − δ1,j β 1 − δ1,j β
∞
X n
−(1 − βδ1,j )|z| [|an | + |bn |] ≥ 0,
1 − δ1,j β
n6=lk+j
∞
X n
+ {|an | + |bn |} ≤ 2,
1−β
n6=lk+1
References
[1] Al Shaqsi, K., Darus, M., On subclass of harmonic starlike functions with respect to
k-symmetric points, Int. Math. Forum, 2(2007), 2799-2805.
[2] Ahuja, O.P., Jahangiri, J.M., Sakaguchi-type harmonic univalent functions, Scientiae
Mathematicae Japonicae, 59(1)(2004), 239-244.
[3] Clunie, J., Shell-Small, T., Harmonic univalent functions, Ann. Acad. Aci. Fenn. Ser. A
I Math., 9(1984), 3-25.
[4] Jahangiri, J.M, Harmonic functions starlike in the unit disk, Journal of Mathematical
Analysis and Applications, 235(2)(1999), 470-477.
[5] Liczberski, P., Polubinski, J., On (j, k)-symmtrical functions, Mathematica Bohemica,
120(1995), 13-25.
[6] Shell-Small, T., Constants for planar harmonic mapping, J. London. Math. Soc.,
42(2)(1990), 237-248.
[7] Silverman, H., Harmonic univalent functions with negative coefficients, Journal of Math-
ematical Analysis and Applications, 220(1)(1998), 283-289.
[8] Silverman, H., Silvia, E.M., Subclasses of harmonic univalent functions, The New
Zealand Journal of Mathematics, 28(2)(1999), 275-284.
A new class of (j, k)-symmetric harmonic starlike functions 559
Fuad Al Sarari
Department of Studies in Mathematics
Manasagangotri, University of Mysore
Mysore 570 006, India
e-mail: [email protected] or [email protected]
Latha Satyanarayana
Department of Mathematics
Yuvaraja’s College, University of Mysore
Mysore 570 005, INDIA
e-mail: [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 561–565
Abstract. Let Cα (β) denote the class of normalized functions f, analytic in the
open unit disk E which satisfy the condition
zf ′ (z) (zf ′ (z))′
ℜ (1 − α) +α > β, z ∈ E,
φ(z) φ′ (z)
f (z)f ′ (z)
where 6= 0, z ∈ E, φ is starlike and α, β are pre-assigned real numbers.
z
In 1977, Chichra, P. N. [1] introduced and studied the class Cα = Cα (0). He
proved the members of class Cα are close-to-convex forα ≥ 0. We here prove that
α zφ′ (z)
functions in class Cα (β) are close-to-convex for − ℜ ≤ β < 1, α ≥ 0
2 φ(z)
and the result is sharp in the sense that the constant β cannot be replaced by
α φ(z)
a real number smaller than − ℜ . We claim that our result improves
2 zφ′ (z)
the result of Chichra, P. N. [1].
Mathematics Subject Classification (2010): 30C80, 30C45.
Keywords: Analytic function, convex function, starlike function, close-to-convex.
1. Introduction
Let A be the class of functions f, analytic in E = {z : |z| < 1} and normalized
by the conditions f (0) = f ′ (0) − 1 = 0. Let S ∗ and K denote the classes of starlike
and convex functions respectively analytically defined as follows:
′
∗ zf (z)
S = f ∈A:ℜ > 0, z ∈ E ,
f (z)
and
zf ′′ (z)
K= f ∈A:ℜ 1+ ′ > 0, z ∈ E .
f (z)
This is well-known that
f (z) ∈ K ⇔ zf ′ (z) ∈ S ∗ . (1.1)
562 Sukhwinder Singh Billing
2. Main result
Theorem 2.1. Let α and β be real numbers such that α ≥ 0 and
α φ(z)
− ℜ ≤β<1
2 zφ′ (z)
for a starlike function φ. Assume that f ∈ A satisfies
zf ′ (z) (zf ′ (z))′
ℜ (1 − α) +α ′ > β, z ∈ E, (2.1)
φ(z) φ (z)
′
zf (z)
then ℜ > 0 in E and hence f is close-to-convex and hence univalent in E.
φ(z)
The result is sharp in the sense that the constant β onthe right hand side of (2.1)
α φ(z)
cannot be replaced by a real number smaller than − ℜ .
2 zφ′ (z)
Proof. Let p(z) = 1 + p1 z + p2 z 2 + . . . be analytic in E such that for all z ∈ E, we
write
zf ′ (z)
= p(z).
φ(z)
Then,
zf ′ (z) (zf ′ (z))′ φ(z)
(1 − α) +α ′ = p(z) + αzp′ (z) .
φ(z) φ (z) zφ(z)
Therefore, condition (2.1) is equivalent to
1 α φ(z) β
ℜ p(z) + zp′ (z) ′ − > 0, z ∈ E. (2.2)
1−β 1−β zφ (z) 1 − β
For D = C × C, define Φ(u, v) : D → C as under:
1 α φ(z) β
Φ(u, v) = u+ v − , z ∈ E.
1−β 1 − β zφ′ (z) 1 − β
Then Φ(u, v) is continuous in D, (1, 0) ∈ D and ℜ (Φ(1, 0)) = 1 > 0. Further, in view
of (2.2), we get, ℜ[Φ(p(z), zp′ (z))] > 0, z ∈ E. Let u = u1 + iu2 , v = v1 + iv2 where
1 + u22
u1 , u2 , v1 and v2 are all real numbers. Then, for (iu2 , v1 ) ∈ D, with v1 ≤ − , we
2
have
1 α φ(z) β
ℜΦ(iu2 , v1 ) = ℜ u2 i + v1 −
1−β 1 − β zφ′ (z) 1 − β
α 1 + u22
φ(z) β
≤ − ℜ +
1−β 2 zφ′ (z) 1−β
α φ(z) β
≤ − ℜ +
2(1 − β) zφ′ (z) 1−β
≤ 0.
In view of (2.2) and Lemma 1.2, proof now follows.
564 Sukhwinder Singh Billing
Figure 2.1
Figure 2.2
References
[1] Chichra, P.N., New subclasses of the class of close-to-convex functions, Proc. Amer.
Math. Soc., 62(1)(1977), 37-43.
[2] Miller, S.S., Differential inequalities and Carathéodory functions, Bull. Amer. Math.
Soc., 81(1975), 79-81.
[3] Noshiro, K., On the theory of schlicht functions, J. Fac. Sci., Hokkaido Univ., 2(1934-35),
129-155.
[4] Warchawski, S.E., On the higher derivatives at the boundary in conformal mappings,
Trans. Amer. Math. Soc., 38(1935), 310-340.
Abstract. In this paper we study the one dimensional mixed problem with non-
local boundary conditions, for the quasilinear parabolic equation. We prove an
existence, uniqueness of the weak generalized solution and also continuous depen-
dence upon the data of the solution are shown by using the generalized Fourier
method. We construct an iteration algorithm for the numerical solution of this
problem. We analyze computationally convergence of the iteration algorithm, as
well as on test example.
Mathematics Subject Classification (2010): 35K55.
Keywords: Quasilinear parabolic equation, nonlocal boundary condition, finite
difference method.
1. Introduction
In this study, we consider the following mixed problem
∂u ∂ 2 u
− 2 = f (x, t, u), D := {0 < x < 1, 0 < t < T } (1.1)
∂t ∂x
u(0, t) = u(1, t), t ∈ [0, T ] (1.2)
ux (1, t) = 0, t ∈ [0, T ] (1.3)
u(x, 0) = ϕ(x), x ∈ [0, 1] (1.4)
for a quasilinear parabolic equation with the nonlinear source term f = f (x, t, u).
The functions ϕ(x) and f (x, t, u) are given functions on [0, 1] and D̄ × (−∞, ∞) ,
respectively.
Denote the solution of the problem (1.1)-(1.4) by u = u(x, t).
This problem was investigated with different boundary conditions by various
researchers by using Fourier or different methods [2, 4].
568 Fatma Kanca and Irem Baglan
ZT Z1
− [u(0, t)vx (0, t) − v(0, t)ux (0, t)] dt − ϕ(x)v(x, 0)dx = 0, (1.5)
0 0
for arbitrary test function v = v(x, t), is called a generalized (weak) solution of the
problem (1)-(4).
where
Z 1
ϕk = ϕ(x)Yk (x)dx,
0
Z 1
fk (x) = f (x, t, u)Yk (x)dx.
0
by B. Let
∞
X
ku(t)k = max 2 |u0 (t)| + 4 max |u2k (t)| + max |u2k−1 (t)| ,
0≤t≤T 0≤t≤T 0≤t≤T
k=1
Theorem 2.2. a) Let the function f (x, t, u) is continuous with respect to all arguments
in D̄ × (−∞, ∞) and satisfies the following condition
|f (x, t, u) − f (x, t, ũ)| ≤ b(x, t) |u − ũ| ,
where b(x, t) ∈ L2 (D), b(x, t) ≥ 0,
b) f (x, t, 0) ∈ C 2 [0, 1], t ∈ [0, 1],
c) ϕ(x) ∈ C 2 [0, 1].
Then the system (2.4) has a unique solution in D.
570 Fatma Kanca and Irem Baglan
Proof. For N = 0, 1, . . . let’s define an iteration for the system (2.4) as follows:
Zt Z1
(N +1) (0)
u0 (t) = u0 (t) + f (ξ, τ, Au(N ) (ξ, τ ))ξdξdτ,
0 0
Zt Z1
(N +1) (0) 2
(t−τ )
u2k (t) = u2k (t) + e−(2πk) f (ξ, τ, Au(N ) (ξ, τ )) sin 2πkξdξdτ,
0 0 (2.5)
Zt Z1
(N +1) (0) 2
(t−τ )
u2k−1 (t) = u2k−1 (t) + e−(2πk) f (ξ, τ, Au(N ) (ξ, τ ))ξ cos 2πkξdξdτ
0 0
Zt Z1
2
(t−τ )
−4πk e−(2πk) f (ξ, τ, Au(N ) (ξ, τ ))(t − τ ) sin 2πkξdξdτ,
0 0
where,
(0) (0) 2 (0) 2
u0 (t) = ϕ0 , u2k (t) = ϕ2k e−(2πk) t , u2k−1 (t) = (ϕ2k−1 − 4πk ϕ2k ) e−(2πk) t .
From the condition of the theorem we have u(0) (t) ∈ B. We will prove that the other
sequentially approximations satisfy this condition.
Let us write N = 0 in (2.5).
Zt Z1
(1) (0)
u0 (t) = u0 (t) + f (ξ, τ, Au(0) (ξ, τ ))dξdτ.
0 0
Zt Z1
Adding and subtracting f (ξ, τ, 0)dξdτ, applying Cauchy inequality, Lipschitz
0 0
condition, taking the maximum of both sides of the last inequality yields the following:
(1)
√ √
max u0 (t) ≤ |ϕ0 | + T kb(x, t)kL2 (D) u(0) (t) + T kf (x, t, 0)kL2 (D) .
0≤t≤T
Zt Z1
(1) −(2πk)2 t 2
(t−τ )
u2k (t) = ϕ2k e + e−(2πk) f (ξ, τ, Au(N ) (ξ, τ )) sin 2πkξdξdτ.
0 0
Zt Z1
2
(t−τ )
Adding and subtracting e−(2πk) f (ξ, τ, 0) sin 2πkξdξdτ, applying Cauchy in-
0 0
equality, taking the summation of both sides respect to k and using Hölder inequality,
Numerical solution for a quasilinear parabolic equation 571
Bessel inequality, Lipschitz condition and taking maximum of both sides of the last
inequality yields the following:
∞ ∞
X (1)
X 1 1
max u2k (t) ≤ |ϕ2k | + √ kb(x, t)kL2 (D) u(0) (t) + √ kf (x, t, 0)kL2 (D) .
k=1
0≤t≤T
k=1
4 3 4 3
In the same way, we obtain:
∞ ∞ ∞
X (1)
X 1 X ′′
max u2k−1 (t) ≤ |ϕ2k−1 | + √ ϕ2k
k=1
0≤t≤T
k=1
6 k=1
1 1
+ √ kb(x, t)kL2 (D) u(0) (t) + √ kf (x, t, 0)kL2 (D)
4 3 4 3
√ (0)
√
+ 2 |T | kb(x, t)kL2 (D) u (t) + 2 |T | kf (x, t, 0)kL (D) .
2
Zt Z1 h i
=2 f (ξ, τ, Au(0) (ξ, τ )) − f (ξ, τ, 0) ξdξdτ
0 0
Zt Z1 h i 2
+4 f (ξ, τ, Au(0) (ξ, τ )) − f (ξ, τ, 0) e−(2πk) (t−τ ) sin 2πkξdξdτ
0 0
Zt Z1 h i 2
+4 f (ξ, τ, Au(0) (ξ, τ )) − f (ξ, τ, 0) e−(2πk) (t−τ ) ξ cos 2πkξdξdτ
0 0
Zt Z1 h i 2
−16πk (t − τ ) f (ξ, τ, Au(0) (ξ, τ )) − f (ξ, τ, 0) e−(2πk) (t−τ ) sin 2πkξdξdτ.
0 0
Applying Cauchy inequality, Hölder inequality, Lipschitz condition and Bessel inequal-
ity to the right side of u(1) (t) − u(0) (t) respectively, we obtain:
(1) (0)
u(1) (t) − u(0) (t) ≤ 2 u0 (t) − u0 (t)
∞
(1) (0) (1) (0)
X
+4 u2k (t) − u2k (t) + u2k−1 (t) − u2k−1 (t)
k=1
21
√ ! Zt Z1
√ √ 2 3
≤ 2 T + 4 2 |T | + b2 (ξ, τ )dξdτ u(0) (t)
3
0 0
12
√ ! Zt Z1
√ √ 2 3
+ 2 T + 4 2 |T | + f 2 (ξ, τ, 0)dξdτ ,
3
0 0
21
√ ! Zt Z1
√ √ 2 3
AT = 2 T + 4 2 |T | + b2 (ξ, τ )dξdτ u(0) (t)
3
0 0
12
√ ! Zt Z1
√ √ 2 3
+ 2 T + 4 2 |T | + f 2 (ξ, τ, 0)dξdτ .
3
0 0
Applying Cauchy unequality, Hölder inequality, Lipschitz condition and Bessel in-
equality to the right hand side of u(2) (t) − u(1) (t) respectively, we obtain:
(2) (1)
u(2) (t) − u(1) (t) ≤ 2 u0 (t) − u0 (t)
∞
X
(2) (1) (2) (1)
+4 u2k (t) − u2k (t) + u2k−1 (t) − u2k−1 (t)
k=1
12
√ ! Zt Z1
√ √ 2 3
≤ 2 T + 4 2 |T | + b2 (ξ, τ )dξdτ AT .
3
0 0
Numerical solution for a quasilinear parabolic equation 573
then we may deduce that u(t) satisfies (2.4). For this aim we estimate the difference
u(t) − u(N +1) (t) B , after some transformation we obtain:
(N +1)
u(t) − u(N +1) (t) = 2 u0 (t) − u0 (t)
∞
(N +1) (N +1)
X
+4 u2k (t) − u2k (t) + u2k−1 (t) − u2k−1 (t)
k=1
Zt Z1 n o
≤2 f [ξ, τ, Au(ξ, τ )] − f [ξ, τ, Au(N ) (ξ, τ )] ξdξdτ
0 0
∞ Z t Z1 n o
X 2
(t−τ )
+4 e−(2πk) f [ξ, τ, Au(ξ, τ )] − f [ξ, τ, Au(N ) (ξ, τ )] sin 2πkξdξdτ
k=1 0 0
∞ Zt Z1 n o
X 2
(t−τ )
+4 e−(2πk) f [ξ, τ, Au(ξ, τ )] − f [ξ, τ, Au(N ) (ξ, τ )] ξ cos 2πkξdξdτ
k=1 0 0
Zt Z1 h i
+16πk (t − τ ) f (ξ, τ, Au(ξ, τ )) − f (ξ, τ, Au(N ) (ξ, τ ))
0 0
2
(t−τ )
·e−(2πk) sin 2πkξdξdτ .
574 Fatma Kanca and Irem Baglan
Adding and subtracting f (ξ, τ, Au(N +1) (ξ, τ )) under appropriate integrals to the right
hand side of the inequality we obtain
12
√ !Zt Z1
√ √ 2 3 2
u(t)−u(N +1) (t) ≤ 2 T +4 2|T |+ b2 (ξ, τ ) u(τ )−u(N +1) (τ ) dξdτ
3
0 0
12
√ ! Zt Z1
√ √ 2 3
+ 2 T + 4 2 |T | + b2 (ξ, τ )dξdτ u(N +1) (t) − u(N ) (t) .
3 B
0 0
Applying Gronwall’s inequality to the last inequality and using inequality (2.6), we
have
√ !(N +1)
√ √
r
(N +1) 2 2 3 (N +1)
u(t) − u (t) ≤ AT 2 T + 4 2 |T | + kb(x, t)kL2 (D)
B N! 3
√ !2
√ √ 2 3 2
× exp 2 T + 4 2 |T | + kb(x, t))kL2 (D) . (2.7)
3
For the uniqueness, we assume that the problem (1.1)-(1.4) has two solutions u, v.
Applying Cauchy inequality, Hölder inequality, Lipschitz condition and Bessel inequal-
ity to the right hand side of |u(t) − v(t)| respectively, we obtain:
√ !2 Zt Z1
2
√ √ 2 3 2
|u(t) − v(t)| ≤ 2 T + 4 2 |T | + b2 (ξ, τ ) |u(τ ) − v(τ )| dξdτ,
3
0 0
applying Gronwall’s inequality to the last inequality we have u(t) = v(t).
The theorem is proved.
it follows
lim f (ξ, τ, ul (τ, ξ)) = f (ξ, τ, u(ξ, τ )).
l→∞
Using ul (ξ, τ ) and
l
X
ϕl (x) = 2ϕ0 + 4 [ϕ2k (1 − x)sin2πkx + ϕ2k−1 cos2πkx], x ∈ [0, 1]
k=1
Applying the integration by part formula to the right hand side the last equation and
using the conditions of Theorem 2.2 , we can show that
lim Jl = 0.
l→∞
This shows that the function u(x, t) is a generalized(weak) solution of the problem
(1.1)-(1.4).
The following theorem shows the existence and uniqueness results for the generalized
solutions of problem (1.1)-(1.4).
Theorem 3.1. Under the assumptions of Theorem 2.2, Problem (1.1)-(1.4) possesses
a unique generalized solution u = u(x, t) ∈ C(D) in the following form
∞
X
u(x, t) = 2u0 (t) + 4 [u2k (t)(1 − x)sin2πkx + u2k−1 (t)cos2πkx].
k=1
21
√ ! Zt Z1
√ √ 2 3
2 T + 4 2 |T | + b2 (ξ, τ )dξdτ u(0) (t)
3
0 0
12
√ ! Zt Z1
√ √ 2 3 2
+ 2 T + 4 2 |T | + b (ξ, τ )dξdτ v (0) (t)
3
0 0
21
√ ! Zt Z1
√ √ 2 3 2
+ 2 T + 4 2 |T | + f 2 (ξ, τ, 0) − f (ξ, τ, 0)dξdτ ,
3
0 0
" √ !
√ √ 2 3
AT = kϕ − ϕk + 2 T + 4 2 |T | + kb(x, t)k u(0) (t)
3
√ ! # √ !
√ √ 2 3 (0)
√ √ 2 3
+ 2 T + 4 2 |T | + kb(x, t)k v (t) + 2 T + 4 2 |T | + f −f .
3 3
kϕ − ϕk = 2 max |ϕ0 − ϕ0 |
∞ √ ∞
X 2 6 |T | X ′′ ′′
+4 max |ϕ2k − ϕ2k | + max |ϕ2k−1 − ϕ2k−1 | + max ϕ2k − ϕ2k .
3
k=1 k=1
Applying Cauchy inequality, Hölder inequality, Lipschitz condition and Bessel inequal-
ity to the right hand side of u(2) (t) − v (2) (t) respectively, we obtain:
(2) (2)
u(2) (t) − v (2) (t) ≤ 2 u0 (t) − v0 (t)
∞
X
(2) (2) (2) (2)
+4 u2k (t) − v2k (t) + u2k−1 (t) − v2k−1 (t)
k=1
21
√ ! Zt Z1
√ √ 2 3
≤ 2 T + 4 2 |T | + b2 (ξ, τ )dξdτ AT
3
0 0
21
√ ! Zt Z1
√ √ 2 3 2
+ 2 T + 4 2 |T | + b (ξ, τ )dξdτ AT .
3
0 0
In the same way, for a general value of N we have
(N +1) (N +1)
u(N +1) (t) − v (N +1) (t) ≤ 2 u0 (t) − v0 (t)
∞
X
(N +1) (N +1) (N +1) (N +1)
+4 u2k (t) − v2k (t) + u2k−1 (t) − v2k−1 (t)
k=1
2 N2
√ !N t Z1
√ √ 2 3 AT
Z
≤ 2 T + 4 2 |T | + √ b2 (ξ, τ )dξdτ
3 N!
0 0
578 Fatma Kanca and Irem Baglan
2 N2
√ !N Zt Z1
√ √ 2 3 A 2
+ 2 T + 4 2 |T | + √ T b (ξ, τ )dξdτ
3 N!
0 0
√ !N
√ √ 2 3 1
≤ 2 T + 4 2 |T | + AT √ kb(x, t)kN
L2 (D)
3 N!
√ !N
√ √ 2 3 1 N
+ 2 T + 4 2 |T | + AT √ b(x, t) L2 (D)
3 N!
≤ AT · aN = aN (kϕ − ϕk + C(t) + M1 f − f )
where
2 N2
√ !N Zt Z1
√ √ 2 3 1
aN = 2 T + 4 2 |T | + √ b2 (ξ, τ )dξdτ
3 N!
0 0
2 N2
√ !N Zt Z1
√ √ 2 3 1 2
+ 2 T + 4 2 |T | + √ b (ξ, τ )dξdτ .
3
N!
0 0
and
√
√ √ 2 3 N
M1 = (2 T + 4 2 |T | + ) .
3
(The sequence aN is convergent then we can write aN ≤ M, ∀N ). It follows from
the estimation ([2], page 76-77) that lim u(N +1) (t) = u(t), then let N → ∞ for last
N →∞
equation
|u(t) − v(t)| ≤ M kϕ − ϕk + M2 f − f )
where M2 = M.M1 . If f − f ≤ ε and kϕ − ϕk ≤ ε then |u(t) − v(t)| ≤ ε.
∂u(n) ∂ 2 u(n)
− = f (x, t, u(n−1) ), (x, t) ∈ D (5.1)
∂t ∂x2
u(n) (0, t) = u(n) (1, t), t ∈ [0, T ] (5.2)
u(n)
x (1, t) = 0, t ∈ [0, T ] (5.3)
(n)
u (x, 0) = ϕ(x), x ∈ [0, 1] . (5.4)
Numerical solution for a quasilinear parabolic equation 579
Let u(n) (x, t) = v(x, t) and f (x, t, u(n−1) ) = fe(x, t). Then the problem (5.1)-(5.4)
can be written as a linear problem:
∂v ∂2v
− 2 = fe(x, t) (x, t) ∈ D (5.5)
∂t ∂x
v(0, t) = v(1, t), t ∈ [0, T ] (5.6)
vx (1, t) = 0, t ∈ [0, T ] (5.7)
v(x, 0) = ϕ(x), x ∈ [0, 1] . (5.8)
We use the finite difference method to solve (5.5)-(5.8).
We subdivide the intervals [0, 1] and [0, T ] into M and N subintervals of equal lengths
1 T
h= M and τ = N , respectively. Then, we add a line x = (M + 1) h to generate the
fictitious point needed for the second boundary condition.
We choose the implicit scheme, which is absolutely stable and has a second order
accuracy in h and a first order accuracy in τ.
The implicit monotone difference scheme for (5.5)-(5.8) is as follows:
vi,j+1 − vi,j a2
= 2 (vi−1,j+1 − 2vi,j+1 + vi+1,j+1 ) + fei,j+1
τ h
vi,0 = ϕi , v0,j = vM,j , vx,Mj = 0
where 0 ≤ i ≤ M and 1 ≤ j ≤ N are the indices for the spatial and time steps,
respectively, vi,j is the approximation to v(xi , tj ), fi,j = f (xi , tj ), vi = v(xi ), xi = ih,
tj = jτ . [12]
At the t = 0 level, adjustment should be made according to the initial condition
and the compatibility requirements.
6. Numerical example
In this section, we will consider an example of numerical solution of the problem
(1.1)-(1.4).
These problems were solved by applying the iteration scheme and the finite
difference scheme which were explained in the Section 5. The condition
(n+1) (n)
error(i, j) := ui,j − ui,j
∞
−3
with error(i, j) := 10 was used as a stopping criteria for the iteration process.
Example 6.1. Consider the problem
∂u ∂ 2 u
− 2 = 1 − (2π)2 (cos 2πx + (sin 2πx)2 ) u
∂t ∂x
u(x, 0) = exp(− cos 2πx), x ∈ [0, 1]
u(0, t) = u(1, t), t ∈ [0, T ] , ux (1, t) = 0, t ∈ [0, T ] .
It is easy to see that the analytical solution of this problem is
u(x, t) = exp(t − cos 2πx).
The comparisons between the analytical solution and the numerical finite difference
solution f when T = 1 are shown in Figure 1 for the step sizes h = 0.0025, τ = 0.0025.
580 Fatma Kanca and Irem Baglan
5
u(1,t)
0
0 0.2 0.4 0.6 0.8 1
x
Figure 1. The exact and numerical solutions of u(x, 1), the exact
solution is shown with dashes line.
References
[1] Chandirov, G.I., On mixed problem for a class of quasilinear hyperbolic equation, Ph.D.
Thesis, Tibilisi, 1970.
[2] Ciftci (Baglan), I., Halilov, H., On Fourier Method for a Qusilinear Parabolic Equation
with Periodic Boundary Condition, Hacettepe Journal of Mathematics and Statistics,
37(2008), no. 2, 69-79.
[3] Conzalez-Velasco, E.A., Fourier Analysis and Boundary Value Problems, Academic
Press, Newyork, 1995.
[4] Hasanov, K.K., On solution of mixed problem for a quasilinear hiperbolic and parabolic
equation, Ph.D. Thesis, Baku, 1961.
[5] IL’in, V.A., Solvability of mixed problem for hyperbolic and parabolic equation, Uspekhi
Math. Nauk., 15(2)(1960), 97-154.
[6] Ionkin, N.I., Solution of a boundary-value problem in heat conduction with a nonclassical
boundary condition, Differential Equations, 13(1977), 204-211.
[7] Ismailov, M.I., Kanca, F., An inverse coefficient problem for a parabolic equation in the
case of nonlocal boundary and overdetermination conditions, Math. Meth. Appl. Sci.,
34(2011), 692-702.
[8] Kanca, F., Ismailov, M.I., The Inverse Problem of Finding the Time-dependent Diffu-
sion Coefficient of the Heat Equation from Integral Overdetermination Data, Inverse
Problems in Science and Engineering, 20(2012), 463-476.
[9] Ladyzhenskaya, D.A., Boundary Value Problems of Mathematical Physics, Springer,
Newyork, 1985.
Numerical solution for a quasilinear parabolic equation 581
[10] Nakhushev, A.M., Equations of Mathematical Biology, Moscow, 1995 (in Russian).
[11] Sakinc (Baglan), I., Numerical Solution of a Quasilinear Parabolic Problem with Periodic
Boundary Condition, Hacettepe Journal of Mathematics and Statistics, 39(2010), 183-
189.
[12] Samarskii, A.A., The theory of difference schemes, Marcel Dekker, New York, 2001.
Fatma Kanca
Kadir Has University
Department of Management Information Systems
34083, Istanbul, Turkey
e-mail: [email protected]
Irem Baglan
Kocaeli University
Department of Mathematics
Kocaeli 41380, Turkey
e-mail: [email protected]
Stud. Univ. Babeș-Bolyai Math. 60(2015), No. 4, 583–595
Abstract. The purpose of this paper is to describe the geodesics of the three-
dimensional Bolyai-Lobachevskian hyperbolic space. We also determine the equa-
tion of the orthogonal surfaces and the scalar curvature of the surfaces of revo-
lution. The metric applied is the Lobachevskian metric extended into three di-
mensions. During the analysis we use Cartesian and cylindrical coordinates. This
article is a continuation of the paper [4].
Mathematics Subject Classification (2010): 53A35.
Keywords: Hyperbolic geometry, geodesics, orthogonal surfaces, cylindrical coor-
dinates.
1. General context
In the literature exists several models for hyperbolic geometry, see [1]-[10]. The
aim of this paper is to present a three dimensional model using [8] to describe some
classical and new properties.
We consider the following metric
z y
ds2 = cosh2 cosh2 dx2 + dy 2 + dz 2 , (1.1)
k k
where k is the parameter of the three-dimensional hyperbolic space, and x, y, z are
the Cartesian coordinates of any P (x, y, z) point. The usage of Cartesian coordinates
is justified by the existence of such hyperbolic lines which can also be considered
Euclidean lines. These lines include the coordinate axes illustrated in figure 1. Note
that the x-value can only be determined by axis Ox. Figure 1 also represents how the
coordinates of any P (x, y, z) point are determined: x = OP2 , y = P1 P2 , z = P P1 .
From metric (1.1) we can obtain two possible symmetry operations. These consist
of the reflections across the coordinate planes and the translation of the origin along
the direction of the x-axis (the values y and z are not modified).
584 Zoltán Gábos and Ágnes Mester
Figure 1
If we use x instead of variable s in (1.2), we can write equations (1.3) and (1.4)
in the following form:
d2 tanh ky 1 y
2
− 2 tanh = 0, (1.5)
! dx" k k #
2
d tanh kz d tanh ky
d 1 1 2 2 y z
2 y − 2
1 + k cosh tanh = 0. (1.6)
dx cosh k dx k k dx k
If we use variable x, we can apply the results obtained in the hyperbolic plane
by determining the function y = y(x). Moreover, we claim that the projections of
the geodesics in the three-dimensional space to the xOy plane are geodesics of the
two-dimensional plane.
Using (1.1) and (1.2), we get
" 2 #
d tanh ky d tanh kz 2
1 1 1 2 2 1
= + k + k . (1.7)
C12 cosh2 kz cosh2 ky dx cosh4 ky dx
Lines in the three-dimensional hyperbolic geometry 585
In the following sections we describe the different types of lines. Note that each
line verifies the differential equations which characterize the geodesics. Also, C1 and C2
are constant values. During the analysis our choice of coordinates may vary depending
on the form of calculations.
The lines verifying equations (2.2) and (2.3) also satisfy the (1.5) and (1.6) differential
equations. Using (1.7), we get
C1 = cos ϕ sin ϑ
constant. Therefore, the lines crossing the origin satisfy the conditions mentioned in
the previous section.
In the two-dimensional hyperbolic plane the orthogonal curves of lines crossing
the origin are circles. Based on the rotational symmetry operation, we claim that in the
three-dimensional case the orthogonal surfaces are spheres. By the use of cylindrical
coordinates we can write
ρ z R
cosh cosh = cosh . (2.4)
k k k
In order to determine the curvature of the sphere surface, we use the metric
sinh2 R 2 R
k cosh k R ρ
E(ρ) = , G(ρ) = k 2 cosh2 tanh2 .
cosh2 kρ cosh k − cosh2 kρ
2 R k k
Lines in the three-dimensional hyperbolic geometry 587
Figure 2
We can obtain the distance d between the points P0 (a, 0, 0) and P2 (0, b, 0) from
d a b
cosh = cosh cosh .
k k k
588 Zoltán Gábos and Ágnes Mester
where s
tanh2 b
r
a b
B= 1+ k
, A= cosh2 cosh2 − 1.
sinh2 ka k k
Using (1.5) and (1.6) one can easily prove that equations (3.1) and (3.2) determine
geodesic lines. Also, formula (1.13) implies
! !
1 tanh2 kb tanh2 kc
= 1+ 1+ , (3.3)
C12 sinh2 ka cosh2 ka cosh2 kb − 1
thus C1 is constant.
Now we determine the orthogonal surface of the family of lines crossing point
P0 ∈ Ox. As the translation of the origin along the direction of the x-axis into point
P0 is a symmetry operation, we obtain spheres with center P0 . If we use Cartesian
coordinates, these spheres verify
x−a y z R
cosh cosh cosh = cosh . (3.4)
k k k k
The curvature of the orthogonal surface is determined by formula (2.5).
As a −→ ∞, we obtain lines being parallel to the x-axis:
y b x z tanh kc
tanh = tanh e− k , tanh = q .
k k k cosh2 b e2x − sinh2 b
k k
Thus we get
C1 = 1.
If
R = a, (3.5)
by applying equation (3.4), we obtain the equation of a parasphere containing the
origin:
y z x
cosh cosh = e k .
k k
Lines in the three-dimensional hyperbolic geometry 589
Using the rotational symmetry operation, we obtain for the line passing through
points P1 (0, 0, z0 ) and P2 (a, b, 0)
ρ −ρ
z z0 sinh 0k
tanh = tanh . (4.4)
k k sinh ρk0
This formula satisfies equation (4.3), where
ρ0 a b
cosh = cosh cosh .
k k k
Also
1 tanh2 zk0
= 1 + . (4.5)
C2 sinh2 ρk0
If ρ0 −→ ∞, it follows that
z z0 ρ
tanh = tanh e− k (4.6)
k k
and
C = 1.
b. Lines not crossing the xOy plane
In this case the lines have a minimum point. If we apply the rotational symmetry,
we obtain
ρ −ρ
z z0 cosh mk
tanh = tanh , (4.7)
k k cosh ρkm
where ρm denotes the value of ρ determined by the minimum point. For the value of
C we have
1 tanh2 zk0
= 1 − . (4.8)
C2 cosh2 ρkm
If ρm = 0, which means that the intersection coincides with the minimum point, we
can write
z z0 ρ
tanh = tanh cosh (4.9)
k k k
and
z0
C = cosh .
k
If we consider the lines passing through P (0, 0, z0 ), we get for the orthogonal curves
circles with center P in the xOz plane. Therefore, because of the rotational symmetry,
the orthogonal surfaces of the lines containing P (0, 0, z0 ) are spheres with center P ,
which verify
z0 z ρ z0 z R
cosh cosh cosh − sinh sinh = cosh . (4.10)
k k k k k k
Now let us consider the orthogonal surface which is perpendicular to the xOy plane
and contains the projected line. Here we use variables ρ and z. Furthermore, we will
use indexes 1 and 2 for two arbitrary lines which intersect in point P (ρ, z) on this
surface. Thus we obtain
dz1 dz2 z
+ cosh2 = 0,
dρ1 P dρ2 P k
Lines in the three-dimensional hyperbolic geometry 591
where the lower index P means that we need to substitute the coordinates of the
intersection.
Using equations (4.4), (4.6) and (4.7), we get for the lines crossing the z-axis
z1 z0 ρ1 ρ1
tanh = tanh cosh − p sinh . (4.11)
k k k k
In the three different cases (lines crossing the xOy plane, lines not crossing the xOy
plane, lines parallel to the xOy plane) the required values are as follows:
ρ0 ρm
coth , tanh and 1.
k k
By deriving equation (4.11) we obtain
dz1 z0 z1 ρ1 ρ1
= tanh cosh2 sinh − p cosh . (4.12)
dρ1 k k k k
Then, using (4.11) and (4.12), we eliminate variable p. Thus we get
dz1 tanh zk0 cosh2 zk1 z0 z1 ρ1
= ρ1 coth tanh cosh −1 .
dρ1 sinh k k k k
After differentiating equation (4.10) we obtain
dz2 coth zk0 sinh ρk2
=− .
dρ2 coth zk0 tanh zk2 coth ρk2 − 1
In the point of intersection we have ρ1 = ρ2 = ρ and z1 = z2 = z. Thus the orthogo-
nality condition holds, which proves the validity of equation (4.10).
Equation (4.10) can be written in the following form:
z0
ρ cosh R z
k + sinh k sinh k
cos = = F (ρ). (4.13)
k cosh zk0 cosh kz
Furthermore, equation (1.13) yields metric
2
1 − F 2 + cosh2 kz dF
dρ z
ds2 = dρ2 + k 2 cosh2 F 2 − 1 dϕ2 .
(4.14)
F2 − 1 k
Using metric (4.14) and formula (4.13), we can obtain the curvature of the orthogonal
surface. The Ricci scalar is determined by formula (2.5).
In the four different cases (lines crossing the origin, lines crossing the xOy plane, lines
not crossing the xOy plane, lines parallel to the xOy plane) the values of the constant
A are as follows:
1 tanh2 zk0 tanh2 zk0
2 , 1+ 2 z0 , 1− and 1.
sin ϑ sinh k cosh2 ρkm
The Christoffel symbols of the second kind are as follows:
1 dE Φ dΦ
dρ
Γ111 = =2 ,
2E dρ 1 − Φ2
1 dG k ρ ρ k2 ρ dΦ
Γ122 =− = − sinh cosh 1 − Φ2 − sinh2 Φ ,
2E dρ A k k A k dρ
1 dG 1 1 ρ dΦ
Γ212 2
= = 1 − Φ coth + Φ ,
2G dρ 1 − Φ2 k k dρ
C1 is real if and only if cosh kb ≤ coth zk0 . Indeed, using formula (4.9) as z0 −→ ∞, we
get for the maximal value of ρ
ρm z0
cosh = coth .
k k
From !
d 1 d tanh kz cosh xk
=
dx cosh2 ky dx 3
k 2 1 − tanh y0 cosh2 x 2 cosh2 y0
k k k
and z 2
y d tanh k 1
1 + k 2 cosh2 =
cosh2 yk0
1 − tanh yk0 cosh2 xk
k dx
it follows that the lines verifying (7.1) and (7.2) satisfy differential equations (1.5)
and (1.6).
If we use cylindrical coordinates, from
ρ b
coth = coth sin ϕ (7.4)
k k
and equation (4.9) we get
z z0 b sin ϕ
tanh = tanh coth q . (7.5)
k k k coth2 b sin2 ϕ − 1
k
These lines verify differential equations (1.17) and (1.18). Applying (1.19), we get for
the value of C2
k2
1 2 z0 2 b
= 1 − tanh cosh .
C22 sinh2 kb k k
Thus C2 is real if and only if cosh kb ≤ coth zk0 .
If we use equation (4.9) and formula
ρ a
coth = coth (sin ϕ + cos ϕ) , (7.6)
k k
we obtain a different line which satisfies
z z0 a sin ϕ + cos ϕ
tanh = tanh coth q . (7.7)
k k k coth2 a (sin ϕ + cos ϕ)2 − 1
k
The curves verifying (7.6) and (7.7) also satisfy the differential equations (1.17) and
(1.18). Also, from
1 cosh2 ka + cosh2 zk0
2 = k2
C2 sinh2 ka cosh2 zk0
we obtain a constant value for C2 . Thus these lines are lines of the hyperbolic space.
If we use Cartesian coordinates, instead of (7.6) and (7.7) we may write
y a x x
tanh = tanh cosh − sinh
k k k k
and
z z0 cosh xk
tanh = tanh q 2 .
k k
1 − tanh ka cosh xk − sinh xk
Lines in the three-dimensional hyperbolic geometry 595
For each surface of revolution the scalar curvature equals the curvature of the xOy
plane and xOz is a plane of symmetry. Hence we obtain surfaces on the left and
the right side of the xOz plane. However, only equation (4.9) provides a necessary
condition. Let us consider a line crossing axis Oz, which connects two distinct surfaces.
The transitions between the line and the surfaces are smooth (the tangent vector field
is continuous) only in the case of (4.9). Therefore, new lines can only be derived by
the surface of revolution (4.9).
References
[1] Bolyai, J., Kárteszi, F., Appendix, a tér tudománya, Akadémiai Kiadó, Budapest, 1977.
[2] Dávid L., Bolyai geometria az Appendix alapján, Kolozsvár, 1944.
[3] Dubrovin, B.A., Fomenko, A.T., Novikov, S.P., Modern Geometry - Methods and Appli-
cations, Springer, New York, 1984.
[4] Gábos, Z., Mester, Á., Curves with constant geodesic curvature in the Bolyai-
Lobachevskian plane, Stud. Univ. Babeş-Bolyai Math., 60(2015), no. 3, 449-462.
[5] Liebmann, H., Nichteuklidische Geometrie, Leipzig, Berlin, 1923.
[6] Lobacsevszkij., N.I., Kárteszi F., Geometriai vizsgálatok a párhuzamosok elméletének
köréből, Akadémiai Kiadó, Budapest, 1951.
[7] Lobacsevszkij, N.I., Pangeometrie, Leibzig, 1902.
[8] Sanielevici, S., Opera matematică (Romanian), [Mathematical Works], Editura
Academiei Republicii Socialiste România, Bucharest, 1968.
[9] Szász, P., Bevezetés a Bolyai-Lobacsevszkij-féle geometriába, Akadémiai Kiadó, Bu-
dapest, 1973.
[10] Thorpe, J. A., Elementary Topics in Differential Geometry, Springer, New York, 1994.
Zoltán Gábos
Babeş-Bolyai University, Faculty of Physics
Cluj-Napoca, Romania
e-mail: [email protected]
Ágnes Mester
Babeş-Bolyai University, Faculty of Mathematics and Computer Science
Cluj-Napoca, Romania
e-mail: [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 597–601
1. Introduction
Multisymplectic structures in field theory play a role similar to that of sym-
plectic structures in classical mechanics. In the other hand supergeometry plays an
important role in physics. In [2] and [3], the authors studied geometry of symplectic
connections and in [1], the author studied symplectic connections on supermanifold.
In this paper we study multisymplectic connections on supermanifolds.
A supermanifold M of dimension n|m is a pair (M, OM ), where M is a Hausdorff
topological space and OM is a sheaf of commutative superalgebras with unity over
R locally isomorphic to Rm|n = (Rn , ORn ⊗ Λη1 ,...,ηm ), where ORn is the sheaf of
smooth functions on Rn and Λη1 ,...,ηm is the grassmann superalgebra of m generators
(for more details see [5]).
for all homogeneous function f , vector fields X and section v of ξ. (In the case ξ = TM
we speak of a connection on M).
598 Masoud Aminizadeh and Mina Ghotbaldini
i=0
Multisymplectic connections on supermanifolds 599
X P
+ (−1)j+ Y j Yp
ω(Y0 , ..., Yi−1 , [Yi , Yj ], Yi+1 , ..., Yˆj , ..., Yk )
f f
i<p<j
i<j
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) Y (ω(Y , ..., Ŷ , ..., Y ))
f
i 0 i k
i=0
X P
+ (−1) j+ i<p<j Y j Yp
ω(Y0 , ..., Yi−1 , ∇0Yi Yj − (−1)Yi Yj ∇0Yj Yi , Yi+1 , ..., Yˆj , ..., Yk )
f f ef
i<j
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) Y (ω(Y , ..., Ŷ , ..., Y ))
f
i 0 i k
i=0
X P
+ (−1) j+ i<p<j Y j Yp
ω(Y0 , ..., Yi−1 , ∇0Yi Yj , Yi+1 , ..., Yˆj , ..., Yk )
f f
i<j
X P
− (−1)j+ i≤p<j Yj Yp ω(Y0 , ..., Yi−1 , ∇0Yj Yi , Yi+1 , ..., Yˆj , ..., Yk )
ff
i<j
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) Y (ω(Y , ..., Ŷ , ..., Y ))
f
i 0 i k
i=0
X P
+ (−1) j+ i<p<j Y j Yp
ω(Y0 , ..., Yi−1 , ∇0Yi Yj , Yi+1 , ..., Yˆj , ..., Yk )
f f
i<j
X P
− (−1)i+ Yei Y p
ω(Y0 , ..., Yj−1 , ∇0Yi Yj , Yj+1 , ..., Ŷi , ..., Yk )
f
j≤p<i
j<i
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) Y (ω(Y , ..., Ŷ , ..., Y ))
f
i 0 i k
i=0
X P
i+ i<p<j Yei Y
− (−1) p
ω(Y0 , ..., Yi−1 , Ŷi , ..., Yj−1 , ∇0Yi Yj , Yj+1 , ..., Yk )
f
i<j
X P
− (−1)i+ Yei Y p
ω(Y0 , ..., Yj−1 , ∇0Yi Yj , Yj+1 , ..., Ŷi , ..., Yk )
f
j≤p<i
j<i
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) (Y (ω(Y , ....Ŷ , ..., Y ))
f
i 0 i k
i=0
X P
− (−1)Yi (eω+ Y p)
ω(Y0 , ..., Yj−1 , ∇0Yi Yj , ..., Ŷi , ..., Yk )
e f
p<i
j
k
X e e P
= (−1)i+Yi (w+ p<i Yp ) ∇0 ω(Y , ..., Ŷ , ..., Y )
f
Yi 0 i k
i=0
k
X P
+ (−1)i+Yi (eω+ p<i Yp ) ∇0Yi ω(Y0 , ..., Ŷi , ..., Yk )
e f
i=1
P
= ω(N (Y0 , Y1 ), Y2 , ..., Yk ) + Σki=1 (−1)i+ Y p Yi
ω(N (Yi , Y0 ), Y1 , ..., Ŷi , ..., Yk ).
f e
p<i
600 Masoud Aminizadeh and Mina Ghotbaldini
i=1
k
X P
= Y0 (ω(Y1 , ..., Yk )) − (−1)Y0 (eω+ p<i Yp ) ω(Y1 , ..., Yi−1 , ∇0Y0 Yi
f f
i=1
1 (−1)Y0 Yi
fe
+ N (Y0 , Yi ) + N (Yi , Y0 ), Yi+1 , ..., Yk )
k+1 k+1
k
X P
= Y0 (ω(Y1 , ..., Yk )) − (−1)Y0 (eω+ 1≤p<i Yp ) ω(Y1 , ..., Yi−1 , ∇0Y0 Yi , Yi+1 , ..., Yk )
f f
i=1
k
1 X P
− (−1)Y0 (eω+ Y p)
ω(Y1 , ..., Yi−1 , N (Y0 , Yi ), Yi+1 , ..., Yk )
f f
1≤p<i
k+1 i=1
k
1 X P
− (−1)Y0 (eω+ 1≤p≤i Yp ) ω(Y1 , ..., Yi−1 , N (Yi , Y0 ), Yi+1 , ..., Yk )
f f
k + 1 i=1
= ∇0Y0 ω(Y1 , ..., Yk )
k
1 X e P
− (−1)i−1 (−1)Y0 ωe +Yi 1≤p<i Yp ω(N (Y0 , Yi ), Y1 , ..., Ŷi , .., Yk )
f f
k + 1 i=1
k
1 X e P
− (−1)i−1 (−1)Y0 ωe +Yi 0≤p<i Yp ω(N (Yi , Y0 ), Y1 , ..., Ŷi , ..., Yk )
f f
k + 1 i=1
k
= (−1)Y0 ωe ω(N (Y0 , Y1 ), Y2 , ..., Yk ) − (−1)Y0 ωe ω(N (Y0 , Y1 ), Y2 , ..., Yk )
f f
k+1
k
1 X e P
+ (−1)i+Y0 ωe +Yi 0≤p<i Yp ω(N (Yi , Y0 ), Y1 , ..., Ŷi , ..., Yk )
f f
k + 1 i=1
1
= (−1)Y0 ωe (ω(N (Y0 , Y1 ), Y2 , ..., Yk )
f
k+1
Multisymplectic connections on supermanifolds 601
k
X e P
+ (−1)i+Yi p<i Yp ω(N (Yi , Y0 ), Y1 , ..., Ŷi , ..., Yk )) = 0.
f
i=1
0
Let now ∇ be a multisymplectic connection and ∇X Y = ∇X Y + S(X, Y ), where
S is a tensor field on M. We have
Theorem 2.4. ∇0 is a multisymplelectic connection if and only if S is supersymmetric
and X P
(−1) p<i Y0 Yp ω(Y1 , ..., Yi−1 , S(Y0 , Yi ), Yi+1 , ..., Yk ) = 0.
ff
We have 0
0 = ∇Y0 ω(Y1 , ..., Yk ) = Y0 (ω(Y1 , ..., Yk ))
X P 0
− (−1)Y0 (eω+ p<i Yp ) ω(Y1 , ..., Yi−1 , ∇Y0 Yi , Yi+1 , .., Yk )
f f
i
P
= ∇Y0 ω(Y1 , ..., Yk ) − (−1)Y0 ωe (Σi (−1) p<i Y0 Yp ω(Y1 , ..., Yi−1 , S(Y0 , Yi ), Yi+1 , ..., Yk )).
f ff
So X P
(−1) p<i Y0 Yp ω(Y1 , ..., Yi−1 , S(Y0 , Yi ), Yi+1 , ..., Yk ) = 0.
ff
References
[1] Blaga, P.A., Symplectic connections on supermanifolds: Existence and non-uniqueness,
Stud. Univ. Babeş-Bolyai Math., 58(2013), no. 4, 477-483.
[2] Bieliavsky, P., Cahen, M., Gutt, S., Rawnsley, J., Schwachhofer, L., Symplectic connec-
tions, math/0511194.
[3] Gelfand, I., Retakh, V., Shubin, M., Fedosov manifolds, Advan. Math., 136(1998), 104-
140.
[4] Goertsches, O., Riemannian supergeometry, Math. Z., 260, (2008), 557-593.
[5] Leites, D.A., Introduction to the theory of supermanifolds, Russian Mathematical Sur-
veys, 35(1980), 1-64.
Masoud Aminizadeh
“Vali-e-Asr” University of Rafsanjan
Department of Mathematics
Rafsanjan, Iran
e-mail: [email protected]
Mina Ghotbaldini
“Vali-e-Asr” University of Rafsanjan
Department of Mathematics
Rafsanjan, Iran
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 603–609
1. Introduction
Andrica and Badea (see [1]) have proved the following result.
Let p1 , p2 , . . . , pn be non-negative real numbers and a1 , a2 , . . . , an and b1 , b2 , . . . , bn
real numbers with the properties
0 < r1 ≤ ai ≤ R1 < +∞ and 0 < r2 ≤ bi ≤ R2 < +∞
for each i = 1, 2, . . . , n. Further, let S be a subset of In = {1, 2, . . . , n} which minimizes
the expression
n
X 1X
pi − pi . (1.1)
2 i=1
i∈S
Then
n
X n
X n
X n
X
pi pi ai bi − pi ai pi bi
i=1 i=1 i=1 i=1
n
!
X X X
≤ (R1 − r1 )(R2 − r2 ) pi pi − pi (1.2)
i∈S i=1 i∈S
In this paper we consider bounds of some graph invariants and prove that they
are direct corollaries of inequalities (1.2) and (1.3). Some of the obtained bounds are
better than those obtained in the literature so far.
In the next section we recall some results from spectral graph theory needed for
our work.
3. Main result
In the following theorem we prove the inequality that establishes lower and upper
bounds for invariant M1 in terms of parameters n, m, d1 and dn .
Theorem 3.1. Let G = (V, E) be undirected connected graph with n, n ≥ 2, vertices
and m edges. Then
4m2 1 4m2
+ (d1 − dn )2 ≤ M1 ≤ + nα(n)(d1 − dn )2 , (3.1)
n 2 n
Andrica-Badea and Nagy inequalities in spectral graph theory 605
where
(1
(−1)n+1 + 1
1 jnk 1 jnk 1 , if n is even
α(n) = 1− = 1− = n4 2 −1
n 2 n 2 4 2n2 4n2 , if n is odd
Equality holds if and only if G is regular graph.
Proof. For ai = di , i = 1, 2, . . . , n, R = d1 and r = dn , the inequality (1.3) transforms
into
n n
!2
X
2
X n
n di − di ≥ (d1 − dn )2 ,
i=1 i=1
2
i.e. according to (2.1), into
n
nM1 − 4m2 ≥ (d1 − dn )2 , (3.2)
2
wherefrom the left part of inequality (3.1) is obtained.
For pi = 1, i = 1, 2, . . ., n and S = {1, 2, . . . , k} ⊂ In , the expression (1.1)
reaches the minimum for k = n2 . Now for S = {1, 2, . . . , b n2 c}, pi = 1, ai = bi = di ,
i = 1, 2, . . . , n, r1 = r2 = dn and R1 = R2 = d1 , the inequality (1.2) becomes
n n
!2
X X jnk j n k
2
n di − di ≤ (d1 − dn )2 n−
i=1 i=1
2 2
i.e.
nM1 − 4m2 ≤ n2 (d1 − dn )2 α(n) (3.3)
where
(1
(−1)n+1 + 1
1 jnk 1 jnk 1 , if n is even
α(n) = 1− = 1− 2
= n4 2 −1 .
n 2 n 2 4 2n 4n2 , if n is odd
References
[1] Andrica, D., Badea, C., Grüs inequality for positive linear functionals, Period. Math.
Hungar, 19(1988), no. 2, 155–167.
[2] Bell, F.K., A note on the irregularity of graphs, Lin. Algebra Appl., 161(1992), 45–54.
[3] Biggs, N., Algebraic graph theory, Cambridge Univ. Press, Cambridge, UK, 1993.
[4] Butler, S., Eigenvalues and structures of graph, Ph. Dissertation, University of Califor-
nia, San Diego, 2008.
[5] de Caen, D., An upper bound on the sum of squares of degrees in a graph, Discr. Math.,
185(1998), no. 1-3, 245–248.
[6] Cavers, M., Fallat, S., Kirkland, S., On the normalized Laplacian energy and general
Randic index of graphs, Lin. Algebra Appl., (2010), no. 433, 172–190.
[7] Chung, F.R.K., Spectral graph theory, Am. Math. Soc., Providence, 1997.
[8] Cvetković, D., Doob, M., Sachs, H., Spectra of graph theory and application, New York,
Academic Press, 1980.
[9] Edwards, C.S., The largest vertex degre sum for a triangle of a graph, Bull. London
Math. Soc., 9(1977), 203–208.
[10] Fath-Tabar, G.H., Ashrafi, A.R., Some remark on Laplacian eigenvalues of graphs, Math.
Commun., 15(2010), no. 2, 443-451.
[11] Goldberg, F., New results on eigenvalues on degree deviation http://orXiv
org.1403.269V1, 2014.
[12] Gutman, I., Furtula, B., Elphick, C., Tree new/old vertex-degree based toplogoical indices,
MATCH Commun. Math. Comput. Chem., 72(2014), 617–632.
[13] Gutman, I., Trinajstić, N., Graph theory and molecular orbitas. Total π-electron energy
of alternant hydrocarbons, Chem. Phys. Letters, 17(1972), 535–538.
[14] Li, X., Yang, Y., Sharp bounds for the general Randić index, MATCH Commun. Math.
Comput. Chem., 51(2004), 155–166.
[15] Merris, R., Laplacian matrices of graphs: A survey, Lin. Algebra Appl., 197-198(1994),
143–176.
[16] Milovanović, I., Milovanović, E., Remark on inequalities for the Laplacian spread of
graphs, Czeh. Math. J., 64 (2014), no. 139, 285–287.
Andrica-Badea and Nagy inequalities in spectral graph theory 609
[17] Nagy, J.V.S., Uber algebraische Gleichungen mit lauter reellen Wurzeln, Jahresbericht
der deutschen mathematiker-Vereingung, 27(1918), 37-43.
[18] Randić, M., On characterization of molecular branching, J. Amer. Chem. Soc., 97(1975),
6609–6615.
[19] Zumstein, P., Comparison of spectral methods through the adjacency matrix and the
Laplacian of a graph, Ph. Dissertation, ETH Zürich, 2005.
[20] You, Z., Liu, B., The Laplacian spread of graphs, Czech. Math. J., 62(2012), 159–168.
Igor Milovanović
Faculty of Electronic Engineering
Beogradska 14, 18000 Niš, Serbia
e-mail: [email protected]
Emina Milovanović
Faculty of Electronic Engineering
Beogradska 14, 18000 Niš, Serbia
e-mail: [email protected]
Edin Glogić
State University of Novi Pazar
Novi Pazar, Serbia
e-mail: edin [email protected]
Stud. Univ. Babeş-Bolyai Math. 60(2015), No. 4, 611–621
1. Introduction
General fluids used in industrial processes involving heat transfer (energy gen-
eration, insulation, cooling of microelectronic components) are water, mineral oil,
ethylene glycol, etc. (see [3], [11]). Low values of the physical properties of these flu-
ids (thermal conductivity, density, expansion coefficient, etc.) limit the efficiency of
heat transport and it is necessary to obtain new type of fluids, having improved heat
transfer characteristics (see [8]). In order to enhance the thermal characteristics of
the fluids, one can form mixtures by adding ultra-fine solid particles (metallic, non-
metallic or polymeric) to the fluid. Choi [7] was probably, the first one who called the
fluids with particles of nanometer dimensions nanofluids.
Over the last twenty years, many industrial processes, biology, medicine, cat-
alytic chemistry and environmental applications started to use nanotechnologies (see
612 Flavius Pătrulescu and Teodor Groşan
[13] and [17]). Different mathematical models were used by several authors to describe
heat transfer in nanofluids. Among these models the most used are those where the
concentration of nanoparticles is constant and the addition of nanoparticles into the
base fluid improved their physical properties (see [18]). Moreover, other models based
on physical properties variation include thermal dispersion (see [12]) or Brownian mo-
tion (see [14]). A more complex mathematical model (see [4]) considers that nanopar-
ticles’ concentration is variable and incorporates the effects of Brownian motion and
thermophoresis. Recently, Celli [6] had the idea to combine the model proposed by
Buongiorno [4] and the model based on improved physical properties considering for
the last one an average concentration of nanoparticles.
Many times theoretical problems as well as industrial processes and natural
phenomena are modelled using simple geometries such as infinite channels (see [1],
[2]). However, in real simulation it is necessary to take into account the interaction
between the convective heat transfer in nanofluid and conductive heat transfer in
the thick solid walls. Such situations (i.e. conjugate heat transfer) appears in cellular
structures, cavities or channels with solid walls, etc.
Several authors such as Pătrulescu and Groşan [16], Groşan [9], Groşan and Pop
[10] and Li [15] have studied the fully developed flow in a vertical channel filled by a
nanofluid using different mathematical models for nanofluid and different boundary
conditions. In the present paper, the fully developed conjugate heat transfer in a
vertical channel filled with a nanofluid when heat generation in the solid wall is
considered has been studied analytically.
is zero on the solid vertical walls. In (2.1) DB and DT are the Brownian and ther-
mophoretic diffusion coefficients.
To define the effective viscosity we use a model proposed in [5], namely
µf
µnf = , (2.2)
(1 − C0 )2.5
Conjugate free convection in a vertical channel 613
where µf represents the dynamic viscosity of base fluid and C0 is the reference
nanoparticles volume fraction concentration. Moreover, the effective thermal conduc-
tivity is approximated by a model introduced in [19], namely
kp + 2kf − 2C0 (kf − kp )
knf = kf , (2.3)
kp + 2kf + C0 (kf − kp )
where kf and kp are the thermal conductivity of the base fluid and thermal conduc-
tivity of the nanoparticles, respectively. The behavior of µnf and knf as functions of
C0 was studied in [6] for a side heated square cavity. There, the nanofluid is composed
of water as base fluid and Alumina as nanoparticles dispersed inside the base fluid.
x
q0’’’
T H +T C
T0 =
2
TH TC
g
3. Basic equations
In this section we provide the governing equations for the flow and heat transfer.
Thus, as in [16], we consider the following equation for temperature in solid domain
q0′′′
αs ∇2 Ts + = 0, (3.1)
(ρc)s
where q0′′′ represents the heat generation, αs is the thermal diffusivity coefficient and
(ρc)s represents the heat capacity. As in [10], in the fluid domain we consider the
following four field equations in the vectorial form. More exactly, the equations em-
body the conservation of total mass, momentum, thermal energy and nanoparticles’
concentration. Thus, we have
∇ · v = 0, (3.2)
ρf (v · ∇v) = µnf ∇2 v + {ρp C + (1 − C)[ρf (1 − β(Tf − T0 ))]}g, (3.3)
(ρc)f (v · ∇Tf ) = knf ∇2 Tf + (ρc)p [DB ∇Tf · ∇C + (DT /Tf )∇Tf · ∇Tf ], (3.4)
v · ∇C = ∇(DB ∇C + (DT /Tf )∇Tf ). (3.5)
Here ρf is the fluid density, ρp is the nanoparticle mass density, β represents the ther-
mal expansion coefficient, g is the gravitational acceleration. Finally, (ρc)f and (ρc)p
are the heat capacity of the base fluid and of the nanoparticle material, respectively.
In the rest of the paper we use the following linearized version of the momentum
equation (see [10])
ρf (v · ∇v) = µnf ∇2 v + [(ρp − ρf0 )(C − C0 ) − (1 − C0 )ρf0 β(Tf − T0 )]g, (3.6)
where ρf0 represents the reference fluid density.
Based on the fact that the flow is fully developed we introduce the following
assumptions
∂Tf ∂Ts ∂C
v = 0, = 0, = 0, = 0. (3.7)
∂x ∂x ∂x
Taking into account (2.1) and (3.7) the governing equations for the flow and heat
transfer (3.1)–(3.6) become
d2 Ts q0′′′
αs + = 0, (3.8)
dy 2 (ρc)s
d2 Tf
= 0, (3.9)
dy 2
dC DT dTf
DB + = 0, (3.10)
dy Tf dy
d2 u
µnf 2 + (1 − C0 )ρf0 β(Tf − T0 )g − (ρp − ρf0 )(C − C0 )g = 0, (3.11)
dy
subject to the boundary conditions
Ts |y=0 = TH , Tf |y=L = TC , (3.12)
Tf |y=b = Ts |y=b , (3.13)
dTs dTf
ks |y=b = knf |y=b , (3.14)
dy dy
Conjugate free convection in a vertical channel 615
4. Dimensionless equations
In this section we solve equations (3.8)–(3.11) subject to (3.12)– (3.16). To this
end, we consider the following dimensionless variables used in [16].
y ks (Ts − T0 ) ks (Tf − T0 ) C − C0 u
Y = , Θs = , Θf = ,φ= ,U= , (4.1)
L q0′′′ L2 q0′′′ L2 C0 Uc
where Uc is the characteristic velocity given by
q0′′′ L2 2
gβ( ks )L
Uc = . (4.2)
νf
In (4.2) νf represents the kinematic viscosity of base fluid.
We substitute dimensionless variables (4.1) into equations (3.8)–(3.11) and we obtain
the following ordinary differential equations
d2 Θs
+ 1 = 0, (4.3)
dY 2
d2 Θf
= 0, (4.4)
dY 2
dφ R dΘf
+ = 0, (4.5)
dY wΘf + 1 dY
d2 U
= Nr (1 − C0 )2.5 φ − (1 − C0 )3.5 Θf , (4.6)
dY 2
where w is a dimensionless constant given by
q0′′′ L2 2q0′′′ L2
w= = (4.7)
ks T0 ks (TH + TC )
and, as in [10], N r is the buoyancy ratio parameter defined by
g(ρp − ρf0 )C0 L2
Nr = . (4.8)
µf U c
Moreover, R is given by
Nt
R=, (4.9)
Nb
and it represents the ration between the thermophoresis parameter and the Brownian
motion parameter (see [10]).
616 Flavius Pătrulescu and Teodor Groşan
0.95
0.9
0.85
Θs (Y )
0.8
0.75
0.7
Cu
0.65 Al2 O3
Ti O2
limit case
base fluid
0.6
0 0.05 0.1 0.15 0.2 0.25 0.3
Y
2
φ(Y )
1
R=0.5,0.75,1,1.5,2.5
0
R=0.5,0.75,1,1.5,2.5
−1
−2
−3
0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Y
2.5
1.5
0.5
U (Y )
R=0.5,0.75,1,1.5,2.5
R=0.5,0.75,1,1.5,2.5
−0.5
−1
−1.5
−2
−2.5
0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Y
2
U (Y )
1
N =50,100,250,500
r
−1 N =50,100,250,500
r
−2
−3
−4
0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Y
References
[1] Aung, W., Worku, G., Theory of fully developed, combined convection including flow
reversal, J. Heat Trans.-T. ASME, 108(1986), 485–488.
[2] Barletta, A., Analysis of combined forced and free flow in a vertical channel with vis-
cous dissipation and isothermal-isoflux boundary conditions, ASME J. Heat Transfer,
121(1999), 349–356.
[3] Bejan, A., Convection Heat Transfer (2nd ed.), Wiley, New York, 1995.
[4] Buongiorno, J., Convective transport in nanofluids, J. Heat Trans.-T. ASME, 128(2005),
no. 3, 240–250.
[5] Brinkman, H.C., The viscosity of concentrated suspensions and solutions, J. Chem.
Phys., 20 (1952), 571–581.
[6] Celli, M., Non-homogeneous model for a side heated square cavity filled with a nanofluid,
Int. J. Heat Fluid Flow, 44(2013), 327–335.
[7] Choi, S.U.S., Enhancing thermal conductivity of fluids with nanoparticles, ASME FED,
231(1995), 99–103.
[8] Daungthong, W., Wongwises, S., A critical review of convective heat transfer of nanoflu-
ids, Renew. Sust. Energ. Rev., 11(2007), 797–817.
[9] Groşan, T., Thermal dispersion effect on fully developed free convection of nanofluids in
a vertical channel, Sains Malays., 40(2011), 1429–1435.
[10] Groşan, T., Pop, I., Fully developed mixed convection in a vertical channel filled by a
nanofluid, J. Heat Trans.-T. ASME, 134(2012), no. 8, 082501-082501-5.
[11] Ingham, D.B., Pop, I., Transport in Porous Media, vol. 1, 2 and 3, Elsevier, 1998, 2002,
2005.
[12] Khanafer, K., Vafai, K., Lightstone, M., Buoyancy-driven heat transfer enhancement in
a two-dimensional enclosure utilizing nanofluids, Int. J. Heat Mass Transfer, 46(2003),
3639–3653.
[13] Kleinstrauer, C., Microfluidics and Nanofluidics. Theory and Selected Applications, Wi-
ley, New Jersey, 2013.
[14] Koo, J., Kleinstreuer, C., Laminar nanofluid flow in microheat-sinks, Int. J. Heat Mass
Transfer, 48(2005), 2652–2661.
[15] Li, W., Exact solutions for free convective heat transfer in nanofluids in a vertical chan-
nel, Open J. Heat Mass Momentum Transfer (HMMT), 1(2013), 19–34.
[16] Pătrulescu, F., Groşan, T., Conjugate heat transfer in a vertical channel filled with a
nanofluid adjacent to a heat generating solid domain, Rev. Anal. Numér. Théor. Approx.,
36(2010), no. 1, 141–149.
[17] Schafer, H.-E., Nanoscience. The Science of the Small in Physics, Engineering, Chem-
istry, Biology and Medicine, Springer, Heidelberg, 2010.
[18] Tiwari, R.K., Das, M.K., Heat transfer augmentation in a two sided lid-driven differ-
entially heated square cavity utilizing nanofluids, Int. J. Heat Mass Transfer, 50(2007),
2002–2018.
[19] Wang, X.Q., Mujumdar, A.S., A review on nanofluids-part I: Theoretical and numerical
investigations, Braz. J. Chem. Eng., 25(2008), 613–630.
Conjugate free convection in a vertical channel 621
Flavius Pătrulescu
Babeş-Bolyai University
Faculty of Mathematics and Computer Sciences
1, Kogălniceanu Street, 400084 Cluj-Napoca, Romania
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy
P.O. Box 68-1, 400110 Cluj-Napoca, Romania
e-mail: [email protected]
Teodor Groşan
Babeş-Bolyai University
Faculty of Mathematics and Computer Sciences
1, Kogălniceanu Street, 400084 Cluj-Napoca, Romania
e-mail: [email protected]
Stud. Univ. Babeș-Bolyai Math. 60(2015), No. 4, 623–628
Book reviews
Any person, well acquainted with the history of mathematics, could grasp the
fact that the development of mathematics is not a linear one. Indisputably, the most
notable conceptual changing happened in the 19 century, a moment in which the
analysis of the real numbers, the set theory and the axiomatic approach impose a
new paradigm, in which much of the old problems get a mathematical solution and in
which new topics do generate new problems. This is the conceptual ground on which,
in a very inspired and extremely flexible mode, the mathematics and the philosophy
encounter each other in an excellent book on the philosophy of mathematics.
A “philosophy of mathematics” in a time in which the mathematics is separated
from philosophy? What is the good of it? The answer to this question is also the
leading idea of the whole analysis carried out in the chapters of the book and that
can be outlined in the following terms: the mathematical solutions to some problems
do not necessarily dissolve the philosophical solutions; “we come to decisions but the
philosophical questions are not answered. They remained and will remain” (372). This
is the key subject organizing in a perfectly coherent totality the six chapters of the
book.
Although the starting point, Chapter 1, On the road to the real numbers, is a
usual one in the present mathematical practice, that of the real number, the analysis
reveals a whole range of fundamental philosophical problems connected to this notion:
irrationality of a number, incommensurability of some quantities, the geometrical
continuum and the real line, the infinite. Surely, since in the new paradigm the set
R of the real numbers gives the solutions, these are the problems mathematically
decided, but philosophically some of them are still important problems. According
to Cantor and Dedekind, for example, the linear continuum is R, but can the set
R be the linear continuum? Mathematically, the small infinity isn’t a problem any
more, but if R doesn’t express the intuitive, geometrical continuum, then does not the
intuitive meaning be captured, at least partially, by resorting to the classical notion of
infinitesimals? The actual infinity, stipulated by the axiom of infinity in the set theory,
claims to work with infinite sets as given mathematical objects, but can be understood
an infinite series like an usual given object? Moreover, why such abstract, theoretical
624 Book reviews
constructions, as actual infinity and eo ipso real numbers, find their applications in
the solving of a number of concrete problems?
All these matters are the subject of a historical analysis in Chapter 2, From
the history of philosophy and mathematics, from the antiquity to the recent realism-
antirealism controversy in the philosophy of mathematics. This analysis paves the way
to some possible answers to the above questions.
The effectiveness of the concept “philosophy of mathematics”, proposed by the
authors, is masterly illustrated in the next chapters. No doubt, the standard is given
by the analysis of the real number, based on the idea of continuum and on the re-
lated notion of infinity, the topic of Chapter 3, About fundamental questions of the
philosophy of mathematics. Sketched, the idea is this. The actual understanding of
the continuum (Cantor/Dedekind) is a form of the atomism, the lines and their parts
being uncountable sets of points, different from the infinitesimal understanding (Leib-
niz), in which the lines are made up of an infinite number of infinitely small segments.
Is this identification Continuum = R the answer to the question about the very nature
of the continuum? Mathematically, yes! Philosophically, no, if by “philosophical” we
understand the capture of the intuitive meaning of this notion, in which the continuum
(e.g. the line) has parts and the parts obtained by division are again the continua.
Since the points have no parts, they represent the idea of discontinuity and can form
only something discontinuous. Therefore, R is not the intuitive continuum, a notion
that, given the above identification, did not survive mathematically, but that is still
living philosophically. Can this intuitive meaning be recovered also in a formal math-
ematical way? On the authors view, the solution is given by the vindication of the
infinitesimals, in a non-standard analysis (D.Laugwitz, C.Schmieden, A.Robinson),
in which the notion of real number is extended to a non-Archimedean field of the
“hyperreal numbers” with infinitely large and infinitely small numbers. In this field
besides the real “standard” numbers, at an infinite distance there are “nonstandard”
numbers; and this new understanding occurs by reintroducing Leibniz’s infinitesimal
quantities.
Undoubtedly, one key problem of the philosophy of mathematics is that con-
cerning the nature of mathematical objects. Since the mathematical concepts can be
defined in set-theoretic terms, they are reducible to the notion of set. And, in this
way, the question referring to the nature of mathematical objects (e.g. real number)
reduces to the question of what kind of entities the sets are. Chapter 4, The sets and
the theories of sets, integrates therefore in the structure of the book, in a perfectly
coherent way, the ontological problems of what actually the sets are (hard to say!)
in the terms of the way they are defined, i.e. in the terms of the axioms describ-
ing the relations between them. Two axiomatic theories of sets (Zermelo-Frenkel and
Neuman-Bernays-Gödel), in an elegant comparative analysis, characterize ontological
this central notion of mathematical thinking that, by integration of the notion of set,
becomes set-theoretic thinking.
Certainly, the new methodological paradigm of the present mathematics is rep-
resented by the set theory and logic, axiomatically organized. Then, in a natural way,
Book reviews 625
the analysis continues with a distinct Chapter 5, The axiomatic and the logic, fo-
cused on the new mathematical and philosophical problems, as the problem of the
consistency of mathematics, that of completeness, the problem of the nature of math-
ematical truth and the re-thinking of the continuum. Directly or indirectly, all these
problems are originated in the axiomatic setting of the present mathematical theories.
They are those which reveals the “distance” between the provability and the truth
and, at last, the limits of this kind of mathematical thinking.
A Retrospection, in Chapter 6, about the topics developed in the book and some
technical considerations on To think and to calculate infinitesimally, concludes this
excellent book on the philosophy of mathematics.
The historical, mathematical and philosophical perspectives from which the key
notions are investigated are very different. But the authors avoid to give “definitive”
solutions to these problems. Often we find the expressions of the following form:
”We don’t know what is the point” (203), ”R is not the continuum, R is a model”
(264), “What exactly are the sets, nobody knows” (310), “We do not find an effective
answer to the question about numbers” (377), “For the set theory, for the theory of
infinite, the infinite remains enigmatical” (314), “Even mathematically, the continuum
remains transcendent” (227). Therefore, the fundamental pieces of the philosophical
and mathematical investigation “remain transcendent” (386). In a perfect consonance
with the project of the construction of the book, the source of the transcendence
is to be viewed in the essential difference between a philosophical notion and its
mathematical description, and from here the necessity of the philosophical analysis of
the fundamental mathematical meanings.
The text of the book has an exemplary clearness, all the key notions are indicated
in the distinct paragraphs and the bibliographical list of the papers to which the
authors are referred is impressively vast and relevant.
The conceptual strictness, the quality of argumentation and the originality of
the analysis make of this book one of the profoundest and more elegant conceptual
construction in the philosophy of mathematics.
Virgil Drăghici
on an open set of a Euclidean space. What these two chapter have in common is the
consistent use of the tools of linear algebra (for instance, à la manière de Calculus on
Manifolds, Addison Wesley, 1965, by Michael Spivak). This language is not, usually,
the favorite of the analysts, although we can hardly call it “modern” (the book of
Spivak has been published fifty years ago). The third chapter is the first one with a
geometric flavor. Although the name of the chapter is, simply, Manifolds, in reality, it
is a short introduction to the geometry of the manifolds (well, actually submanifolds
of a Euclidean space). It includes, beside the standard notions of differential topol-
ogy (manifolds, Lie groups, maps, vector fields, the tangent bundle), also differential
geometric concepts as: covariant derivative, geodesics, the second fundamental form,
curvatures, isometries (with respect to the Euclidean scalar product on the ambient
Euclidean spaces). The following chapter is devoted to the theory of integration on
a Euclidean space. It includes the classical subjects (the definition of the integral
and of the integrability, the Fubini theorem, the classical integral theorems), but also
some applications to physics and the Sard theorem for Euclidean spaces, a quite un-
expected (but not inappropriate) presence here. The chapter five, Differential forms,
has, actually, as subject the theory of integration on manifolds (tensors and forms,
differential forms on manifolds, integration on manifolds and manifolds with bound-
ary, Stokes’ theorem). The author takes time to discuss the connection between the
Stokes’ theorem and the classical theorems of integral calculus. The chapter ends with
a short look at the de Rham cohomology. For the last two chapters, the author returns
to geometry. Thus, chapter six treats standard subjects from Riemannian geometry
(extremal properties of geodesics, Jacobi fields, the variation of the length functional,
Hopf-Rinow theorem, comparison theorems a.o.), while the final chapter focuses on
the geometry of hypersurfaces in a Euclidean space, with the induced Riemannian
metric (orientation, Gauss map, curvature a.o.). In this context, the general concepts
from manifold theory become more intuitive. In particular, there are also discussed
some classical examples of surfaces (ruled surface, surfaces of revolution).
Multivariable calculus and geometry always meet (well, at least in textbooks).
The question is where do they meet. I could mention several such intersection points:
• analytical geometry that goes together with calculus (this is common, especially,
in the American universities);
• the calculus as a prerequisite to a textbook of manifolds;
• the other way around: (sub)manifolds used as a foundation for multiple integra-
tion (for instance).
What I haven’t seen elsewhere (or, if I have, I don’t remember) is a marriage between
calculus and differential geometry, where the two subjects to be, more or less, on equal
footing. From this point of view, the author did an excellent job. The book can be
used as a textbook for a course in differential geometry for advanced undergraduate
or beginning graduate student in mathematics or physics, or for self-study.
The book includes a large number of worked examples and exercises, as well as
a number of excellent drawings that improve the presentation.
Paul A. Blaga
Book reviews 627
As the editor writes in the Preface “The Princeton Companion to Applied Math-
ematics describes what applied mathematics is about, why it is important, its con-
nections with other disciplines, and some of the main areas of current research.” We
also reproduce here the nice words of Paul Halmos quoted in Editor’s (NJH) article
What is applied mathematics?
Pure mathematics can be practically useful and applied mathematics
can be artistically elegant... Just as pure mathematics can be useful,
applied mathematics can be more beautifully useless than is some-
times recognized...
On the other side, it is not easy to give a precise definition of applied mathemat-
ics and, in some cases, it is difficult to say whether a specific domain (or topic) belongs
to pure or to applied mathematics. Also, over time, a domain of pure mathematics
finds its applications, as, e.g., the applications of number theory to cryptography. Pure
mathematics was presented in another Princeton volume The Princeton companion
to mathematics (Editors: Timothy Gowers, June Barrow-Green, Imre Leader; Prince-
ton University Press, 2008), which contains some topics (Mathematics and Chemistry,
Mathematical Biology, Mathematical Statistics, Optimization and Lagrange Multipli-
ers) which can be considered to belong to applied mathematics and could be included
in the present volume as well. In order to avoid overlapping the topics presented in
the previous Companion are excluded from the present one, and in the case of some
crucial concepts (e.g. algebraic geometry, fast Fourier transform), the approach here
is different, with emphasis on applications and computational aspects. In some cases,
particular aspects of topics treated in the previous companion are included here.
The book is divided into eight parts.
Part I, Introduction to Applied Mathematics, contains some general results about
applied mathematics as: what is it, the language, algorithms, goals and history.
Part II, Concepts, contains short articles explaining specific concepts as convex-
ity, chaos, floating-point arithmetic, Markov chains, etc. This part is not a compre-
hensive, other concepts being presented in other articles.
Part III, Equations, Laws, and Functions of Applied Mathematics, contains short
presentations of some functions and equations encountered in applied mathematics, as,
e.g., Bessel functions, Mathieu functions, Euler functions, Black-Scholes law, Hooke’s
law, the equations of Cauchy-Riemann, Laplace, Korteweg-de Vries, Dirac, etc.
Part IV, Areas of Applied Mathematics, contains longer articles giving an
overview of some domains of applied mathematics as complex analysis, ordinary and
partial differential equations, data mining, random matrices, control theory, informa-
tion theory, etc.
628 Book reviews