Is It Time To Reformulate The Partial Differential Equations of Poisson and Laplace?
Is It Time To Reformulate The Partial Differential Equations of Poisson and Laplace?
ISSN No:-2456-2165
Abstract:- I. INTRODUCTION
The question of whether it is time to reformulate
the time-independent partial differential equations of The question of whether it is time to reformulate the
Poisson and Laplace is no longer a matter of debate but time-independent partial differential equations of Poisson
rather an urgency and a principle of decision. and Laplace is no longer a matter of debate but rather an
urgency and a principle of decision.
The Poisson partial differential equation PPDE
subject to Dirichlet boundary conditions which is Many mathematicians and physicists still believe that
currently expressed as, these PDE equations are currently valid and do not need to
be changed.
L.U=s
Moreover, they argue that despite constant criticism,
Should it be rephrased as: the Poisson and Laplace equations remain widely used in
dU/dt)partial = D. LU +S physics and mathematics.
And the Laplace partial differential equation LPDE These equations are relatively simple to understand
subject to Dirichlet boundary conditions which is and can be used to solve a wide variety of problems.
currently expressed as, Moreover, the equations were found to be correct in many
LU=0 cases, suggesting that these equations are not outdated and
Should it be rephrased as: can accurately describe the physical world.
dU/dt)partial = D. LU
But the question arises; how important is the time-
Where L is the Laplacian operator and S is the dependent PPDE and Laplace's time-dependent PDE when
source term. we live happily without it?
It is quite surprising that the solution of time- First, but not last, the moment we reformulate the
dependent PPDEs and LPDEs is more accessible than LPDE and PPDE equations into time-dependent equations,
that of time-independent solutions. the world is turned upside down and life becomes more
comfortable.
We apply chains of B matrices in a revolutionary
step to solve Laplace and Poisson PDEs numerically. The Poisson partial differential equation PPDE which
is currently expressed as,
We present two applications of solving PPDE and
LPDE via the time-dependent model using the B-matrix L.U=s . . . .(1)
chain statistical technique.
Should it be rephrased as:
The numerical results of the proposed model are
accurate and fast and superior to classical solutions dU/dt)partial = D. LU +S . . . . . .(1")
using the finite difference technique. And the Laplace partial differential equation LPDE
We have shown theoretically via the time- which is currently expressed as,
dependent statistical model and experimentally by a LU=0 ....(2)
rigorous experimental technique that the supposed
mathematical singularity at the center of the solid sphere Should it be rephrased as:
of the energy density field has no physical existence.
dU/dt)partial = D. LU . . . . . .(2")
In a way, the classical time-independent equations The statement 2 that mathematics is the language of
only hold because the speed of their energy transfer is close physics always was a given and widely accepted, but the
to that of light and therefore equilibrium is reached almost idea that the reverse could be true is quite unexpected.
instantaneously.
However, in a revolutionary technique, chains of B
All physical laws should contain time and therefore we matrices are used to numerically solve PDEs, double and
assume the claims of keeping PDE independent of time as it triple integrals as well as the general case of time-dependent
is neither physically nor mathematically correct. 3D partial differential equations with arbitrary Dirichlet
boundary conditions and conditions arbitrary initials.
On the other hand, there are a large number of reasons
why the Poisson-Laplace PDE should be reformulated as a II. THEORY
function of time, the sooner the better because:
The basis of the present numerical statistical theory is
The two equations become similar to the heat equation the following recurrence relation:
and all three are self-solving nature equations i.e. they do
not need much math to solve them like the need FDM U(x,y,z,t+dt)= B. U(x,y,z,t) . . . . . (3)
techniques or even the PDE itself. Life becomes more
comfortable. or equivalently in matrix notation,
This is because the equation involves integral B i, i = RO, i.e. the main diagonal consists of equal or
operators from the boundary conditions. constant entries RO .
D(N)=E(N)-I . . . . . (6)
Notice that,
E(N)=(I-B)^-1 . . . . (7)
Consider the simple case of a rectangular domain with and arrived at the solution vector:
9 equidistant free nodes, u1, u2, u3, ... u9 subject to 12 U=[55,7143,43,2143,27,1429,79,6429,70,0000,45,3571,112
Dirichlet boundary conditions BC1 to BC12 as shown in ,357,111,786,84,2857]T.... (9)
Figure 1.
Alternatively, the vector BC for the proposed
The 12 boundary conditions can be reduced to 9 BC statistical solution of the matrix B corresponding to (1)
for the 9 free nodes as follows, reduces to
BC1 = BC1X + BC1Y
BC2 = BC2X + BC2Y b=[100/4, 20/4, 20/4, 20/4, 80/4, 0, 0.260/4, 180/4,
................ 180/ 4 ] T. . . (10)
BC9 = BC9X + BC9Y .
Further, the calculated transfer matrix D=E-I can be
The construction Now of the transition matrix B 9x9 multiplied by the vector BC(b) of and we get the statistical
fulfills the i-iv conditions for RO = 0 and therefore the solution which is,
corresponding matrix E can be calculated.
U=[55.7132187 43.2126846 27.1417885 79.6412506
Now just multiply the matrix D=E-I (E and D are not a 69.9978638 45.3555412112.856079 111.784111
function of BC) by any arbitrary vector BC(b) to get the 84.2846451]T. . . (11)
required solution for the electrostatic voltage distribution V
or equivalently the distribution of temperature T c. If we compare the proposed statistical solution (11)
with the mathematical solution of Mathews (9), we find a
J. Mathews [3] classically solved the resulting system striking simplicity, rapidity and precision.
of 9 linear algebraic equations using the Gaussian
elimination method in a more efficient scheme by extending B. CASE B
the tridiagonal algorithm to the more sophisticated Below we present the 3D numerical statistical solution
pentadiagonal algorithm for its vector BC(b) arbitrarily for the transient heating curve (or equivalently the Poisson
chosen, transient voltage distribution) inside a cube (shown in
Figure 2) initially at 0c (or equivalent to zero voltage)
b = [100,20,20,80,0,0,260,180,180] T.. . . . . (8) suddenly placed in a 76 c container (or equivalent to a 76
volt unit voltage container "Dirichlet BC Equipotential
Container")
Consider the more complicated case of a cuboid which corresponds to the diffusion of heat in the perfect
domain with 27 equidistant free nodes, u1, u2, u3, ... u27 conductor and the distribution of voltage in bounded free
subject to 54 Dirichlet boundary conditions BC1 to BC54 as space.
shown in Figure 2.
The results of the numerical calculation for the 27 free
The 54 boundary conditions can be reduced to 27 BC nodes are the following:
for the 27 free nodes in a procedure *RO is set equal to zero
time=dt
time= 2 dt
time= 3 dt
time= 5 dt
time= 6 dt
66.392 62.493 66.392 62.493 57.007 62.493 66.392 62.493 66.392 .......
etc..
time = dt 139.0 28.0 5.87 28.0 11.73 3.62 5.87 3.62 1.40
120.0 13.3 0.00 13.3 0.00 0.00 0.00 0.00 0.00 28.0 11.7 3.6 11.7 7.23 2.80 3.617 2.80 1.25
13.3 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 5.87 3.62 1.40 3.62 2.80 1.25 1.40 1.25 0.615
0.00 0.00 0.00 0.00 0.00 0.00 0.0 0.00 0.00. Note that the time-independent stationary equilibrium
is almost reached on the 27 free nodes after 19 time steps.
Time = 4 dt
The same model can provide examples of cooling
133.3 22.16 2.84 22.16 5.69 0.711 2.84 0.711 0.0 curves for different metals where the RO value is between
zero and 1 depending on the size and thermal diffusivity of
22.16 5.69 0.71 5.69 1.42 0.00 0.71 0.00 0.00000000 the object under consideration.
In B-Matrix strings, dt is imperial and real time is
2.84 0.71 0.00 0.71 0.00 0.00 0.00 0.00 0.00. completely lost.
Time = 7 dt It should be mentioned that the B-matrix strings are
137.5 26.2 4.73 26.17 9.45 2.23 4.73 2.23 0.577 relativistic invariant as they should be.
26.17 9.45 2.23 9.45 4.47 1.15 2.23 1.15 0.278 C. CASE C
4.73 2.23 0.577 2.23 1.15 0.278 0.577 0.278 5.057E-02 Irremovable Singularity
It is true that the heat conduction/diffusion equation and
Time = 15 dt the voltage energy density distribution as a function of time
in the solid sphere have no mathematical solution.
138.9 27.9 5.79 27.9 11.6 3.50 5.79 3.50 1.32
This physical rule produced by the laws of nature has t(s) 0 30 60 90 120 150 180 210 240 300 360
exceptions, but only when applied outside its scope. 420 480 540 600
However, these exceptions confirm the rule rather than temp(c) 76 49 37. 32 28.5 25 22.2 20 18.6 16 14.3
deny it. 13.3 12.3 11.7 11.2
t(s) 0 30 60 90 120 150 180 210 240 300 360 420 480 Conclusion is that tha mathematical singularity at r=0
540 600 does not exist physically
t(s) 0 30 60 90 120 150 180 210 240 300 360 420 480 LU=s
540 600
Should be rephrased as follows:
temp(c) 76 44 32 26.23 20 17.2 15.6 13.8 11.6 9.8 8.6
dU/dt)partial = D. LU +S
7.9 7.4 6.
And the Laplace partial differential equation LPDE
Table 3, Cooling curve for a 6.2 kg aluminum pyramid subject to Dirichlet boundary conditions which is currently
with a 20 cm square base and a height of 19 cm. expressed as,
t(s) 0 30 60 90 120 150 180 210 240 300 360 420 480 LU=0
540 600
Should be rephrased as follows:
temp(c) 76 49 37.5 28 26 22.6 18.3 16.8 15, 13.5 12.6
dU/dt)partial = D.LU
--- 12 11.3 9
Where L is the Laplacian operator and S is the source
Table 4, Cooling curve for a 2.9 kg solid aluminum term.
sphere, 13 cm in diameter.
It is quite surprising that the solution of time-
t(s) 0 30 60 90 120 150 180 210 240 300 360 dependent PPDEs and LPDEs is more accessible than that of
420 480 540 600 time-independent solutions.
temp(c) 76 49 37. 32 28.5 25 22.2 20 18.6 16 14.3 We apply chains of B matrices in a revolutionary step
13.3 12.3 11.7 11.2 to solve Laplace and Poisson PDEs numerically.
REFERENCES