Chemistry Polymerization Kinetic From Jcost

Polymerization conversion

Radical polymerization is the workhorse reaction that makes plastics from vinyl monomers such as styrene and methyl methacrylate. The reaction proceeds when an initiator creates a free radical, a molecule with an unpaired electron, which attacks a monomer and starts a growing chain. The rate law is rate = k_p[M][M*], where [M] is monomer concentration and [M*] is the concentration of growing chains. As chains cross-link, the mixture turns into a gel, and conversion, the fraction of monomer consumed, typically plateaus between 85 and 95 percent. The reaction never quite finishes because the gel traps unreacted monomer and radicals.

The classical treatment, developed through the mid-twentieth century, models this plateau with kinetic equations and diffusion limits. The exact endpoint depends on monomer, temperature, and initiator, so textbooks report a range, not a single number. In 1937, Flory and Stockmayer independently laid the statistical foundation for gelation, predicting a critical extent of reaction at which an infinite network first appears. Their work made conversion a measurable, predictable quantity, but the plateau's precise value remained an empirical matter.

In Recognition Science, the framework models a ledger, a discrete record of recognition events, and assigns a forced cost, a penalty for each event. The framework proves that any cost function meeting five plain conditions must equal J(x) = (x + 1/x)/2 - 1. The chemistry module applies this cost to polymerization by setting the domain cost as J(m/e), where m is monomer consumed and e is monomer expected. The module proves three general facts: the cost is zero when m equals e, it is nonnegative for positive inputs, and the threshold phi - 3/2 is positive. The research note attached to the module suggests that at the gel point, conversion equals 1 - J(phi), which evaluates to about 88.2 percent, a value inside the empirical 85 to 95 percent window.

The module itself proves nothing specific to polymerization because it never defines m and e in chemical terms. It establishes only the abstract properties of the cost function. The gel-point identification is a research hypothesis, not a theorem. What the module does show is that the framework's cost function behaves sensibly: it penalizes mismatch and vanishes at agreement. That is a necessary first step, but the bridge from cost to chemistry remains open.

The practical consequence is a candidate single number for the conversion plateau. If the identification holds, the framework would explain why radical polymerizations so often stop near 88 percent rather than at some other value. The empirical range is wide, and the framework's value sits comfortably inside it, but the gap between the abstract cost and a real reactor remains the missing link.

theorem domainCost_at_eq (r : ℝ) (h : r ≠ 0) : domainCost r r = 0 := by
  unfold domainCost; rw [div_self h]; exact Jcost_unit0

theorem domainCost_nonneg (m e : ℝ) (hm : 0 < m) (he : 0 < e) : 0 ≤ domainCost m e := by
  unfold domainCost; exact Jcost_nonneg (div_pos hm he)

theorem canonicalThreshold_pos : 0 < canonicalThreshold := by
  unfold canonicalThreshold; linarith [phi_gt_onePointFive]

def domainCost (m e : ℝ) : ℝ := Jcost (m / e)

def domainCost (m e : ℝ) : ℝ := Jcost (m / e)

What this page does not claim

The module does not prove that the gel point is 88.2 percent. The module does not define monomer consumed or expected in chemical terms. The empirical 85 to 95 percent range is not a framework theorem.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Chemistry/PolymerizationKineticFromJCost.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: