budynek aiut AIUT sp. z o. o.
★  HenrykDot.com   ★
is the online companion to a series of books published by AIUT under the common main title
"Physics of My Imaginary Space-Time" by Henryk Dot.
POLSKI

last update
20/01/2023
Home

Physics 3 - Maxwell
Note from the Author
Table of Contents
What is this book
Historical facts
New aspects
Fully erroneous
Incorrectly interpreted

Physics 3 - Chapter 1
Equations
Complex vectors form
The Most General form
The General Solution

Physics 3 - Chapter 2
Solutions
Initial conditions
Non-homogeneous equation
Solution for three-directions
The four laws

Physics 3 - Supplement
Fermat's proof
Beal's conjecture
Pythagorean triples
Inertial mass
Gravity constans big G
What does the Moon look at?

Physics 3 - Final notes
Final notes

Physics 4 - New book
Entry

Contact email: henryk.dot(at)aiut.com
"Subject" should begin with
a digit corresponding to the day
of the week., e.g. Sunday=7




Books published by AIUT
are found in libraries according to the list of compulsory copies.

Second Edition of "Fizyka 3"
ISBN 978-83-926856-1-6
Fizyka
can be bought in Warsaw
in the Academic Bookstore
PW Publishing House
Noakowskiego street 18/20

and in Katowice
in the bookstore "Liber"
Bankowa street 11.
(area of Silesian University)

English edition of "Physics"
ISBN 978-83-926856-2-3
Fizyka
is also in libraries
and the distribution method should be asked wydawca@aiut.com.


2.2.3.  Solution for nonhomogeneous equation

     Nonhomogeneous one-direction equivalent of equation (2.3) is expressed as:
   2 F ( x , τ ) x 2 2 F ( x , τ ) τ 2 = f ( x , τ ) {partial sup 2 F( x,%tau)} over {partial x sup 2}- {{partial sup 2 F(x,%tau)} over {partial %tau sup 2}}= f(x,%tau) (2.32)
     Textbooks ([L2]–Marcinkowska, [L3]–Krzyzanski) contain solution of this equation. Applying notations used in this book, it is written as:
   F ( x , τ ) = g 1 ( x , τ ) + g 2 ( x , τ ) F(x, %tau) = g sub 1 (x, %tau) + g sub 2 ( x, %tau) , (2.33)
where g 1 ( x , τ ) g sub 1 (x, %tau) and g 2 ( x , τ ) g sub 2 (x, %tau) represent solutions derived from initial conditions (2.16-2.28) and related forcing
   g 1 ( x , τ ) = 1 2 [ F ( x τ , 0 ) + F ( x + τ , 0 ) ] + 1 2 x τ x + τ F ( x , 0 ) τ dx g sub 1 (x, %tau) = {1 over 2} cdot [F(x-%tau, 0)+F(x+%tau, 0)] +{1 over 2} cdot int from{x-%tau} to {x+%tau} {{partial F(x, 0)}over {partial %tau}}dx (2.34)
   g 2 ( x , τ ) = 1 2 0 τ ( x ( τ q ) x + ( τ q ) f ( r , p ) dr ) dq g sub 2 (x, %tau) = - {1 over 2} cdot int from 0 to %tau ( int from {x-(%tau -q)} to{x +(%tau -q)}f(r, p)dr)dq (2.35)
     This is correct solution; however, it cannot be applied for solving Maxwell’s equations. This is due to assumed conditions (used in above textbooks) which were required to prove correctness of the solution, but at the same time imposing significant limitations affecting its application.
