Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicable
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Lumped circuit approximation: branch data, terminal laws and the declared quasistatic regime

Physical scope

An adopted reduced lumped-circuit model: fixed finite branch data with constant symmetric L, positive-definite C and symmetric positive-semidefinite R, the Faraday/capacitive/Ohmic branch relations and Kirchhoff laws, confined to a declared quasistatic smallness condition with negligible radiation and leakage and ideal terminals. It is not derived from the vacuum Maxwell equations, asserts no error bound, and excludes radiation, distributed, nonlinear, hysteretic, leakage, proximity and material-dissipative effects beyond the cited material branch.

Postulate

Adopt the following reduced circuit model in the laboratory frame and SI units of Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields and Framework-local SI units, the vacuum constants and the exact/measured status of their values. The continuum material reference is Declared material-closure branches: linear nondispersive Ohmic response and the causal memory branch; the terminal laws below are additional assumptions, rather than consequences of its pointwise constitutive relations or of Maxwell's equations.

(a) Branch data. Fix a nonempty interval J⊆R, a finite set of nodes N, and a finite set of oriented branches E, each with specified tail and head nodes. Designate n inductive/resistive branches, m capacitive branches and any source branches. On the first family specify currents I:J→Rn and separate voltage-drop vectors VL,VR:J→Rn; on the second specify charges Q:J→Rm, currents IC:J→Rm and voltage drops VC:J→Rm. Currents I and charges Q admit C1 extensions to an open interval containing J; included endpoint derivatives are their one-sided derivatives, and at a singleton the chosen extensions are part of the data supplying the jets. Voltages and source currents are continuous. The matrices L,R∈Rn×n and C∈Rm×m are constant, with LT=L, CT=C, zTCz>0 for every z≠0, RT=R, and yTRy≥0 for every y. These inequalities define positive definiteness and positive semidefiniteness here. Symmetry alone is imposed on a declared L; a smooth compact-current realization can supply its additional positivity. Geometry, orientations and source data are fixed.

(b) Element and network relations. Adopt VL=LI˙,VR=RI,IC=Q˙,VC=C−1Q. Positive definiteness makes C−1 well defined: Cz=0 implies zTCz=0, hence z=0; an injective square finite matrix is invertible by Invertible matrix theorem: invertibility, full pivot rank, RREF I, trivial nullspace and unique solvability are equivalent. The voltage drop on an inductive/resistive branch is (VL+VR)α, with either element omitted by setting its corresponding matrix to zero; a capacitive branch has drop (VC)β. Thus the three voltage symbols refer to distinct element drops. In a purely inductive use, abbreviate VL by V. The linkage is LI and the induced emf convention is eL:=−VL. The capacitor scalar law is VC=Q/C when m=1.

For a branch b let ib be its oriented current and vb its voltage drop from tail to head (a source may have a negative drop). Define the incidence matrix by Aab:=1{a=tail⁡(b)}−1{a=head⁡(b)}. Kirchhoff's current law is Ai(t)=0, expressing no node-charge accumulation. A closed walk is a finite sequence of traversals of branches with matching successive nodes and final node equal to initial node. If its signed traversal count is zb (forward minus backward), Kirchhoff's voltage law is ∑bzbvb(t)=0. Adopt it for every closed walk. Equivalently it suffices to impose it on a chosen linearly independent spanning set (basis) of the real span of their traversal-count vectors; this is the meaning of independent loops here. These are imposed ideal network constraints, not statements about arbitrary field circulations.

The bookkeeping energies are 12ITLI and 12QTC−1Q. If a smooth compact conserved-profile realization of The steady-current (magnetostatic) regime, the compact smooth current class and the declared ideal noncompact models(b) is specified, identification of its linkage matrix with the declared L is an additional model premise, not automatic.

(c) Quasistatic regime. Specify a geometric size ℓ>0, a time scale T>0 and a chosen dimensionless tolerance 0<ϵqs<1. The declaration ℓ/(cT)≪1 means ℓ/(cT)≤ϵqs with a tolerance regarded as small in the chosen application. Negligible radiation and leakage, ideal terminals and the fixed conductor geometry are separately adopted idealizations. Neither this inequality nor these idealizations give a quantitative error bound for an arbitrary full Maxwell solution; no universal accuracy is asserted.

(d) Units and scope. VL,VR,VC,vb carry volts, I,IC,ib amperes, Q coulombs, t seconds, L henries (H=V s A−1), C farads (F=C V−1), and R ohms (Ω=V A−1). The model excludes radiation, distributed-element, nonlinear, hysteretic, leakage and proximity effects; resistor loss is retained through R. Subluminal material speeds are required if a relativistic moving-matter interpretation is added. The model is adopted and contains no measurement or derivation from the vacuum Maxwell equations.

Status and conventions

The scalar series RL loop consists of one inductive/resistive branch and a source: voltage balance gives LI˙+RI=Vsource. The source-free scalar LC loop uses R=0, equal oriented currents I=IC=Q˙ from the node law, and voltage balance LI˙+Q/C=0. These identify the exact network assumptions used by the later conditional deductions. General network solvability is not asserted.

Source notes

Tong §4.1.2–4.1.3, printed pp. 71–77, supplies inductive energy, the induced-emf sign and the adoption of Ohm's law; its worked dynamical example there is a sliding bar. Fitzpatrick §7.4–7.6, printed pp. 222–234, supplies the distinct inductive/resistive voltage drops, RL equation (7.37), and series LCR law (7.76), including capacitor current as the charge derivative. The finite network and matrix formulation here is explicitly adopted model content; no source is represented as proving a Maxwell-to-network error estimate.

Depends on

Dependency tree · 2 levels

Sources