Table of Contents
Fetching ...

A unified theory for diffusion with memory and delay via measure-valued kernels

Hiroki Ishizaka

TL;DR

The paper develops a unified diffusion model with memory and delay encoded by a nonnegative measure $\mu$ on $(0,\mathfrak T]$, combining a coercive diffusion form $a_0$ with a measure-induced memory operator $\mathcal{K}_\mu$. It proves robust well-posedness for general finite kernels and introduces a positive-type dissipativity condition under which memory contributes nonnegative energy dissipation, with an internal-variable representation for completely monotone kernels and a structural memory-energy/dissipation identity. It further analyzes limit transitions, including vanishing memory and convergence to discrete delays, and establishes long-time behavior and kernel-continuity results that ensure consistency across regimes. The framework unifies memory-free, distributed-memory, and discrete-delay models within a single weak formulation and provides a foundation for structure-preserving numerics and regime-aware analysis.

Abstract

We investigate a diffusion equation that incorporates historical effects, in which the memory-delay mechanism is represented by a nonnegative Borel measure $μ$ on the interval $(0, \mathfrak T]$. The diffusion component is characterised by a coercive bilinear form $a_0$, while the historical term is modelled as a measure-induced convolution operator $\mathcal K_μ$, derived from a bounded non-negative form $a_1$. This framework includes the memory-free parabolic problem ($μ=0$), distributed-memory Volterra models ($dμ(s)=k(s)\,ds$), discrete-delay models with atomic measures, and mixed kernels. For general finite measures $μ$, we establish well-posedness over finite time horizons and derive stability bounds that remain applicable in the presence of delays. Subsequently, we identify a positive-type condition under which the memory term is dissipative, leading to a refined energy inequality. For absolutely continuous kernels, we provide verifiable sufficient conditions, including complete monotonicity, and an internal-variable representation that elucidates the decay mechanism.

A unified theory for diffusion with memory and delay via measure-valued kernels

TL;DR

The paper develops a unified diffusion model with memory and delay encoded by a nonnegative measure on , combining a coercive diffusion form with a measure-induced memory operator . It proves robust well-posedness for general finite kernels and introduces a positive-type dissipativity condition under which memory contributes nonnegative energy dissipation, with an internal-variable representation for completely monotone kernels and a structural memory-energy/dissipation identity. It further analyzes limit transitions, including vanishing memory and convergence to discrete delays, and establishes long-time behavior and kernel-continuity results that ensure consistency across regimes. The framework unifies memory-free, distributed-memory, and discrete-delay models within a single weak formulation and provides a foundation for structure-preserving numerics and regime-aware analysis.

Abstract

We investigate a diffusion equation that incorporates historical effects, in which the memory-delay mechanism is represented by a nonnegative Borel measure on the interval . The diffusion component is characterised by a coercive bilinear form , while the historical term is modelled as a measure-induced convolution operator , derived from a bounded non-negative form . This framework includes the memory-free parabolic problem (), distributed-memory Volterra models (), discrete-delay models with atomic measures, and mixed kernels. For general finite measures , we establish well-posedness over finite time horizons and derive stability bounds that remain applicable in the presence of delays. Subsequently, we identify a positive-type condition under which the memory term is dissipative, leading to a refined energy inequality. For absolutely continuous kernels, we provide verifiable sufficient conditions, including complete monotonicity, and an internal-variable representation that elucidates the decay mechanism.
Paper Structure (19 sections, 10 theorems, 160 equations)

This paper contains 19 sections, 10 theorems, 160 equations.

Key Result

Lemma 3.2

Let $X$ be a Banach space and let $\mu$ be a finite non-negative Borel measure on $(0, \mathfrak T]$ such that For $g\in L^2(-\tau_{\max}, \mathfrak T;X)$, recall that Then,

Theorems & Definitions (35)

  • Example 2.1
  • Remark 2.2
  • Remark 2.3
  • Remark 2.4
  • Definition 3.1: Weak solution
  • Lemma 3.2: Young-type estimate for measure convolution
  • proof
  • Lemma 3.3: Boundedness of $\mathcal{K}_\mu$
  • proof
  • Theorem 3.4: Well-posedness
  • ...and 25 more