The deciding factor determining its unsuitability comes from the assumption that forcing
 f( x,τ )  and then only from this point the solution is determined.
     Such assumptions are justified when performing analysis of already mentioned above string equation, but for Maxwell’s equations we should search for a solution with leading forcing function without limitations for analyzed time point.
      Textbook [L2] by Marcinkowska applies additional requirement for limited and enclosed space   (x, τ) , which further limits application of this solution.
     It should be noted that for Maxwell’s equations, solution derived from initial conditions in some considerations may become irrelevant. This is because initial conditions in Maxwell’s equations represent a wave created by forcing function from another position in space, thus being a component of a solution itself.
      Due to limitations mentioned above, it was necessary to derive restriction-free solution. Presented solution is easy to understand since it is based on elementary knowledge regarding differential equations without need of additional knowledge about other theorems.
After substitution of variables in equation (2.32) we obtain
   4 2 Fo ( u , v ) u v = f ( x , τ ) = f ( u + v 2 , u v 2 ) 4 cdot{ {partial sup 2 Fo(u,v)}over {partial u partial v}} = f(x , %tau) =f({{u+v}over 2},{{u-v} over 2}) (2.36)
and we arrive at final formal solution
   Fo ( u 0 , v 0 ) = 1 4 ( u C , v C ) ( u 0, v 0 ) f ( u + v 2 , u v 2 ) du dv + Fo ( u C , v C ) Fo(u sub 0,v sub 0) = 1 over 4 cdot iint from {(u sub C,v sub C)} to {(u sub 0, v sub 0)} f({{u+v}over 2},{{u-v} over 2})du dv +Fo(u sub C,v sub C) (2.37)
     However, deriving practical equations from this is not simple, so we will follow an easier way.
The drawing below (Fig.2) clarifies meaning of individual variables and operations performed.
x τ Sorry, your browser does not support inline SVG.
x = x0
τ = τ0
τ = τC
O(u0,v0)= O(x0, τ0)
A(uA,v0)
C(x0c)
B(u0,vB)
v
vC
vB
u
uC
uA
Fig.2    
Drawing legend:
     –   uv x τ       denote axis of coordinates,
     –   Fo ( u0 v0 )     represents value of the function in point ( u0 v0 ) , i.e. ( x0 τ0 )
                       marked on drawing as O( x0 τ0 )= O ( u0 v0 ) ,
     –   Fo ( uc= x0+ τc  ,  vc= x0- τc )   represents value in point ( x0 ,  τc )
                        marked on drawing as C( x0 ,  τc ) , which we can consider as
                       an initial value of function F( ).
     –  The wave moving in the direction of increasing values of x is denoted by red line
          and respectively blue represents the wave moving towards decreasing values of x.

    Integral    1 4 ( u C , v C ) ( u 0, v 0 ) f ( u + v 2 , u v 2 ) du dv    represents change of a value of function    F( x τ )   while traveling from point C( x0τ c) , to point O( x0τ 0)   i.e. change of value of function F( x τ ) in point x0  from time = τc  to time = τ0  ,  while  τc τ0 .      For traveling from point C to point O (as marked on Fig.2), we will apply the following relation:
   Fo ( u 0 , v 0 ) = F ( x 0, τ 0 ) = F ( x 0, τ C ) + τ C τ 0 F ( x 0 , τ ) τ d τ Fo(u sub 0 ,v sub 0) = F(x sub 0, %tau sub 0) = F(x sub 0, %tau sub C) + int from {%tau sub C} to {%tau sub 0} {{partial F(x sub 0,%tau)}over{ partial %tau}} d %tau (2.38)
      In further calculations, we will be frequently performing various substitutions of functions and variables.
