-1-200240Email:blyang@sjtu.edu.cn1.MaxwellMaxwellMaxwellMaxwell17NewtonMaxwell11MaxwellMaxwell∂D/∂tMaxwellMaxwell2⎪⎪⎪⎩⎪⎪⎪⎨⎧=×∇=⋅∇∂∂−=×∇ρ=⋅∇JHBBED0(1)∇⋅BAbsenceoffreemagneticpolesCoulombFaradayAmpere⎩⎨⎧−µ=+ε=MBHPED00/(2)DHPM[2,3]Maxwell3.1[2,3,4][2,3]=⋅∇+∂ρ∂Jt(3)1Amperet∂ρ∂−=⋅∇≠≡×∇⋅∇JH0)(JAmpereMaxwellAssumptionAmpereAmperedJJH+=×∇(4)MaxwellJd3AmpereCoulomb0)(0)(=⋅∇+∂⋅∂∇−−⋅∇+∂ρ∂−ddttJDJaD0)(=+∂∂−⋅∇dtJDSimplestassumption[2]Maxwelltd∂∂=DJ(5)1tt⎪⎪⎪⎩⎪⎪⎪⎨⎧∂∂+=×∇=⋅∇∂∂−=×∇ρ=⋅∇DJHBBED0(6)MaxwellMaxwellMaxwell533Maxwell[6]DHEB1t⎪⎪⎪⎩⎪⎪⎪⎨⎧µ=×∇=⋅∇∂∂−=×∇ερ=⋅∇JBBBEE000/(7)[6]0≠∂ρ∂−=⋅∇tJAmpereJB0µ=×∇AmpereJd0)(=+⋅∇dJJJdJAmpere)(0dJJB+µ=×∇ρEρε=⋅∇01E(8)Maxwell[5]EinsteinEinstein)(0=∂∂ε+⋅∇tEJtd∂∂ε=EJ0(9)Jdtt⎪⎪⎪⎩⎪⎪⎪⎨⎧∂∂εµ+µ=×∇=⋅∇∂∂−=×∇ερ=⋅∇EJBBBEE00000/(10)7MaxwellEB7DH138Coulomb⎪⎪⎩⎪⎪⎨⎧ρε=⋅∇=∂ρ∂+⋅∇010EJtMaxwellCoulomb0)(0=∂∂ε−⋅∇tEJt∂∂ε−=EJ0(11)J9MaxwellJd∇×BJ+JddtotaldJJJJJJB+==⋅∇+=×∇:0a911JJdJtotalttddtotal∂∂ε=∂∂ε−=≡+=EJEJJJJ00,:0(12)43.2.AMaxwellMaxwellDH1Maxwell6DHEB1012610710EB10Maxwell12EB10Maxwell3.3BrouwerHilbertMaxwellMaxwell[15]4711∫∇×µ=VdVr1)(0JxB(13)∫×∇=µVdVrJxB)(10BA⎪⎩⎪⎨⎧µ=×∇=∫VdVrJAAB0(14)AAAxB2∇−⋅∇∇=×∇×∇=×∇)((15)∇×B−∇2AJJABA020212µ=∇−µ=−∇=×∇∫∇−VdVr∇∇⋅A∫∫ρ∇∂∂µ−=⋅∇µ=⋅∇∇=×∇⋅∇∇VaddVdVrtdVr001JABA(16)ρaddJ),(),(:0tttaddxJxJρ=∂ρ∂+⋅∇(17)ρ5CoulombGauss∫ρ∇ε−=VdVr01E(18)tadd∂∂εµ−=⋅∇∇=×∇⋅∇∇ExABA00)(Eaddρadd15)(00t∂∂ε+µ=×∇EJBtd∂∂ε=EJ0(19)5ρρadd=×∇5JρaddJdEMaxwell64.419M.Kline30618Gauss19Faraday[7])Thepresentquandarywouldgivepuremathematicianspauseandmovethemtoconcentrateonfoundationalproblemsbeforecreatingnewmathematicsthatmayindeedprovetobelogicalincorrect.…Unfortunately,mostmathematicianstodaycontinuetoproducenewresultsinpuremathematicsataneverincreasingpace.…InthejournalMathematicalReviewing,whichbrieflythenewandpresumablysignificantresults,areabout2,500ineachmonthlyissueorabout30,000peryear.…Whatmatterforthemisnewpublications,themorethebetter.Personalprogressisamust—rightorwrong.)Kline8KlineKlineKline(Greatmathematicians,whateverlicensetheymayallowthemselves,haveasureinstinctforsavingthemselvesfromcrushingdisaster.Theintuitionsofgreatmenaresounderthandeductivedemonstrationsofmediocrities.)(Religiousconvictionbolsteredbyscientificevidencesubstitutedforweakornon-existentlogicalstrength.MathematiciansweresoeagertosecureGod’struththat7M.Kline1980KlineKline8KlineKlineKline)Kline94.1),(),,(:),(),(:?JBBJEEBEJρ=ρ=ρa(20)ρ,JE,BVx9KlineFieldsNobel20NobelNobelKlineρ,J),(),,(:),(),,(JBBJEEBEJρ=ρ=∃ρ∀−(21)2010Maxwelltt⎪⎪⎪⎩⎪⎪⎪⎨⎧∂∂εµ+µ=×∇=⋅∇∂∂−=×∇ερ=⋅∇EJBBBEE00000/KlineKlineKline20ρ,JdomainE,Brange10MaxwellJ(x,t)A10⎪⎪⎪⎩⎪⎪⎪⎨⎧∂∂+ε=×∇=⋅∇∂∂−=×∇⇔µ=∂∂+×∇×∇)1(101020222EJBBBEJAA(22)[9]HertzMaxwellMaxwellMaxwellMaxwell21ΨJ(x,t)),(:),(),,(tttxJxxJΨΨa∃∀(23)⎪⎪⎪⎩⎪⎪⎪⎨⎧===∂∈µ=×∇×⋅∇πµ=⋅∇µ=∂∂+×∇×∇∫0'',14100000222tVdVrtcVΨΨΨΨΨΨΨΨxjnJJ(24)22114.2KlineEinstein11(x,t)systemthebydescribedobjtctidealAntf),(x(25)f(x,t)[8]1324Einstein12[16]13[1]NewtonNewtonLeibnizNewtonρ,JE,BfieldneticelectromagidealizedThe),(BEE,BEBEBEBEBfieldneticelectromagidealizedThe∃−),(:),(BEBE(26)2118-1914[8]WeinerCantorρ,Jφ,Ψφ,Ψρ(x)J(x,t)fieldSourceφρφρ),(,),(:),(~),(ΨΨJJ(27)ρ,Jφ,Ψ15ρ,J)(:)()(ρφ=φφρxxa(28))(:),(),(JxxJΨΨΨ=tta(29)ρ(x)J(x)J(x,t)27φ,ΨEBφ−∇=ρφEaachargestatic)((30)⎩⎨⎧×∇=∂∂=ΨΨΨBEJtchargemoving/)(a(31)15FaradayAmpereNeumannφ,Ψqvfchargemovingaqt×+=)(),(BvExf(32)LorentzE,B3031⎩⎨⎧×∇=∂∂+φ−∇=φΨΨΨBEtchargemoving/),(a(33)4.325MaxwellAmpere)(:xJJJB==×∇(34)J(x)J(x,t)distotaltotaldisttJxJJJBJxJxJ+==×∇=→),(,:?),,()((35)JdisMaxwellanalyticextensionEinsteinconstraintmapping35Maxwell13Biot-Savart)'(':'1'4)(0xJJJxB=×∇−=∫VdVrπµ(x)34AmpereBiot-SavartKantBiot-Savart34Ampere22tcttc⎪⎪⎪⎩⎪⎪⎪⎨⎧∂∂+ε=×∇=⋅∇∂∂−=×∇⇔µ=∂∂+×∇×∇)1(101020222EJBBBEJAA353.2.AMaxwellΨ⎪⎪⎩⎪⎪⎨⎧∂∈µ=×