Conformal Mappingasa Toolin Solving Some Mathematicaland Physical Problems
Conformal Mappingasa Toolin Solving Some Mathematicaland Physical Problems
net/publication/348418703
CITATIONS READS
0 3,201
4 authors, including:
All content following this page was uploaded by Abdussalam Ali Ahmed on 12 January 2021.
Abstract
The aim of this modest study was to shed some light on one of
the useful tools of complex analysis, which is the method of conformal
mapping (Also called conformal transformation). Conformal
transformations are optimal for solving various physical and
engineering problems that are difficult to solve in their original form
and in the given domain. This work starts by introducing the meaning
of a ''Conformal Mapping'', then introducing its basic Properties. In the
second part, it deals with a set of various examples that explain the
behavior of these mappings and show how they map a given domain
from its original form into a simpler one. Some of these examples
mentioned in this study showed that conformal transformations could
be used to determine harmonic functions, that is, to solve Laplace's
equation in two dimensions, which is the equation that governs a variety
of physical phenomena such as the steady-state temperature distribution
in solids, electrostatics and inviscid and irrotational flow (potential
flow). Other mathematical problems are treated. All problems that are
dealt with in this work became easier to solve after using this technique.
In addition, they showed that the harmonicity of a function is preserved
under conformal maps and the forms of the boundary conditions change
accordingly.
I. INTRODUCTION
In this study, the main purpose was to focus on the use of analytic
functions when certain conditions are imposed on them. In particular,
it aimed at elucidating the topic of conformal mappings. Various
examples are given to show how conformal maps change given domains
and help to solve some boundary-value problems, which are difficult to
solve in their original domains.
Preservation of Angles
The two curves intersect at (𝑢0 ,𝑣0 ), and the angle at which they
intersect there, is the angle 𝛼 between the two tangents there.
∴ 𝛼 = 𝛼1 − 𝛼2 ,
(𝑎 2+𝑏2)(1+𝑓1′(𝑥)𝑓2′ (𝑥))
Also 1 + 𝜑1′ (𝑢)𝜑 ′2(𝑢) = .
(𝑎+𝑏𝑓1′(𝑥))(𝑎+𝑏𝑓2′ (𝑥))
∂𝑢 2 ∂𝑢 2
Provided that: 𝑎 2 + 𝑏 2 = ( ) + ( ) = 𝑢𝑥 2 + 𝑣𝑥 2 = | 𝑓 ′ (𝑧)|2 ≠ 0.
∂𝑥 ∂𝑦
∴ The curves 𝑦 = 𝑓𝑘 (𝑥), 𝑘 = 1,2 intersect at (𝑥0 ,𝑦0 ) at an angle 𝛼 without
any change provided that 𝑓 ′ (𝑧0) ≠ 0, 𝑧0 = (𝑥0 ,𝑦0 ).
∂𝜑
= 0 = ∇𝜑 ⋅ 𝑛, 𝑤ℎ𝑒𝑟𝑒 𝑛 = (sin𝛼, −cos𝛼).
∂𝑛
∂𝜑 ∂𝜑
∴ ( , ) ⋅ (sin𝛼, −cos𝛼 ) = 0
∂𝑥 ∂𝑦
∂𝜑 ∂𝜑 ∂𝜑 ′ ∂𝜑
⇒ tan𝑥 = ⇒ 𝑓 (𝑥 ) = 𝑜𝑛 𝐷.
∂𝑥 ∂𝑦 ∂𝑥 ∂𝑦
∂𝜑∗ ∂𝜑∗
{ 𝑢𝑥 + 𝑣𝑥 } {𝑢𝑥 𝐹′(𝑢) − 𝑣𝑥 }
∂𝜑∗ ∂𝜑 ∗
∂𝑢 ∂𝑣
= 𝑢𝑥
− 𝑣𝑥
𝑢𝑥 + 𝑣𝑥 𝐹′(𝑢) ∂𝑣 ∂𝑢
∂𝜑∗ ∂𝜑∗ ∂𝜑∗ ∂𝜑∗
⇒{ 𝑢 + 𝑣 } {𝑢𝑥 𝐹′(𝑢) − 𝑣𝑥 } = (𝑢𝑥 − 𝑣𝑥 ) (𝑢𝑥 + 𝑣𝑥 𝐹′(𝑢)).
∂𝑢 𝑥 ∂𝑣 𝑥 ∂𝑣 ∂𝑢
∗ ∗ ∗ ∗ ∗
∂𝜑 2 ∂𝜑 ∂𝜑 ∂𝜑 2 ∂𝜑 2 ∂𝜑∗
∴ 𝑢𝑥 𝐹′(𝑢) − 𝑢𝑥 𝑣𝑥 + 𝑣𝑥 𝑢𝑥 𝐹′(𝑢) − 𝑣𝑥 = 𝑢𝑥 + 𝑣𝑥 𝑢𝑥 𝐹′(𝑢)
∂𝑢 ∂𝑢 ∂𝑣 ∂𝑣 ∂𝑣 ∂𝑣
∂𝜑∗ ∂𝜑∗
− 𝑢 𝑣 − 𝑣 2 𝐹′(𝑢)
∂𝑢 𝑥 𝑥 ∂𝑢 𝑥
∂𝜑 ∗ 2 ∂𝜑∗ 2 ∂𝜑∗ 2 ∂𝜑∗ 2
⇒ 𝑢𝑥 𝐹′(𝑢) − 𝑣 = 𝑢 − 𝑣 𝐹′(𝑢)
∂𝑢 ∂𝑣 𝑥 ∂𝑣 𝑥 ∂𝑢 𝑥
∂𝜑 ∗ ∂𝜑 ∗
⇒ 𝐹′(𝑢)(𝑢2𝑥 + 𝑣𝑥2 ) = (𝑢2 + 𝑣𝑥2 )
∂𝑢 ∂𝑣 𝑥
∂𝜑∗ ∂𝜑∗
⇒( 𝐹′(𝑢) − ) (|𝜁′(𝑧)|2 ) = 0.
∂𝑢 ∂𝑣
∂𝜑∗ ∂𝜑∗ ∂𝜑∗
If 𝜁′(𝑧) ≠ 0 on ∂𝐷, then 𝐹′(𝑢) = on ∂𝐷∗, which means that ∗ =
∂𝑢 ∂𝑣 ∂𝑛
0 on ∂𝐷∗ .
1 1 1
𝑑𝑤
= 𝑘(𝑧 + 1)−3 𝑧 2 (𝑧 − 𝑎 3 )−6 ,
𝑑𝑧
𝑧
1 1 1
∴ 𝑤 = 𝑘 ∫ 𝜁 2(𝜁 + 1)−3 (𝜁 − 𝑎 3 )−6𝑑𝜁,
𝑧0
𝑧 1
𝜁 2𝑑𝜁
𝑤 = −𝜇 + 𝑘 ∫ 1 1 .
−1 (𝜁 + 1)3 (𝜁 − 𝑎 3 )6
When 𝑤 = 𝑖𝜇 √3 we have 𝑧 = 0
1
0 𝜁 2𝑑𝜁
∴ 𝜇(1 + 𝑖 √3) = 𝑘 ∫−1 1 1 . ……. (1)
(𝜁+1)3(𝜁−𝑎 3)6
When 𝑤 = 3𝜇 we have 𝑧 = 𝑎 3(𝑎 3 > 0)
𝑎3 1 0 1 𝑎3 1
𝜁 2 𝑑𝜁 𝜁 2 𝑑𝜁 𝜁 2 𝑑𝜁
∴ 4𝜇 = 𝑘 ∫ 1 1 =𝑘 ∫ 1 1 + 𝑘∫ 1 1 .
−1 (𝜁 + 1) 3 (𝜁 − 𝑎 3 ) 6 −1 (𝜁 + 1) 3 (𝜁 − 𝑎 3 )6 0 (𝜁 + 1) 3 (𝜁 − 𝑎 3 )6
From (1) we have
1
𝑎 𝜁 2𝑑𝜁
4𝜇 = 𝜇(1 + 𝑖√3) + 𝑘 ∫0 3 1 1 , …………………. (2)
(𝜁+1)3(𝜁−𝑎 3)6
𝑎3 1
4𝜇 √3 𝜁 2 𝑑𝜁
∴ = 𝑘∫ 1 1 ,
√3 + 𝑖 0 (𝜁 + 1)3 (𝜁 − 𝑎 3)6
𝑎3 1
4𝜇 √3 𝜉 2 𝑑𝜉
⇒ 𝜋 =𝑘∫ 1 1 ,
2𝑒 𝑖6 0 (𝜉 + 1)3 {𝑒 𝑖𝜋 (𝑎 3 − 𝜉)}6
1
𝑎3 𝑥2 𝑑𝑥
⇒ 2√3𝜇 = 𝑘 ∫0 1 1 . …………………. (3)
(𝑥+1)3(𝑎 3−𝑥)6
Also from (1) we have
0 1
𝜁 2𝑑𝜁
𝜇(1 + 𝑖 √3) = 𝑘 ∫ 1 1 ,
−1 (𝜁 + 1)3 (𝜁 − 𝑎 3 )6
1 1
On the path of integration we have 𝜁 = 𝑡𝑒 𝑖𝜋 ⇒ 𝑑𝜁 = −𝑑𝑡, 𝜁 2 = 𝑖𝑡 2
0 1
−𝑖𝑡 2 𝑑𝑡
∴ 𝜇(1 + 𝑖 √3) = 𝑘 ∫ 1 1 ,
1 (1 − 𝑡)3 {𝑒 𝑖𝜋 (𝑡 + 𝑎 3 )}6
𝜋 𝜋 1 1
2𝑒 𝑖3 𝑒 𝑖 6 𝜇 𝑡 2 𝑑𝑡
∴ = 𝑘∫ 1 1,
𝑖 (1 − 𝑡)3 (𝑡 + 𝑎 )6
0 3
1 √𝑡𝑑𝑡
⇒ 2𝜇 = 𝑘 ∫0 1 1 . …………………. (4)
(1−𝑡)3(𝑡+𝑎 3)6
Equations (3) and (4) determine the constants 𝑘 and 𝑎 3. They also show
that 𝑘 is real.
𝑦 𝑦2
∴𝑅= ± √1 + 2 .
2𝛼 4𝛼
𝑦 𝑦2
Because 𝑅 > 0 we take 𝑅 = + √1 + .
2𝛼 4𝛼2
𝑏 𝑎
If 𝑦 = 𝑏, then 𝑅 = + = 𝜌. If 𝑦 = 0 ⇒ 𝑅 = 1.
2𝛼 2𝛼
∴ 𝛾2∗ Is given by
𝜁 = 𝑖𝜂, (𝜂 = 𝜌 → 𝜂 = 1).
To find 𝛾3∗: put 𝑧 = 𝑥 > 0
𝑥 1 𝑥 2 𝑥2
⇒ = 𝜁 + ⇒ (𝜁 − ) = 2 − 1
𝛼 𝜁 2𝛼 4𝛼
𝑥 𝑥2
⇒𝜁= ± √ 2 − 1.
2𝛼 4𝛼
𝑥 𝑥2
Because 𝜁 → ∞ as 𝑧 → ∞ we must have 𝜁 = +√ − 1.
2𝛼 4𝛼2
𝑡 2 𝑡2 −𝑡 𝑡2
∴ (𝜁 + ) = 2−1⇒𝜁 = ± √ 2 − 1,
2𝛼 4𝛼 2𝛼 4𝛼
−𝑡 𝑡2
𝜁 → ∞ when 𝑧 → ∞ ⇒ 𝜁 = −√ − 1.
2𝛼 4𝛼2
This is a mixed boundary value problem, and there are two different
boundary conditions on the same boundary line. It is difficult to find
the electric potential distribution directly. In order to solve this
boundary value problem easily, we consider the mapping
𝑤 = sin−1 (𝑧). …………….. (1)
The transformation function is
𝜋
𝑤 = sin−1 (𝑧) = + 𝑖log {𝑧 + √𝑧 2 − 1 }.
2
On 𝛾1 : let 𝑧 = 1 + 𝑡, (0 < 𝑡 < ∞) ⇒ 𝑧 − 1 = 𝑡 𝑎𝑛𝑑 𝑧 + 1 = 2 + 𝑡.
∴ 𝛾1∗ Is given by
𝜋
𝑤 = + 𝑖log{1 + 𝑡 + √𝑡(2 + 𝑡)}.
2
∴ On 𝛾1∗ :
𝜋
𝑢 = 𝑎𝑛𝑑 𝑣 = log{1 + 𝑡 + √𝑡(2 + 𝑡)} , (0 < 𝑡 < ∞)
2
𝜋
⇒ 𝑢 = , (0 < 𝑣 < ∞).
2
On 𝛾2 : let 𝑧 = (1 + 𝑡)𝑒 , (0 < 𝑡 < ∞) ⇒ 𝑧 + 1 = 𝑡𝑒 𝑖𝜋 𝑎𝑛𝑑 𝑧 − 1 = (2 +
𝑖𝜋
𝑡)𝑒 𝑖𝜋 .
∴ 𝛾2∗ is given by
𝜋
𝑤 = + 𝑖log [−(1 + 𝑡) − √𝑡(2 + 𝑡)]
2
𝜋
= + 𝑖log[𝑒 𝑖𝜋 {(1 + 𝑡) + √𝑡(2 + 𝑡)}]
2
𝜋
= + 𝑖log{𝑒 𝑖𝜋 } + 𝑖log{1 + 𝑡 + √𝑡(2 + 𝑡)}
2
𝜋
= ( − 𝜋) + 𝑖log {1 + 𝑡 + √𝑡(2 + 𝑡)}
2
𝜋
= (− ) + 𝑖log {1 + 𝑡 + √𝑡(2 + 𝑡)}.
2
∴ On 𝛾2∗ :
𝜋
𝑢=− 𝑎𝑛𝑑 𝑣 = log {1 + 𝑡 + √𝑡(2 + 𝑡)} , (0 < 𝑡 < ∞)
2
𝜋
⇒ 𝑢 = − 𝑎𝑛𝑑 (0 < 𝑣 < ∞).
2
On 𝛾3 : let 𝑧 = 𝑡𝑒 𝑖𝜋 , (0 ≤ 𝑡 < 1) ⇒ 𝑧 + 1 = 1 − 𝑡, 𝑧 − 1 = (1 + 𝑡)𝑒 𝑖𝜋 .
∴ 𝛾3∗ is given by
𝜋 𝜋 −1
𝑤 = + 𝑖log{−𝑡 + 𝑖 √(1 − 𝑡 2 )} = + 𝑖log{ }
2 2 𝑡+𝑖√1−𝑡2
𝜋
= + 𝑖log(𝑒 𝑖𝜋 ) − 𝑖log{𝑡 + 𝑖 √1 − 𝑡 2 }
2
𝜋 √1−𝑡2
= − + tan−1 { } , (0 ≤ 𝑡 < 1).
2 𝑡
∴ On 𝛾3∗ :
𝜋
(−< 𝑢 ≤ 0) 𝑎𝑛𝑑 𝑣 = 0.
2
On 𝛾4 : let 𝑧 = 𝑡, (0 ≤ 𝑡 < 1) ⇒ 𝑧 − 1 = (1 − 𝑡)𝑒 𝑖𝜋 𝑎𝑛𝑑 𝑧 + 1 = 1 + 𝑡.
∴ 𝛾4∗ is given by
𝜋 𝜋 √1 − 𝑡 2
𝑤 = + 𝑖log (𝑡 + 𝑖 √1 − 𝑡 2 ) = − tan−1 { }, (0 ≤ 𝑡 < 1).
2 2 𝑡
𝜋
∴ On 𝛾4∗ : 𝑣 = 0 𝑎𝑛𝑑 (0 ≤ 𝑢 < ).
2
Therefore
2
(𝑥 2 + 𝑦 2 + 1) (𝑥 2 + 𝑦 2 + 1)2 − 4𝑥 2
{𝑡 − } =
2 4
∴ 4𝑡 = 2𝑥 2 + 2𝑦 2 + 2 ± √{𝑥 2 + 𝑦 2 + 1 − 2𝑥 }{𝑥 2 + 𝑦 2 + 1 + 2𝑥 }
= 𝑟1 2 + 𝑟2 2 ± 2𝑟1 𝑟2 = (𝑟1 ± 𝑟2 )2
⇒ 4sin2 𝑢 = (𝑟1 ± 𝑟2 )2 .
∴ 2sin𝑢 = 𝑟1 ± 𝑟2 .
In view of inequality (3), we reject the plus sign
𝑟 −𝑟
∴ sin𝑢 = 1 2. ……… (4)
2
𝑟2 − 𝑟1
∴ 𝑢 = sin−1 ( ),
2
√(𝑥+1)2+𝑦 2−√(𝑥−1)2+𝑦2
or 𝑢 = sin−1 { }.
2
∴ The solution is
1 1 √(𝑥 + 1)2 + 𝑦 2 − √(𝑥 − 1)2 + 𝑦 2
𝜑 = + ( ) sin−1 { }.
2 𝜋 2
CONCLUSION
From our modest study, we conclude the following:
Conformal maps are transformations that preserve angles
between curves (angles between tangents) including their
orientation.
Conformal maps are analytic functions whose derivatives do
not vanish in the domains of definition (i.e., locally univalent).
If 𝑓 is a conformal map from 𝐷 onto 𝐷∗, then 𝑓 −1 (the inverse
map) is also a conformal map from 𝐷∗ onto 𝐷.
The Schwarz-Christoffel transformation maps the interior of a
polygon, say in the 𝑤-plane, onto the upper half of the 𝑧-plane.
The harmonicity of a function is preserved under conformal
maps.
Conformal maps take complicated boundaries into simpler ones
sometimes.
We can determine a harmonic potential by using a conformal
mapping that maps 𝐷 onto 𝐷∗ where the solution of the problem
is easier to find.
RECOMMENDATIONS
This study dealt with the technique of conformal mapping without
using computer programs and numerical techniques. Thus, the
following recommendations are hereby presented :
Since the study dealt with this technique without using
computer programs, a study should be attempted using these
programs.
It is recommended that, numerical techniques should be used
in the study of conformal maps.
REFERENCES
[1] Calixto, W. P., Alvarenga, B., da Mota, J. C., Brito, L. da C., Wu, M., Alves, A.
J., … Antunes, C. F. R. L. (2010). Electromagnetic Problems Solving by
Conformal Mapping: A Mathematical Operator for Optimization. Mathematical
Problems in Engineering, 2010, 1–19. doi:10.1155/2010/742039
[2] Onyelowe, Ken C. and Agunwamba, J.C., Conformal mapping and Swartz-
Christophel and transformation of the critical normal stress distribution of
footing on slope, International journal of civil Engineering and Technology,
Volume 3, Issue 1, January- June (2012), pp. 128-135.
[3] Mohammed Mukhtar Mohammed Zabih, R.M. Lahurikar, Applications of
Conformal Mapping to Complex Velocity Potential of the Flow of an Ideal Fluid,
International Journal of Mathematics Trends and Technology (IJMTT) –
Volume 52 Number 3 December 2017.
[4] Fuqian Wang, Solution of the Third Kind Boundary Value Problem of Laplace’s
Equation Based on Conformal Mapping, Journal of Applied Mathematics and
Physics, 2019, 7, 536-546.
[5] B. NYANDWI, "Applications of conformal mappings to the fluid flow", Ph.D.
dissertation, University of Rwanda. 2018.
[6] D. Zill and P. Shanahan, A first course in complex analysis with applications,
Jones & Bartlett Learning, 2003.
[7] J. H. Mathews, Basic complex variables for mathematics and engineering, Allyn
& Bacon, 1982.
[8] S. Ganguli, "Conformal Mapping and its Applications," Department of Physics,
University of Tennessee, Knoxville, TN37996, pp. 1-4, 2008.
[9] S. Madhwendra, "Application of Conformal Mapping: Electrostatic Potential",
Galgotias University, 2020.
[10] https://mathworld.wolfram.com/ConformalMapping.html