In order to facilitate reader with easier following of these calculations, basic relations are being repeated below:
     u = x + τ u = x + %tau  ,   v = x τ v = x - %tau , (2.39)
     x = u + v 2 x = {u+v} over 2 ,    τ = u v 2 %tau = {u-v} over 2 , (2.40)
     u-v=2 τ  ,    u+v=2x ,      u-v=2 τ  ,    u+v=2x , (2.41)
     F ( x , τ ) = Fo ( u , v ) F(x, %tau) = Fo(u ,v) , (2.42)
     F ( x , τ ) = F ( v + τ , τ ) = F ( u τ , τ ) = F ( u + v 2 , u v 2 ) F(x, %tau) = F(v+%tau, %tau) = F(u-%tau, %tau) = F({u+v} over 2 ,{u-v}over 2) , (2.43)
     Fo ( u , v ) = Fo ( x + τ , x τ ) Fo(u ,v) = Fo(x+%tau ,x-%tau) , (2.44a)
     Fo ( u , v ) = Fo ( u , 2 x u ) = Fo ( 2 x v , v ) Fo(u ,v) = Fo(u,2x -u) = Fo(2x-v,v) , (2.44b)
     Fo ( u , v ) = Fo ( u , u 2 τ ) = Fo ( v + 2 τ , v ) Fo(u ,v) = Fo(u,u-2 %tau) = Fo(v+2 %tau,v) . (2.44c)

      Consequently; the following relations apply:

   F ( x , τ ) τ = Fo ( u , v ) τ {{partial F(x,%tau)}over{ partial %tau}} = {{partial Fo(u,v)}over {partial %tau}} ,
(2.45)

   F ( x , τ ) x = Fo ( u , v ) x {{partial F(x,%tau)}over{ partial x}} = {{partial Fo(u,v)}over {partial x}} ,
(2.46)

   F ( x , τ ) u = Fo ( u , v ) u {{partial F(x,%tau)}over{ partial u}} = {{partial Fo(u,v)}over {partial u}} ,
(2.47)

   F ( x , τ ) v = Fo ( u , v ) v {{partial F(x,%tau)}over{ partial v}} = {{partial Fo(u,v)}over {partial v}} ,
(2.48)

   F ( x , τ ) x = Fo ( u , v ) u + Fo ( u , v ) v {{partial F(x,%tau)}over{ partial x}} = {{partial Fo(u,v)}over {partial u}} + {{partial Fo(u,v)}over {partial v}} ,
(2.49)

   F ( x , τ ) τ = Fo ( u , v ) τ = Fo ( u , v ) u Fo ( u , v ) v {{partial F(x,%tau)}over{ partial %tau}} = {{partial Fo(u,v)}over{ partial %tau}} = {{partial Fo(u,v)}over {partial u}} - {{partial Fo(u,v)}over {partial v}} ,
(2.50)

   Fo ( u , v ) u = 1 2 Fo ( u , v ) x + 1 2 Fo ( u , v ) τ {{partial Fo(u,v)}over{ partial u}} = {1 over 2} {{partial Fo(u,v)}over {partial x}} + {} 1 over 2{{partial Fo(u,v)}over {partial %tau}} ,
(2.51)

   Fo ( x , τ ) v = 1 2 Fo ( u , v ) x 1 2 Fo ( u , v ) τ {{partial Fo(x,%tau)}over{ partial v}} = {1 over 2} {{partial Fo(u,v)}over {partial x}} - {1 over 2} {{partial Fo(u,v)}over {partial %tau}} ,
(2.52)

   2 Fo ( u , v ) u v = 1 4 f ( x , τ ) = 1 4 f ( u + v 2 , u v 2 ) { {partial sup 2 Fo(u,v)}over {partial u partial v}} ={1 over 4} f(x , %tau) ={1 over 4}f({{u+v}over 2},{{u-v} over 2}) ,
(2.53)

   2 Fo ( u , v ) u v = 1 4 f ( v + τ , τ ) = 1 4 f ( u τ , τ ) { {partial sup 2 Fo(u,v)}over {partial u partial v}} ={1 over 4} f(v+%tau , %tau) ={1 over 4}f(u-%tau , %tau) ,
