Sideway
output.to from Sideway
Draft for Information Only

Content

Complex Function
 Conformal Mapping
 Paths
  Examples
 Curves
 The Angle between Curves
  Example
 Conformality
  Analytic Functions
  Example

source/reference:
https://www.youtube.com/channel/UCaTLkDn9_1Wy5TRYfVULYUw/playlists

Complex Function

Conformal Mapping

Intuitively, a conformal mapping is a "mapping that preserves angles between curves". In other words. when defining curves, the angles between curves must also be defined.

Paths

By definition. A path in the complex plane from a point A to a point B is a continuous function 𝛾:[𝑎,𝑏]→ℂ such that 𝛾(𝑎)=𝐴 and 𝛾(𝑏)=𝐵.

Examples

  • Example 1

    𝛾(𝑡)=(2+𝑖)+ℯ𝑖𝑡, 0≤𝑡≤𝜋  =(2+cos𝑡) 𝑢(𝑥,𝑦) +𝑖(1+sin𝑡) 𝑦(𝑡)
  • Example 2

    𝛾(𝑡)=(2+𝑖)+𝑡(-3-5𝑖), 0≤𝑡≤1  =(2-3𝑡)+𝑖(1−5𝑡)
  • Example 3

    𝛾(𝑡)=𝑡ℯ𝑖𝑡, 0≤𝑡≤3𝜋  =(𝑡cos𝑡)+𝑖(𝑡sin𝑡)
  • Example 4

    𝛾(𝑡)={𝑡(1+𝑖), 0≤𝑡≤1 𝑡+𝑖, 1≤𝑡≤2 2+𝑖(3-𝑡), 2≤𝑡≤3

Curves

By definition. A path 𝛾:[𝑎,𝑏]→ℂ is smooth if the functions 𝑥(𝑡) and 𝑦(𝑡) in the representation 𝛾(𝑡)=𝑥(𝑡)+𝑖𝑦(𝑡) are smooth, that is, have as many derivatives as desired.

In the above examples, (1), (2), and (3) are smooth, whereas (4) is piecewise smoth, i.e. put together ("concateated") from finitely many smooth paths.

The term curve is typically used for a smooth or piecewise smooth path.

If 𝛾=𝑥+𝑖𝑦:[𝑎,𝑏]→ℂ is a smooth curve and 𝑡0∈(𝑎,𝑏), then

𝛾′(𝑡0)=𝑥′(𝑡0)+𝑖𝑦′(𝑡0)

is a tangent vector to 𝛾 at 𝑧0=𝛾(𝑡0)

The Angle between Curves

By definition. Let 𝛾1 and 𝛾2 be two smooth curves, intersecting at a point 𝑧0. The angle between the two curves at 𝑧0 is defined as the angle between the two tangent vectors at 𝑧0.

Example

Let 𝛾1:[0,𝜋]→ℂ, 𝛾1(𝑡)=ℯ𝑖𝑡 and

𝛾2:[𝜋2,3𝜋2)→ℂ, 𝛾2(𝑡)=2+𝑖+ℯ𝑖𝑡.

Then 𝛾1(𝜋2)=𝛾2(𝜋)=𝑖. Furthermore,

𝛾′1(𝑡)=𝑖ℯ𝑖𝑡, 𝛾′1(𝜋2)=𝑖ℯ𝑖𝜋2=𝑖2=−1 𝛾′2(𝑡)=2𝑖ℯ𝑖𝑡, 𝛾′2(𝜋)=2𝑖ℯ𝑖𝜋=2𝑖(−1)=−2𝑖

The angle between these curves at 𝑖 is thus 𝜋2.

Conformality

By definition. A function is conformal if it preserves angles between curves. More precisely, a smooth complex-valued function 𝑔 is conformal at 𝑧0 if whenever 𝛾1 and 𝛾2 are two curves that intersect at 𝑧0 with non-zero tangents, the 𝑔∘𝛾1 and 𝑔∘𝛾2 have non-zero tangents at 𝑔(𝑧0) that intersect at the same angle.

A conformal mapping of a domain 𝐷 onto 𝑉 is a continuously differentiable mapping that is conformal at each point in 𝐷 and maps 𝐷 one-to-one onto 𝑉.

Analytic Functions

By theorem. If 𝑓:𝑈→ℂ is analytic and if 𝑧0∈𝑈 such that 𝑓′(𝑧0)≠0, then 𝑓 is conformal at 𝑧0.

Reason: If 𝛾:[𝑎,𝑏]→𝑈 is a curve in 𝑈 with 𝛾(𝑡0)=𝑧0 for some 𝑡0∈(𝑎,𝑏), then

(𝑓∘𝛾)′(𝑡0)=𝑓′(𝛾(𝑡0))⋅𝛾′(𝑡0)=𝑓′(𝑧0) ∈ℂ\{0} ⋅𝛾′(𝑡0)

Thus (𝑓∘𝛾)′(𝑡0) is obtained from 𝛾′(𝑡0) via multiplication by 𝑓′(𝑧0) (=rotation & stretching).

If 𝛾1, 𝛾2 are two curves in 𝑈 through 𝑧0 with tangent vectors 𝛾1(𝑡1), 𝛾2(𝑡2), then (𝑓∘𝛾1)′(𝑡1) and (𝑓∘𝛾2)′(𝑡2) are both obtained from 𝛾1(𝑡1), 𝛾2(𝑡2), respectively, via multiplication by 𝑓′(𝑧0). The angle between them is thus preserved.

Example

  • 𝑓(𝑧)=𝑧2 maps 𝑈={𝑧∈ℂ|Re𝑧>0} conformally ont ℂ\(−∞,0].
  • 𝑓(𝑧)=ℯ𝑧 is conformal at each point in (𝑓 is analytic in and 𝑓′(𝑧)≠0 in . Since 𝑓 is not one-to-one in , it is not a conformal mapping from onto ℂ\{0}.

    However, if you choose 𝐷={𝑧|0<Im𝑧<2𝜋}, then 𝑓 maps 𝐷 conformally onto 𝑓(𝐷)=ℂ\[0,∞).

  • 𝑓(𝑧)=𝑧 is one-to-one and onto from to , however, angles between curves are reversed in orientation. 𝑓 is thus not conformal anywhere.

©sideway

ID: 190400014 Last Updated: 14/4/2019 Revision: 0

IMAGE

Home 5

Business

Management

HBR 3

Information

Recreation

Hobbies 7

Culture

Chinese 1097

English 337

Reference 67

Computer

Hardware 149

Software

Application 187

Digitization 24

Numeric 19

Programming

Web 764

CSS 1

ASP.NET 1

Regular Expression 1

HTML

Knowledge Base

Common Color 1

Html Entity (Unicode) 1

Html 401 Special 1

OS 389

MS Windows

Windows10 1

.NET Framework 1

DeskTop 7

Knowledge

Mathematics

Formulas 8

Algebra 21

Number Theory 206

Trigonometry 18

Geometry 18

Calculus 67

Complex Analysis 21

Engineering

Tables 8

Mechanical

Mechanics 1

Rigid Bodies

Statics 92

Dynamics 37

Fluid 5

Fluid Kinematics 5

Control

Process Control 1

Acoustics 19

FiniteElement 2

Physics

Electric 11

Biology 1

Geography 1


Copyright © 2000-2019 Sideway . All rights reserved Disclaimers last modified on 06 September 2019