1. Introduction
Hashimoto’s thyroiditis (HT) is an autoimmune disease characterized by chronic inflammation of the thyroid gland, which commonly occurs in children and adolescents [
1,
2,
3]. Adults aged between 40 and 65 are also frequently affected, with a significantly higher prevalence of the disease in women (approximately five times more common) [
1]. At diagnosis, patients may be asymptomatic or report symptoms such as goiter, fatigue, altered levels of thyroxine (T4) and thyroid-stimulating hormone (TSH) [
4]. Additionally, the presence of thyroid peroxidase (TPOAb) and/or thyroglobulin (TgAb) antibodies is necessary to confirm the autoimmune nature of the disease [
5]. The clinical course of HT varies significantly among individuals, making it difficult to predict the behavior of the hormones as well as the changes in thyroid volume over time.
Recently, Pompa et al. [
6] presented a “maximal” mathematical model of thyroid physiology; in the present work, the proposed model in [
6] is improved to incorporate the pathophysiological aspect derived by the presence of Hashimoto’s thyroiditis, highlighting the different time-courses of TSH and of hormone concentrations, as well as the peculiar trend of the thyroid volume. This updated model reproduces the negative effects of thyroid peroxidase (TPO) and thyroglobulin (Tg) antibodies (TPOAb and TgAb) on TPO, Tg, sodium iodide symporter (NIS) (even if indirectly), and on thyroid volume. These altered behaviors, in turn, lead to changes in TSH and hormone concentrations, which are the key parameters monitored during the treatment of the disease. The therapy for HT involves the administration of levothyroxine (LT4) to restore hormone concentrations to normal ranges [
7]. Moreover, in this work a new “minimal” model of the thyroid physiology and pathophysiology, including some of the above features, is presented.
The two models, the improved “maximal” and the “minimal” ones, have been fitted on literature data from Dörr et al. [
8], where the concentrations of TSH and T4 and the thyroid volume are collected every 6 months, during 36 months of follow-up from in two groups of euthyroid patients with diagnoses of HT: the first group is composed of not treated subjects (Group 1), whereas the second group (Group 2) is formed by subjects treated with LT4 (50
g for individuals with a bodyweight <50 kg, 75
g for patients with bodyweight between 50 and 75 kg, 100
g for subjects with bodyweight between 75 and 100 kg, and 150
g for adolescents with bodyweight >100 kg).
To our knowledge, the only mathematical model of Hashimoto’s thyroiditis was proposed in [
9]. The model includes the equations describing the TSH, thyroxine, TPOAb and the functional size of the thyroid gland, with a daily time scale. This aligns with the model’s objective of replicating and predicting the states of a Hashimoto patient (euthyroidism, subclinical hypothyroidism, and clinical hypothyroidism) over a wide period, without taking into account the oscillations or perturbations of the dynamics of the variables in a short period (hourly). With respect to this model, our mathematical formulation is enlarged to consider, in addition to the above variables, T3 and T4 in both free and bounded forms, the hashitoxicosis phenomenon, the whole thyroid volume (given by the functional size and infiltrating lymphocytes) and the T3 and T4 stored in the thyroid tissue. Moreover, the present models enable a more accurate representation of the variables of interest due to their hourly time discretization. Other works [
10,
11,
12,
13,
14,
15,
16,
17], as well as the DiStefano III thyroid model [
18,
19,
20,
21], provide a description of the thyroid function in pathological conditions without any explicit characterization of HT.
2. “Maximal” Model
This section outlines the updated version of the thyroid model presented by the same Authors [
6]. The new formulation is composed of 35 equations, of which 25 differentials and 10 algebraic. The proposed representation describes the most important physiological mechanisms, variables and their interactions (T3, T4, Tg, TSH, TRH, iodine Wolff–Chaikoff control mechanism, antibodies effect and thyroid volume) in the main compartments of the thyroid system (bloodstream, extracellular space, thyroid tissues).
The SIMO model [
22] is used to represent the gastrointestinal tract for the iodine, LT4 and LT3 administrations. The SIMO sub-model adds further nine equations (six differential and three algebraic) to the model for a total number of 44 equations. All the model parameters are reported in
Table S1 in the Supplementary Material. The next sub-sections report the modifications and updates to the original model. For a detailed description of all the model equations and parameters see the
Supplementary Material.
2.1. TRH Sub-Model
Equation (5) of the model in Pompa et al. [
6], related to the dynamic of the Thyrotropin-releasing hormone (TRH), is modified to take into consideration the effect of
when it falls under the inferior limit of the normality range, which occurs, indeed, in pathological conditions as in the HT:
where:
is a normalized variable representing the TRH in the hypothalamus;
is the new term of the equation that represents the relationship between and : when the is below the normality threshold, the production of increases causing the consequent increase in TSH;
represents the threshold to which TSH changes its dynamic and it is set to 1.35 ng/dL, that is to the average value of the normal FT4 range, which is between 0.8 and 1.9 ng/dL (or 10.3 and 24.5 pmol/L) [
23,
24].
2.2. Wolff–Chaikoff Sub-Model
When a high concentration of iodine is ingested (as occurs through the intake of drugs or food), the thyroid attempts to protect itself by blocking specific functions. Generally, the sodium iodine symporter transports iodine into the thyroid. However, when the internal iodine concentration exceeds
molar (in a normal thyroid), thyroglobulin organification ceases to function, thereby blocking the T3 and T4 hormone production [
25,
26]. At this point, the NIS ceases to transport iodine into the thyroid, allowing excess iodine to flow back into the bloodstream. This process is called the Wolff–Chaikoff effect. This control system induces a temporary state of hypothyroidism, which lasts for the time it takes for iodine levels in the thyroid to return to normal concentration values (usually in about one week). When the iodine concentration drops below
molar, the normal thyroid functions resume.
The above control process, which in this dissertation is named
, is described as follows: starting from
, the Wolff–Chaikoff effect can be formalized by means of the following hybrid dynamics [
27]
where the symbol ← denotes the instantaneous reset of the state variable.
The function is 0 when the iodine is below the maximum threshold () and becomes 1 when it exceeds that threshold. Furthermore, once becomes 1, it maintains this value until the iodine concentration returns to the minimum threshold (). When is equal to 1, as described in the next sub-section, the equations related to the extracellular iodine and to the iodine inside the thyroid change their dynamics in relation to iodine transportation (from the internal to extracellular space). Additionally, the TPO variable is set to 0, in order to represent the cessation of the T3 and T4 production.
2.3. Iodine Sub-Model
The iodine sub-model is similar to the formalization adopted in the original work [
6], except for the introduction of the Wolff–Chaikoff control (Equations (
4) and (
5)) as well as for the consideration of the effect of the antibodies and thyroid volume on NIS and TPO efficacy (Equations (
6) and (
7)):
where:
the variables , , are the iodine in the blood, extracellular and thyroid compartments, respectively;
represents the effect of the thyroid peroxidase;
represents the effect of the sodium iodide symporter;
The antibody effect
has a direct impact on both
and
: TPO functionality decreases when thyroid peroxidase antibodies (TPOAbs) attack the thyroid with the aim of interrupting the TPO functionalities or of destroying the enzymes; similarly, NIS efficacy also decreases due to the presence of cytokines induced by the thyroid inflammation [
28].
2.4. Antibodies Sub-Model
Hashimoto’s thyroiditis causes the organism to produce thyroid TPOAbs and TgAbs, which attack and destroy the thyroid tissue. This phenomenon progressively reduces the thyroid’s ability to produce hormones until it eventually becomes completely inefficient.
The precise mechanisms leading the organism to produce TPOAb and TgAb remain unknown, making it impossible to develop a mathematical representation of the phenomenon, it is possible to model the effects of these antibodies on the thyroid function once HT manifests. The effect of antibodies and its trend over time is represented by the following forcing function:
where:
represents the antibodies effect: it starts from 0, increases with a speed equal to until reaching 1;
is the time at which the antibody effect manifests.
The function increases the volume of the lymphocyte compartment (which is part of the total thyroid volume). The lymphocyte volume, in its turn, affects the and variables.
2.5. Thyroid Volume Sub-Model
An important feature introduced in this new version of the model is the representation of the thyroid volume time course. The volume depends directly on the TSH concentration, as thyroid cells proliferate more in the presence of higher TSH levels. Furthermore, all the thyroid physiological functions are strictly related to the volume [
4].
In the initial phase of the HT disease, the thyroid volume typically increases due to lymphocyte infiltration within the gland, causing inflammation. Afterwards, the total thyroid volume starts to decrease as TPOAbs and TgAbs (the infiltrated lymphocytes) attack and destroy the thyroid tissue until the gland completely disappears. This process can take many years, usually exceeding 10 years, and varies from individual to individual. A block diagram of the thyroid volume sub-model is shown in
Figure 1.
The equations are reported below:
where:
L is the lymphocyte volume compartment;
is the delayed version of L, simulating the delayed effect of the lymphocytes on the thyroid functionalities;
is the functional thyroid volume compartment;
is the total thyroid volume.
2.6. Hormone Sub-Model
During the early stage of the HT disease, the destruction of the gland can lead to an increase in T3 and T4 hormone concentrations. This occurs as the hormones stored within the thyroid are released into the bloodstream. This phenomenon, known as “hashitoxicosis”, results in a transient hyperthyroid state [
29,
30]. The modified version of the T3 and T4 equations are reported below:
where:
and represent the quantity of T3 and T4 in the depot compartment;
and represent the quantity of T3 and T4 in the thyroid compartment;
and represent the quantity of T3 and T4 in the extra cellular compartment;
and represent the T3 and T4 concentrations in the blood compartment;
and
, in Equations (
13) and (
17), respectively, represent the effect of the hashitoxicosis on the release of stocked T3 and T4. In the two equations, the same hashitoxicosis rate (
) for the two hormones is assumed, as the thyroid cells destroyed by antibodies contain both T4 and T3. Different released quantities depend on the different
and
values at time
t.
2.7. Tg Sub-Model
Thyroglobulin antibodies specifically target and destroy thyroglobulin in the blood, leading to a reduction in its concentration. This effect is incorporated into the Tg blood concentration equations using the forcing function,
. These changes are reported below:
where the variables
and
are the Tg in the extracellular and (
and
) blood compartments, respectively. Note that, as for the previous version of the model, it is not possible to validate the Tg sub-model since no data related to Tg blood concentrations are available from literature.
3. “Minimal” Model
The thyroid “minimal” model was derived as a simplification of the updated version of the “maximal” model described above and in the
Supplementary Material, and is composed of only 16 equations (replacing the original 35 equations), eight differential and eight algebraic. Some equations are in common with the two versions (from Equations (
8) to (
12) and both need to be accompanied by the SIMO sub-model for the representation of per os drug administration). All the model parameters are reported in
Table S2 of the Supplementary Material. The next two subsections report the only equations which differ in the two formulations.
Figure 1 and
Figure 2 show the block diagram of the new “minimal” model.
3.1. TSH Sub-Model
The TSH blood concentration is modeled using a simple sinusoidal function to reduce the number of equations required to represent the hypothalamus–pituitary–thyroid axis. The equations regarding the TSH sub-model are reported below:
where:
is the variable representing the Thyroid-stimulating hormone;
and are the direct and delayed effects of TSH on the T3 and T4 production.
The feedback control between
and the hormones is represented by the exponential term
. Equation (
23) is derived from the DiStefano III formulation [
31] with some changes in the exponential term in order to directly represent the disjunct effect of FT4 and FT3 on TSH.
3.2. T3 and T4 Hormone Sub-Model
The description of the hormone time courses has been simplified by considering only the concentrations of T3 and T4 in the blood (
and
) as well as the concentration of T4 in the tissue (
). In this reduced formulation the production of the hormones is represented by a constant parameter
Q multiplied by
and
to represent the dependence of the production on both TSH and the functional thyroid volume. In this version of the model no per os T3 administration is foreseen. The sub-model equations are reported below:
where:
and represent the T3 and T4 quantities in the depot compartment;
is the T4 concentration in the tissue compartment;
and represent the T3 and T4 concentrations in the blood compartment;
the and terms represent the hashitoxicosis.
4. Gut Sub-Model
The SIMO model [
22] is utilized as a gastrointestinal sub-model to describe iodine (represented by
I) intake and the fate of administered LT4 and LT3 (represented by
and
, respectively). This sub-model incorporates nine additional equations into the maximal model (time-course of Iodine, LT4 and LT3) and three (time-course of LT4) into the minimal model. The letter
S denotes the stomach compartment,
L represents the ileum, and
signifies the rate of appearance of a substance.
5. Model Parameter Estimation
The “minimal” model was fitted on data from [
8] where an experiment was carried out to determine the efficacy of per os LT4 administration in an adolescent recently suffering from Hashimoto thyroiditis. Patients were randomly allocated to two groups: 25 individuals received LT4 at a mean daily dose of 1.6
g/kg (50
g for individuals with a bodyweight <50 kg, 75
g for patients with a bodyweight between 50 and 75 kg, 100
g for subjects with a bodyweight between 75 and 100 kg, and 150
g for adolescents with a bodyweight >100 kg), and 34 individuals were not treated. The main outcomes were the thyroid gland volume (determined by ultrasound), the serum levels of TSH, the free T4 concentrations, the concentrations of the antibodies against thyroid peroxidase and of the thyroglobulin. All these parameters were assessed every 6 months for a total of 36-month follow-up. The children in both groups were assumed to weigh 45 kg and for Group 2 the LT4 dose was administered according to the original experimental protocol (50
g).
The model was adapted to data by means of a Weighted Least-Squares approach where the differences between observations and predictions have been weighted with the inverse of the squared expectations, hypothesizing an error variance proportional to the coefficient of variation of the observations. The algorithm used for the minimization of the loss function was the Nelder–Mead scheme. The numerical integration method employed to solve the Ordinary Differential Equations (ODEs) was the fourth order Runge–Kutta method (RK4). The implementation was carried out with Matlab®. The parameters included in the estimation procedure were all the parameters appearing in the equations of the new Thyroid Volume sub-model, plus the parameters and , which are considered important in determining the dynamics of HT.
The “minimal” model resulted in a significantly shorter simulation and parameter estimation time when compared with the “maximal” model.
The parameter estimation process for the “maximal” model followed a two-step approach: a first estimated parameter vector (composed of eighteen parameters) was obtained by adapting the “minimal” model to observed data; the estimates obtained were subsequently used as a starting point for the calibration of the “maximal” model parameters, which were then fine-tuned. Additionally, to prevent the TSH oscillation from influencing the value of the loss function, the mean of the upper and lower envelope curves (expressing the magnitude of the TSH signal) was employed as a representation of the TSH time course.
6. Sensitivity Analysis
A sensitivity analysis of the original maximal model was presented in [
6]. Given the model’s complexity (due to its numerous parameters), which increased in the present updated formulation including the HT representation, a sensitivity analysis was conducted by varying only those parameters entering the additional Thyroid Volume sub-model of the minimal version. The sensitivity analysis was performed by varying 30% of the parameter values obtained by the estimation procedure on the treated subjects’ observations. The parameters of interest, and that were allowed to vary, were eight out of thirteen, that is the subset of parameters involved in the description of the HT pathophysiological mechanisms. For each of the eight parameters, 100 simulations with a one-year time window were run. The predictions of TSH, FT4, and Volume over time obtained with the baseline parameter values are compared to the 90% envelopes of forecasts from the sensitivity analysis, alongside the experimental data. To assess the combined impact of parameter variations, an additional series of 100 simulations were performed, simultaneously varying all eight parameters. For the TSH and FT4, the figures show a zoom of the last 200 h for better visualization of the results.
7. Results
This section shows the performance of the two model formulations, the “maximal” model (updated version, as described in the “Maximal” Model section) and the “minimal” model.
Figure 3 shows the model predictions of the volume, TSH and FT4 variables, obtained from the “maximal” model, over a 36-month simulation period, along with the observed data points (red circles) from the untreated subjects (Group 1) of [
8]. Panel (b) is an enlargement at month 18 of the time courses shown in panel (a).
Figure 4 reports the same experimental data of
Figure 3 along with the corresponding predictions obtained with the “minimal” model.
Despite a similar qualitative behavior, the “minimal” model produces larger oscillations of the TSH which appear to be less realistic than those obtained with the “maximal” model. The “maximal” model, in fact, demonstrates a more detailed pattern, deviating from a simple sinusoidal waveform. This more realistic trend is attributed to the biological oscillator equations presented in the
Supplementary Materials (Equations (S10)–(S12)) and previously discussed in Pompa et al [
6]. On the contrary, the volume predictions appear to be superimposed while the FT4 “minimal” model predictions lie in a slightly larger interval.
Figure 5 and
Figure 6 show the corresponding variables (observed and predicted) for the treated subjects (Group 2) of [
8].
Here, it was assumed a daily administration of 50
g of LT4 which represents the administered dosage for a subject of 45 kg, according to the original protocol adopted in [
8]. Refer to the “Method” section of [
8] for details on the experimental procedure. Also in this situation, the qualitative behavior of the “minimal” model resembles the “maximal” model pattern and the volume predictions are in line with the observations.
All the parameter values obtained from the optimization or calibration procedures are reported in
Table 1.
As stated above, all parameter values of the “minimal” model were estimated by adapting the model to the observed data. Parameter values of the “maximal” model were then tuned starting from the values obtained by the optimization procedure carried out with the “minimal” model. The RMS error, calculated as the square root of the loss function divided by the number of measurements, was found to be 0.044 and 0.219 for Group 1’s “minimal” and “maximal” models, respectively, resulting in a ratio of 5.5 (“maximal” over “minimal”). For Group 2, the RMS errors were 0.196 and 0.231 for the “minimal” and “maximal” models, respectively, with a ratio of 1.15.
As for Group 1, untreated subjects, all the parameter values for the two formalizations are in accordance except for parameters and , which assume lower values in the “maximal” model: 7197 g and 2692.6 g for the “maximal” model and 52,090 g (about eight times larger) and 4655 g (about two times larger) for the “minimal” model, respectively.
Also, parameter seems to differentiate in the two models: it is lower in the “minimal” (4.188 × 1/h) than in the “maximal” model (0.167 1/h).
For Group 2, no substantial difference emerges between the two models whose predictions were obtained with very similar or equal values.
For Group 2, there is no significant difference between the two models, as their predictions are derived from very similar or identical values. However, an exception is observed for parameter , which is notably lower in the “minimal” model (220 g compared to 10,352 g in the maximal model).
Figures S1 and S2 illustrate the results of the sensitivity analysis. For each varied parameter
Figures S1 and S2 show the time trends of TSH and FT4 plasma concentrations as well as of the thyroid Volume. Black lines represent the predictions obtained with the parameter original values, while the green shaded area is the 90% prediction envelope from 100 simulations. Experimental data are marked with asterisks.
Figure S3 presents the results of a sensitivity analysis where all parameters are simultaneously varied.
8. Discussion
Hashimoto’s thyroiditis is a chronic inflammatory disease that should not be underestimated: if untreated, it can lead to subclinical or even clinical hypothyroidism. From our understanding, there is no comprehensive mathematical framework describing the long-term trajectory of the disease. The mathematical model proposed in this work offers a possible tool for studying the evolution of Hashimoto’s thyroiditis and for monitoring the response to therapy; it also allows us to simulate the trend of the variables of interest under different therapeutic regimes.
Starting from a very complex model of thyroid physiology [
6], this work presents both an extension (“maximal”) and a reduced version (“minimal”) for the representation of the pathophysiological conditions induced by Hashimoto’s thyroiditis. The simplified version allows for a more robust estimation of key model parameters.
While the work in [
6] provides a clearer picture of the advantages and limitations of the “maximal” model with respect to other existing mathematical formulations, models specifically addressing Hashimoto’s thyroiditis are still missing, apart from the work [
32], where, however, the objective was to describe the interactions between thyroid cells, the immune system, and the gut microbiota.
Both the modified “maximal” and “minimal” models were fitted against observed clinical data on the progression of HT in untreated and treated patients, highlighting a good fit with the actual observed data.
Figure 3 and
Figure 4 show a very similar trend for the “minimal” and “maximal” model predictions. This is also supported by the model parameter values (
Table 1).
An interesting difference between the two study groups lies in the dynamics of thyroid volume (
Figure 3,
Figure 4,
Figure 5 and
Figure 6), which increases for a period of approximately three months in Group 1 before decreasing. This trend is related to the FT4 trend, which behaves similarly. This phenomenon is likely related to hashitoxicosis, a condition where antibodies infiltrate the thyroid, causing the destruction of thyroid cells and the release of stored hormones.
The most evident differences in the parameter values are related to the initial parameters and , which assume lower values in the “maximal” model than in the “minimal” model. This difference likely stems from the fact that two different formulations have been employed to represent the hormones in the depot compartments ( and ): in the “maximal” model, a continuous exchange of the hormones occurs between the depot and the production compartment; in contrast, the “minimal” formulation adopts only a hormone storage compartment whose initial fixed hormone quantity decreases over time, until depletion, after lymphocyte infiltration, without any further replenishment. This means that, while the “maximal” model incorporates both stored and readily available hormones for secretion, the “minimal” model only accounts for the immediately releasable portion. This explains the higher and values in the “minimal” model, which likely compensate for the lack of subsequent supplies as it occurs in the presence of an exchange process between two compartments.
The difference in the parameter values (representing the hashitoxicosis effect) is likely due to the same previous reason: in order to account for the same transferred hormone quantity per hour from the hormone depot compartments to the bloodstream, the higher available quantities must be transferred at a lower rate. The discrepancy observed in the estimated values of between “maximal” and “minimal” models for Group 2 can be attributed to the value of the parameter . When approaches zero, it indicates a negligible hashitoxicosis effect. In this scenario, the term becomes essentially zero, regardless of the value. However, hashitoxicosis is a possible and common phenomenon in children with HT, making it necessary to include its description in the model.
The difference in the
parameter values between the two groups suggests that Group 2 (treated subjects) experiences a significant reduction in total thyroid volume, as also noted in the Dörr et al. study [
8]. This effect is likely attributed to both the LT4 treatment (which decreases TSH, leading to reduced thyroid cell production) and HT. The fact that both these effects are partially reflected in the value of parameter
could indicate an overfitting issue derived from insufficient experimental data to differentiate the individual impacts of LT4 and HT on thyroid volume. Nevertheless, the estimation procedure yielding distinct
values for the two groups emphasizes the substantial influence of LT4 therapy on the overall behavior of the volume variable.
All figures show a good adaptation of the predictions to observed data for both models, highlighting a high degree of overlap of the results obtained with the two formulations, despite a different pattern for the TSH variable (
Figure 5 and
Figure 6). In the “maximal” model, in fact, LT4 administration significantly reduces TSH oscillations, in contrast to the “minimal” model which, following the therapy administration, produces only a slight reduction in TSH oscillations.
The estimation procedure suggests that the models can effectively simulate the course of HT and predict responses to treatment, such as levothyroxine therapy, which is commonly used to manage the disease.
The sensitivity analysis indicates that the proposed model is a robust formulation for the HT representations, as evidenced by the reasonable TSH, FT4 and Volume variability (
Figures S1–S3). However, the parameters
,
, and
exhibit lower sensitivity, suggesting potential areas for future model refinement.
Figure S3 shows larger variable envelopes compared to
Figures S2 and S3 due to the fact that all the parameter values are changed at the same time.
A key limitation of this study is its primary reliance on existing literature data for model fitting. To enhance the models’ applicability, future research should incorporate various datasets from different geographic and ethnic populations. Additionally, prospective validation using newly collected data would strengthen the models’ predictive capabilities.
9. Conclusions
In conclusion, both the modified “maximal” and “minimal” formulations appear to reproduce with a good approximation the available observed data over time. While the “maximal” formulation represents with greater detail the underlying physiology, it requires a longer simulation execution time, about ten times larger than that required by the “minimal” model. Moreover, given the large number of parameters included in the “maximal” model, their estimation would require a very large number of observed data. It is to underlie, however, that the “maximal” model remains the preferable choice if one wants to assess the impact of the iodine intake on the disease course.
Moreover, both models could be used to represent the general pathology of hypothyroidism (without specific reference to Hashimoto’s thyroiditis). This could be obtained with a simpler formulation of the models eliminating, for example, the lymphocyte volume and antibody compartments.
Future work will address the objective of improving the TSH mathematical formulation to achieve a more physiologically accurate representation of the variable over time.