(2.54)
Formula (2.50) can be applied in w (2.38), thus we obtain
   Fo ( u 0 , v 0 ) F ( x 0, τ C ) = τ C τ 0 ( Fo ( u , v 0 ) u Fo ( u 0 , v ) v ) d τ Fo(u sub 0 ,v sub 0) - F(x sub 0, %tau sub C) = int from {%tau sub C} to {%tau sub 0} ( {{partial Fo(u ,v sub 0)}over {partial u}} - {{partial Fo(u sub 0 ,v)}over {partial v}} ) d %tau . (2.55)
      The right-side components in (2.55) can be easily determined for fixed τ and for selected point x0 on x axis, from following relations:
   Fo ( u , v 0 ) u F ( x 0 , τ ) u = v ( x 0 , τ ) v 0 v ( F ( v + τ , τ ) u ) dv {partial Fo(u ,v sub 0)}over {partial u} - {partial F(x sub 0 ,%tau)}over {partial u} = int from {v(x sub 0 , %tau) } to {v sub 0} {partial over {partial v}} ( {partial F(v + %tau,%tau)}over { partial u} )dv , (2.56)

   Fo ( u 0 , v ) v F ( x 0 , τ ) v = u ( x 0 , τ ) u 0 u ( F ( u τ , τ ) v ) du {partial Fo(u sub 0 ,v)}over {partial v} - {partial F(x sub 0 ,%tau)}over {partial v} = int from {u(x sub 0 , %tau) } to {u sub 0} {partial over {partial u}} ( {partial F(u - %tau,%tau)}over { partial v} )du ,
(2.57)
and applying (2.54) we have
   Fo ( u , v 0 ) u F ( x 0 , τ ) u = 1 4 v ( x 0 , τ ) v 0 f ( v + τ , τ ) dv = 1 2 x 0 x 0 + ( τ τ 0 ) f ( x , τ ) dx {partial Fo(u ,v sub 0)}over {partial u} - {partial F(x sub 0 ,%tau)}over {partial u} = {1 over 4} int from {v(x sub 0 , %tau) } to {v sub 0} f(v+%tau, %tau) dv = {1 over 2} int from {x sub 0 } to {x sub 0 +(%tau -%tau sub 0)} f(x, %tau) dx , (2.58)
   Fo ( u 0 , v ) v F ( x 0 , τ ) v = 1 4 u ( x 0 , τ ) u 0 f ( u τ , τ ) du = 1 2 x 0 x 0 ( τ τ 0 ) f ( x , τ ) dx {partial Fo(u sub 0 ,v)}over {partial v} - {partial F(x sub 0 ,%tau)}over {partial v} = {1 over 4} int from {u(x sub 0 , %tau) } to {u sub 0} f(u-%tau, %tau) du = {1 over 2} int from {x sub 0 } to {x sub 0 -(%tau -%tau sub 0)} f(x, %tau) dx . (2.59)
Based on (2.40)
   x u = x v = 1 2 {partial x} over {partial u} = {partial x} over {partial v} = 1 over 2 (2.60)
therefore
   F ( x 0 , τ ) u = F ( x 0 , τ ) x x u = 1 2 F ( x 0 , τ ) x {partial F(x sub 0 , %tau)}over {partial u} = {{partial F(x sub 0 , %tau)}over {partial x}} cdot {{partial x} over {partial u}} = {1 over 2} {{partial F(x sub 0 , %tau)}over {partial x}} , (2.61)

   F ( x 0 , τ ) v = F ( x 0 , τ ) x x v = 1 2 F ( x 0 , τ ) x {partial F(x sub 0 , %tau)}over {partial v} = {{partial F(x sub 0 , %tau)}over {partial x}} cdot {{partial x} over {partial v}} = {1 over 2} {{partial F(x sub 0 , %tau)}over {partial x}}
