NEW(S) 偏元数学残差的复数升域与径向/角向分解(Radial–Angular Decomposition of the Prenary Residual in the Complex Domain)

{"本文在偏元数学的最小地基上做两件事:把动作残差从实数域放到复数域,并给出累积过程的径向/角向分解。":[0],"须先说明位置:本文的分解式(定理":[1],"1)是复数加法在极坐标下的标准展开,是一个标准恒等式,不是本文提出的新定理。本文的贡献在于:把\\"残差带方向\\"这一前提,落在一个可验证、可复现、可退化的形式上,并标出它在体系中承上启下的位置。本文不主张任何物理量的数值对应。":[2],"在\\"动作":[3],"=":[4,7,27,149,157,185],"累积相加\\"的设定下,精确分解为":[5],"r'²":[6,156],"r²":[8,158],"+":[9,11,29,159,161,187,223],"2rρcosδ":[10,160],"ρ²;当":[12],"ρ":[13,164],"≪":[14,165],"r":[15,166],"且":[16],"δ":[17,168],"远离":[18],"π":[19],"时线性化为":[20],"Δr":[21,175],"≈":[22,24,176,180],"ρcosδ、Δψ":[23],"(ρ/r)sinδ。累积满足":[25],"z_{n+1}":[26,184],"z_n":[28,186],"ε_n。数值上:精确式误差在机器精度量级(≈2.2×10⁻¹⁶);角向净累积为":[30],"√N":[31,204],"量级(无系统性漂移的随机游走)。四条定理已由":[32],"Lean":[33,218,272],"4":[34,43,219,273],"内核验证(No":[35],"goals)并经":[36],"Comparator":[37],"二次验证——见配套仓库":[38],"DOI":[39,230],"10.5281/zenodo.22815027。":[40],"本文是一项独立的、尝试性的数学工作,尚未得到独立实验验证,末尾给出明确的可证伪条件,欢迎独立复核与反驳。":[41],"关键词:偏元数学;动作留差;残差;复数域;径向/角向分解;模方展开;累积;可证伪;Lean":[42],"形式化验证;陈偏贞;老陈与AI的深夜实验室;PGI蛟龙;华夏思哲偏元注":[44],"——老陈与AI的深夜实验室":[45],"发布":[46],"请笑纳——":[47],"This":[48,232],"paper":[49],"does":[50],"two":[51],"things":[52],"on":[53],"the":[54,62,66,70,80,88,112,128,134,146,152,190,198,227],"minimal":[55],"foundation":[56],"of":[57,79,91],"Prenary":[58,259],"Mathematics:":[59],"it":[60,74,131,172,239],"lifts":[61],"action":[63],"residual":[64,115],"from":[65,170],"real":[67],"field":[68],"into":[69],"complex":[71,92],"field,":[72],"and":[73,125,167,178,254],"gives":[75],"a":[76,100,117,120,296],"radial–angular":[77],"decomposition":[78,84,154],"accumulation":[81,201],"process.":[82],"The":[83,107,212],"(Theorem":[85],"1)":[86],"is":[87,109,143,155,233],"standard":[89,97],"expansion":[90],"addition":[93],"in":[94,133,217],"polar":[95],"coordinates—a":[96],"identity,":[98],"not":[99,241],"new":[101],"theorem":[102],"proposed":[103],"by":[104,245,285],"this":[105],"paper.":[106],"contribution":[108],"to":[110,126,139,174,194],"place":[111],"premise":[113],"\\"the":[114],"carries":[116],"direction\\"":[118],"onto":[119],"verifiable,":[121],"reproducible,":[122],"degenerate":[123],"form,":[124],"mark":[127],"load-bearing":[129],"position":[130],"occupies":[132],"framework.":[135],"No":[136,221],"numerical":[137],"correspondence":[138],"any":[140],"physical":[141],"quantity":[142],"claimed.":[144],"Under":[145],"setting":[147],"\\"action":[148],"cumulative":[150],"addition\\",":[151],"exact":[153,191],"ρ²;":[162],"when":[163],"away":[169],"π,":[171],"linearizes":[173],"ρcosδ":[177],"Δψ":[179],"(ρ/r)sinδ.":[181],"Accumulation":[182],"satisfies":[183],"ε_n.":[188],"Numerics:":[189],"formula":[192],"holds":[193],"machine":[195],"precision":[196],"(≈2.2×10⁻¹⁶);":[197],"net":[199],"angular":[200],"scales":[202],"as":[203],"(a":[205],"random":[206],"walk":[207],"with":[208,295],"no":[209],"systematic":[210],"drift).":[211],"four":[213],"theorems":[214],"are":[215,250,256],"verified":[216,244],"(kernel":[220],"goals":[222],"Comparator)":[224],"—":[225,283],"see":[226],"companion":[228],"repository":[229],"10.5281/zenodo.22815027.":[231],"an":[234],"independent,":[235],"tentative":[236],"mathematical":[237],"work;":[238],"has":[240],"been":[242],"independently":[243],"experiment.":[246],"Explicit":[247],"falsifiability":[248],"conditions":[249],"given.":[251],"Independent":[252],"scrutiny":[253],"refutation":[255],"welcome.":[257],"Keywords:":[258],"Mathematics,":[260],"Action":[261],"Residual,":[262,263],"Complex":[264],"Field,":[265],"Radial–Angular":[266],"Decomposition,":[267],"Modulus-Square":[268],"Expansion,":[269],"Accumulation,":[270],"Falsifiability,":[271],"Formal":[274],"Verification,":[275],"Chen":[276,287],"Pianzhen,":[277],"Chensong_AI_LateNightLab,":[278],"Huaxia":[279],"Sizhe":[280],"Pianyuan":[281],"Zhu":[282],"Published":[284],"Lao":[286],"&":[288],"AI's":[289],"Late":[290],"Night":[291],"Lab.":[292],"Please":[293],"accept":[294],"smile.":[297]}