We study solutions to the integral equation ω(x)=Γ-x2∫01K(θ)H(ω(xθ))dθ\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$\\begin{aligned} \\omega (x) = \\Gamma - x^2 \\int \\nolimits _{0}^1 K(\\theta ) \\, H(\\omega (x\\theta )) \\, \\mathrm {d}\\theta \\end{aligned}$$\\end{document}where Gamma >0, K is a weakly degenerate kernel satisfying, among other properties, K(theta ) sim k , (1-theta )^sigma as theta rightarrow 1 for constants k>0 and sigma in (0, log _2 3 -1), H denotes the Heaviside function, and x in [0,infty ). This equation arises from a reaction-diffusion equation describing Liesegang precipitation band patterns under certain simplifying assumptions. We argue that the integral equation is an analytically tractable paradigm for the clustering of precipitation rings observed in the full model. This problem is nontrivial as the right hand side fails a Lipschitz condition so that classical contraction mapping arguments do not apply. Our results are the following. Solutions to the integral equation, which initially feature a sequence of relatively open intervals on which omega is positive (“rings”) or negative (“gaps”) break down beyond a finite interval [0,x^*] in one of two possible ways. Either the sequence of rings accumulates at x^* (“non-degenerate breakdown”) or the solution cannot be continued past one of its zeroes at all (“degenerate breakdown”). Moreover, we show that degenerate breakdown is possible within the class of kernels considered. Finally, we prove existence of generalized solutions which extend the integral equation past the point of breakdown.
Read full abstract