(2.62)
and consequently
   Fo ( u 0 , v ) v = 1 2 x 0 x 0 ( τ τ 0 ) f ( x , τ ) dx + 1 2 F ( x 0 , τ ) x {{partial Fo(u sub 0 ,v)}over {partial v}} = {1 over 2} int from {x sub 0} to {x sub 0 -(%tau-%tau sub 0)} { f(x , %tau) }dx + {1 over 2} {{partial F(x sub 0 ,%tau)}over {partial x}} , (2.63)
   Fo ( u , v 0 ) u = 1 2 x 0 x 0 + ( τ τ 0 ) f ( x , τ ) dx + 1 2 F ( x 0 , τ ) x {{partial Fo(u ,v sub 0)}over {partial u}} = {1 over 2} int from {x sub 0} to {x sub 0+(%tau - %tau sub 0)} { f(x , %tau) }dx + {1 over 2} {{partial F(x sub 0 ,%tau)}over {partial x}} . (2.64)
     Inserting these values into do (2.55), we finally obtain:
   Fo ( u 0 , v 0 ) = F ( x 0, τ C ) 1 2 τ C τ 0 ( x 0 + ( τ τ 0 ) x 0 ( τ τ 0 ) f ( x , τ ) dx ) d τ Fo(u sub 0 ,v sub 0) = F(x sub 0, %tau sub C) - {1 over 2} int from {%tau sub C} to {%tau sub 0} { ( int from {x sub 0 +(%tau - %tau sub 0)} to {x sub 0 - (%tau - %tau sub 0)} f(x,%tau)dx )}d %tau (2.65)
     This is equivalent of formula (2.35) and it was derived without any limitations for value of time τc , which can be extended even to -∞ .
     Constant F( x0,τ ) results from integral of function f(x, τc ) for time periods before τc .
     For deriving formula (2.35), it was assumed that for τ< τc  function f(x, τc )=0 ,
