Sideway
output.to from Sideway
Draft for Information Only

Content

Riemann Mapping Theorem
 Conformal Mappings
 The Riemann Mapping Theorem
 The Riemann Map
  The Upper Half Plane
 Application

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

Riemann Mapping Theorem

Conformal Mappings

Properties

  • The conformal mappings from to are of the form 𝑧⟼𝑎𝑧+𝑏𝑐𝑧+𝑑.
  • The conformal mappings from to are of the form 𝑧⟼𝑎𝑧+𝑏.

More is true

  • There is no conformal mapping 𝑓:ℂ→𝐷, where 𝐷⊂ℂ, 𝐷≠ℂ.
  • There is no conformal mapping 𝑓:→𝐷, where 𝐷⊂ℂ.

And what conformal mappings are ther of the form 𝑓:𝔻→𝐷, where 𝔻=𝐵1(0) is the unit disk and 𝐷⊂ℂ?

The Riemann Mapping Theorem

By theorem. If 𝐷 is a simply connected domain (= open, connected, no holes) in the complex plane, but not the entire complex plane, then there is a conformal map (= analytic, one-to-one, onto) of 𝐷 onto the open unit disk 𝔻.

That is "𝐷 is conformally equivalent to 𝔻"

The Riemann Map

Let 𝐷 be a simply connected domain. In order to find a unique conformal mapping 𝑓 from 𝐷 onto 𝔻, "3 real parmeeters" are needed to specify. For example, specify

  • a point 𝑧0∈𝐷 that is to be mapped to 0 under 𝑓 (=2 real parameters 𝑥0, 𝑥1)
  • the argument of 𝑓′(𝑧0) (=1 real parameter_, for example by requiring that 𝑓′(𝑧0)>0.

The Upper Half Plane

Let 𝐷 be the upper half plane, i.e. 𝐷={𝑧:Imz>0}. then 𝐷 can be mapped to 𝔻 via (the restriction of) a Mobius transformation: Let 𝑓 be the Mobius transformation that maps 0, 1, ∞ to 1, 𝑖, −1.

Then the line through 0, 1, ∞ (the real axis) must be mapped to the circle through 1, 𝑖, −1 (the unit circle). Further, the domain to the left of the real axis (𝐷) is then mapped to the domain to the left of the unit circle (𝔻), oriented by the ordering of the given points.

Finding the Riemann Map

The restriction of the Mobius transformation 𝑓 to the upper half plane 𝐷 thus maps 𝐷 onto 𝔻. Finding a formula for 𝑓, such that 𝑓 maps 0, 1, ∞ to 1, 𝑖, −1.

  • 𝑓 is of the form 𝑓(𝑧)=𝑎𝑧+𝑏𝑐𝑧+𝑑. Since 𝑓(∞)≠∞, therefore 𝑐≠0 and thus assume 𝑐=1.
  • Thus 𝑓(𝑧)=𝑎𝑧+𝑏𝑧+𝑑. Since 𝑓(∞)=−1, therefore 𝑎=−1.
  • Then 𝑓(𝑧)=−𝑧+𝑏𝑧+𝑑. Since 𝑓(0)=1, therefore 𝑏𝑑=1, thus 𝑏=𝑑.
  • So 𝑓(𝑧)=−𝑧+𝑏𝑧+b. Since 𝑓(1)=𝑖, therefore −1+𝑏1+b=𝑖, thus 𝑏=𝑖.

Thus 𝑓(𝑧)=−𝑧+𝑖𝑧+𝑖 maps the upper half plane 𝐷 conformally onto the unit disk 𝔻

The first quadrant to the upper half of the unit disk

Let 𝑄 be the first quadrant, i.e. the domain in the complex plane, bounded by the positive real axis and the positive imaginary axis. Since the map 𝑓 maps 0 to 1, 𝑖 to 0, and to −1, it maps the line through 0, 𝑖, ∞ (i.e. the imaginary axis) to the line through 1, 0, −1 (i.e. the real axis).

Hence the restriction of 𝑓 to 𝑄 maps 𝑄 conformally onto the upper half of the unit disk, 𝔻+

The first quadrant to the upper half plane

The map 𝑔(𝑧)=𝑧2 is injective and analytic in the first quadrant 𝑄

𝑔 maps 𝑄 conformally onto its image, namely the upper half plane 𝐷

The Riemann Map of the upper half of the unit disk

The previous three examples help to construct the Riemann map from 𝔻+ to 𝐷:

  • 𝔻+𝑓−1𝑄𝑔(𝑧)=𝑧2 𝐷𝑓(𝑧)=−𝑧+𝑖𝑧+𝑖𝔻
  • 𝔻+ℎ=𝑓∘𝑔∘𝑓−1𝔻

Application

Many problems are easier to solve in the unit disk (or some other "nice" standard region) than in the region they are formulated in.

Solutions can be found in the standard region, then transported back to the original region via a Riemann map

Example: Fluid flow can be modeled nicely in the upper half plane.

To understand a similar fluid flow in another region, map this flow from the upper half plane to the desired region using the Riemann map.

Other examples: electrostatics, heat conduction, aerodynamics, etc.


©sideway

ID: 190400029 Last Updated: 4/29/2019 Revision: 0


Latest Updated LinksValid XHTML 1.0 Transitional Valid CSS!Nu Html Checker Firefox53 Chromena IExplorerna
IMAGE

Home 5

Business

Management

HBR 3

Information

Recreation

Hobbies 8

Culture

Chinese 1097

English 339new

Travel 8new

Reference 79

Computer

Hardware 251

Software

Application 213

Digitization 32

Latex 52

Manim 205

KB 1

Numeric 19

Programming

Web 289

Unicode 504

HTML 66

CSS 65

SVG 46

ASP.NET 270

OS 431

DeskTop 7

Python 72

Knowledge

Mathematics

Formulas 8

Set 1

Logic 1

Algebra 84

Number Theory 206

Trigonometry 31

Geometry 34

Coordinate Geometry 2

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

Natural Sciences

Matter 1

Electric 27

Biology 1

Geography 1


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