Saturday, December 3, 2016
TI-84 Plus: Intersection of two lines – program by Jack Kesler
Tuesday, November 25, 2014
Complex Analysis: Line Integral
Contour Integrals
Let the complex function f(z) be defined as f(z) = u(x,y) + i*v(x,y)
Using the definition of the integral:
∫ f(z) dz = lim n → ∞ [ Σ f(z_k) * Δz_k from k = 1 to n ]
= lim n → ∞ [ Σ ( u(x_k, y_k) + i*v(x_k, y_k) ) * ( Δx_k + i*Δy_k ) from k = 1 to n ]
= lim n → ∞ Σ [ (u(x_k, y_k) * Δx_k - v(x_k, y_k) * Δy_k) + i*(v(x_k, y_k) * Δx_k
+ u(x_k, y_k) * Δy_k) ]
= ( ∫ u(x,y) dx - ∫ v(x,y) dy ) + i*( ∫ u(x,y) dy + ∫ v(x,y) dx )
In summary:
∫ f(z) dz = ( ∫ u(x,y) dx - ∫ v(x,y) dy ) + i*( ∫ u(x,y) dy + ∫ v(x,y) dx )
What is needed:
1. A contour curve f = y(x). This is where you get your end points.
2. We need f(z) to integrate. Separate f(z) into its parametric parts.
Let's look at a couple examples.
Examples
1. Contour: y = x + 1 from (3,4) to (4,5). Integrate ∫ z^2 dz.
Since y = x + 1, x = y - 1
z^2 = (x + i*y)^2 = (x^2 - y^2) + i*(2*x*y)
u = x^2 - y^2
v = 2*x*y
u = x^2 - y^2
u = x^2 - (x + 1)^2
u = -2*x - 1
∫ u dx from 3 to 4 = -8
v = 2 * x * y
v = 2 * (y - 1) * y
∫ v dy from 4 to 5 = 95/3
u = (y - 1)^2 - y^2
u = -2 * y + 1
∫ u dy from 4 to 5 = -8
v = 2 * x * y
v = 2 * x * (x + 1)
∫ v dx from 3 to 4 = 95/3
∫ z^2 dz from (3 + 4*i) to (4 + 5*i) = (-8 - 95/3) + i*(-8 + 95/3) ≈ -39.666667 + 23.666667*i
2. Contour: y = x^2 - 1 from (0, -1) to (2, 1). Integrate ∫ z^2 + 1 dz.
y = x^2 - 1, x = √(y + 1)
z^2 + 1 = (x + i*y)^2 + 1 = x^2 + 2*i*x*y - y^2 + 1
u = x^2 - y^2 + 1
v = 2 * x * y
u = x^2 - y^2 + 1
u = x^2 - (x^2 - 1)^2 + 1
∫ u dx from 0 to 2 = 8/5
v = 2 * x * y
v = 2 * √(y + 1) * y
∫ v dy from -1 to 1 = 8/15 * √2
u = x^2 - y^2 + 1
u = y + 1 - y^2 + 1
u = -y^2 + y + 2
∫ u dy from -1 to 1 = 10/3
v = 2 * x * y
v = 2 * x * (x^2 - 1)
∫ v dx from 0 to 2 = 4
∫ z^2 + 1 dz from -i to 2+i = (8/5 - 8/15 * √2) + i*(4 + 10/3) ≈ 0.845753 + 7.333333*i
This is the basics of line integrals.
Source: Wunsch, A. David. Complex Variables with Applications. 2nd Edition. Addison-Wesley Publishing Company. 1994.
Take care, Eddie
This blog is property of Edward Shore. 2014
Saturday, November 22, 2014
Complex Analysis: Cauchy-Reimann Equations
Continuing my blogging adventures at the Last Drop Cafe in Claremont, CA:
Cauchy-Reimann Equations
Let the complex-valued function f(z), where z = x+i*y, be defined in the parametric form:
f(z) = u(x,y) + i*v(x,y) where u(x,y) = Re(f(z)) and v(x,y) = Im(f(z)).
Then by the definition of the derivative:
f(z) = lim x0 → x [(f(z) + x0) - f(z))/(x - x0)]
= lim x0 → x [(u(x +x0, y) - u(x, y) + i*v(x + x0, y) - i*v(x, y))/(x - x0)]
= du/dx + i*dv/dx (I)
Also:
f(z) = lim y0 → y [(f(z + y0) - f(z))/(i*y - i*y0)]
= lim y0 → y [(u(x, y + y0) - u(x, y) + i*v(x, y + y0) - i*v(x, y))/(i*(y - y0))]
= -i*(lim y0 → y [(u(x, y + y0) - u(x, y) + i*v(x, y + y0) - i*v(x, y))/(y - y0)])
= -i*du/dy + dv/dy (II)
Taking the real and imaginary parts of (I) and (II):
du/dx = dv/dy and -du/dy = dv/dx
The Cauchy-Riemann equations can be used to determine whether f(z) is differentiable and if so, where.
Two Quick Examples
1. z^2 = (x^2 - y^2) + 2*i*x*y
u=x^2 - y^2
v=2*i*x*y
du/dx = 2*x, dv/dy = 2*x
-du/dy = 2*y, dv/dx = 2*y (note the negative sign in front of du/dy!)
Since the Cauchy-Riemann equations hold, and without restriction, then z^2 is differentiable for all z. And:
df/dz = 2*x + 2*i*y = 2*(x+i*y) = 2*z
2. e^z = e^(x+i*y) = e^x*cos y + i*e^x*sin y
u=e^x*cos y
v=e^x*sin y
du/dx = e^x*cos y, dv/dy = e^x*cos y
-du/dy = e^x*sin y, dv/dx = e^x*sin y
Since the Cauchy-Riemann equations hold, and without restriction, then e^z is differentiable for all z. And:
df/dx = e^x*cos y + i*e^x*sin y = e^z
I used (I), but using (II) will garner the same result.
That is the Cauchy-Riemann equations in a nutshell!
Source: Wunsch, A. David. Complex Variables with Applications. 2nd Edition. Addison-Wesley Publishing Company. 1994.
As always, have a great day! Take care. Eddie
This blog is property of Edward Shore. 2014
Complex Analysis: The Conjugate, the Modulus, and its Properties
Blogging today from Last Drop Cafè in Claremont, CA. I think I found a new favorite drink: mint mocha made with soy milk.
Here are some basics of the conjugate and modulus of complex numbers.
Let z = x+i*y, with i=√-1
Conjugate
Usually labeled "z-bar" (z with a line over it), the conjugate is also labeled conj(z) and z*.
conj(z) = x - i*y
Modulus or Absolute Value
Not surprisingly, the modulus, also called the absolute value of the complex number z is defined as:
|z| = √(x^2 + y^2)
Properties
Let's explore some properties of the conjugate and modulus.
z + conj(z) = (x + i*y) + (x - i*y) = 2*x
z - conj(z) = (x + i*y) - (x - i*y) = 2*i*y
(conj(z))^2 = (x - i*y)^2 = x^2 - 2*i*x*y + (i*y)^2 = x^2 - y^2 - 2*i*x*y
conj(z)^2 + z^2 = (x - i*y)^2 + (x + i*y)^2 = x^2 - 2*i*x*y - y^2 + x^2 + 2*i*x*y - y^2
= 2*(x^2 - y^2)
conj(z) * z = (x - i*y) * (x + i*y) = x^2 + i*x*y - i*x*y - i^2*y^2 = x^2 + y^2 = |z|^2
which easily leads to: |z| = √(z * conj(z)) and
|z1 * z2| = √(z1 * conj(z1) * z2 * conj(z2)) = √(z1 * conj(z1)) * √(z2 * conj(z2)) = |z1| * |z2|
and:
|z1/z2| = √((z1 * conj(z1))/(z2 * conj(z2))) = √((z1 * conj(z1))/√((z2 * conj(z2)) = |z1|/|z2|
Source: Wuncsh, David A. Complex Numbers with Applications. 2nd Edition. Addison-Wesley Publishing Company. Reading, MA. 1994
Monday, May 5, 2014
Complex Analysis Rap
Complex Analysis Rap
If you have a chance, check out this awesome complex analysis rap by Katherine Bellafiore Sanden:
http://youtu.be/PyYLzjYOHz0
You can download the song here: https://soundcloud.com/dragonflykbs/complex-analysis
Thank you Katherine for putting it on Soundcloud! The song is now proudly played on my iPod.
Thread where the rap, and other math sings are posted:
http://www.hpmuseum.org/forum/thread-1227.html
Thank you HP Forums (MoHPC)!
Just thought this is worth sharing - Eddie
Classic RPN Stack Operations
Classic RPN Stack Operations Starting Stack: T: d Z: c Y: b X: a OVER : Copies b to the Z and X stacks, while leaving ...