thus integral of this function (our value of F ( x 0, τ c ) F(x sub 0, %tau sub C) also equals zero.
      For solving Maxwell’s equations, there is no need to consider solutions derived from initial conditions F(x, τc ) and F ( x,τc )/ τ , these can be considered for other than Maxwell’s equations while relating these conditions to sources f(x, τ)  .
      Variable τ0 was introduced to demonstrate equivalency of formulas (2.35) and (2.65).
Since this variable represents actual time, we can present concise and clear formulas (without losing generality), by selecting τ0=0 .
     In this case, formula (2.65) is expressed as follows:
   Fo ( u 0 , v 0 ) = F ( x 0, τ C ) 1 2 τ C 0 ( x 0 + τ x 0 τ f ( x , τ ) dx ) d τ Fo(u sub 0 ,v sub 0) = F(x sub 0, %tau sub C) - {1 over 2} int from {%tau sub C} to {0} { ( int from {x sub 0 +%tau } to {x sub 0 - %tau } f(x,%tau)dx )}d %tau . (2.66)
By extending time τc to negative infinity, we can eliminate the constant F ( x 0, τ c ) F(x sub 0, %tau sub C) , therefore:
   Fo ( u 0 , v 0 ) = 1 2 0 ( x 0 + τ x 0 τ f ( x , τ ) dx ) d τ Fo(u sub 0 ,v sub 0) = - {1 over 2} int from {-infinity} to {0} { ( int from {x sub 0 +%tau } to {x sub 0 - %tau } f(x,%tau)dx )}d %tau , (2.67)

   Fo ( u 0 , v 0 ) = 1 2 0 ( x 0 x 0 + τ f ( x , τ ) dx + x 0 x 0 τ f ( x , τ ) dx ) d τ Fo(u sub 0 ,v sub 0) = {1 over 2} int from {0} to {- infinity} { ( - int from {x sub 0 } to {x sub 0+%tau } f(x,%tau)dx + int from {x sub 0 } to {x sub 0 - %tau } f(x,%tau)dx )}d %tau .
(2.68)
      Integration constants (2.61) and (2.62) in formulas (2.63) and (2.64) are identical; they are also present in formula (2.65) but with opposite signs, so they eliminate each other.
     The values of Fo ( u , v 0 ) / u {partial Fo(u, v sub 0)/partial u}  and   Fo ( u 0, v ) / v {partial Fo(u sub 0, v)/partial v}   as shown on Fig.2 represent values of these derivatives in points where time axis τ crosses lines corresponding to variables u0 and v0 .   These variables represent respectively a wave traveling towards decreasing x values and a wave traveling towards increasing x values.
      As in homogenous equation, these waves can be separated and named Fu ( u 0 , v ) Fu(u sub 0,v) and Fv ( u , v 0 ) Fv(u,v sub 0) .
     Therefore
       Fo ( u 0, v 0 ) = Fu ( u 0 , v 0 ) + Fv ( u 0 , v 0 ) Fo(u sub 0, v sub 0) =Fu(u sub 0,v sub 0)+Fv(u sub 0,v sub 0) , (2.69)
   Fv ( u 0 , v 0 ) = 1 2 0 ( x 0 x 0 + τ f ( x , τ ) dx ) d τ Fv(u sub 0 ,v sub 0) = - {1 over 2} int from {0} to {- infinity} { ( int from {x sub 0 } to {x sub 0+%tau } f(x,%tau)dx )}d %tau , (2.70)

   Fu ( u 0 , v 0 ) = 1 2 0 ( x 0 x 0 τ f ( x , τ ) dx ) d τ Fu(u sub 0 ,v sub 0) = {1 over 2} int from {0} to {- infinity} { ( int from {x sub 0 } to {x sub 0-%tau } f(x,%tau)dx )}d %tau .
(2.71)
     Integration in respect to τ , in formula (2.70) is performed along straight line v0  which means that
   v = x - τ = v 0 = x 0 - τ 0 = x 0 u =x +~%tau= u sub 0 = x sub 0 + %tau sub 0= x sub 0 ,  herefore   τ = x 0 x %tau= x sub 0 -x   and  d τ = d x d %tau=- d x .
        In order to distinguish variable x derived from substitution of τ (based on d τ = d x d %tau=- d x  )   we will denote it with apostrophe   x' so equation (2.70) can be expressed as:
   Fv ( u 0 , v 0 ) = 1 2 x ' = x 0 ( x = x 0 x ' f ( x , x ' x 0 ) dx ) dx ' Fv(u sub 0 ,v sub 0) = - {1 over 2} int from {x'=x sub 0} to {- infinity} { ( int from {x=x sub 0 } to {x' } f(x,x' - x sub 0)dx )}dx' (2.72)
Similarly, integration in (2.71) is performed along straight line u0 uo , which means that
  u = x + τ = u 0 = x 0 + τ 0 = x 0 u =x +~%tau= u sub 0 = x sub 0 + %tau sub 0= x sub 0 ,  herefore   τ = x 0 x %tau= x sub 0 -x   and   d τ = d x d %tau=- d x  and formula (2.71) takes following form
   Fu ( u 0 , v 0 ) = 1 2 x 0 ( x 0 x ' f ( x , x 0 x ' ) dx ) dx ' Fu(u sub 0 ,v sub 0) = - {1 over 2} int from {x sub 0} to {infinity} { ( int from {x sub 0 } to {x ' } f(x, x sub 0 - x')dx )}dx' (2.73)
The formulas become even more readable when applying additional auxiliary variable r .

   Fv ( u 0 , v 0 ) = 1 2 r = 0 ( x 0 x 0 r f ( x , r ) dx ) dr Fv(u sub 0 ,v sub 0) = {1 over 2} int from {r=0} to {infinity} { ( int from { x sub 0 } to {x sub 0 -r } f(x ,-r)dx )}dr    (2.74)


   Fu ( u 0 , v 0 ) = 1 2 r = 0 ( x 0 x 0 + r f ( x , r ) dx ) dr Fu(u sub 0 ,v sub 0) = - {1 over 2} int from {r= 0} to {infinity} { ( int from { x sub 0 } to {x sub 0 +r } f(x ,-r)dx )}dr   
(2.75)

      Formulas (2.69), (2.74) and (2.75) represent solutions of general form (2.32)
of one-direction nonhomogeneous Maxwell’s equation.




  © 2020 Henryk Dot -