1. Introduction
The reliable and secure operation of railway systems promotes safe transport of both passengers and freight over approximately 140,000 miles in the United States [
1]. Increased passenger and freight rail demands, heavier axle loads, and environmental factors all progressively compromise railway track integrity and can lead to the development of track-related defects, which, in turn, necessitate increased monitoring, inspection, and maintenance [
2,
3,
4,
5,
6]. In the United States, derailments comprise most train accidents, and their consequences can result in significant risks, causing damage to both trains and infrastructure, service disruptions, and potentially leading to human loss and injuries or environmental harm [
7]. According to the Federal Railroad Administration (FRA), track geometry defects are considered the second largest cause of derailments after broken rails [
8]. Soft spots resulting in abrupt or gradual reductions in support stiffness along the rail cause the majority of derailments as a result of increased vertical deflection under load, subsequent increases in rail stresses, and increased risk of fatigue-induced fracture. This situation is exacerbated under heavy axle loads at relatively low speeds, such as typical freight operations. At higher train speeds, such as in high-speed passenger rail, abrupt stiffness variations may generate dynamic amplification of wheel–load interaction forces, which further increases loading on the track structure and accelerates deterioration [
9,
10,
11].
Beam–foundation–load interaction models representing track support conditions provide the mechanics relationships to design, monitor and evaluate ballasted railway tracks [
12,
13,
14,
15]. Beam–foundation interaction behavior is intricate and difficult to model in full detail; therefore, engineers rely on idealized models to approximate the mechanical behavior of the beam–foundation interaction [
13,
16]. The Winkler model, or beam on elastic foundation (BOEF) model, assumes the railway track as an infinite beam resting on elastic supports consisting of a continuous bed of infinite independent, vertical linear elastic springs, with a spatially uniform foundation support or track modulus,
K [
13,
16,
17]. Despite its widespread use, the Winkler model assumes that the foundation provides identical reactions for both tension and compression, and, in many cases, this assumption does not hold (e.g., a ballasted railroad rail lifts off under certain loading conditions) [
18,
19]. Winkler relationships represent the prevalent mechanics relationship used in most practical assessments in both static and dynamic applications. Relying solely on the computationally efficient Winkler BOEF models can introduce errors in track modulus estimates stemming from inaccurate representation of realistic support conditions or the mismatch of dynamic vs. static or quasi-static properties. As a result, analytical predictions obtained from simplified BOEF formulations may differ from measured track responses under real operating conditions. Nevertheless, due to its conceptual simplicity and computational efficiency, the BOEF model continues to be widely adopted in railway engineering studies, including extensions that incorporate dynamic effects [
20,
21,
22].
In light of the limitations of the Winkler model, tensionless models have been introduced, and the earliest work reported on infinite beams resting on a tensionless foundation under static loading was by Tasi and Westmann in 1967 and expanded by Weitsman in 1970 [
23,
24,
25,
26,
27]. Tensionless foundations experience compressive supporting forces only, which allows for the separation of the rail-tie structure and ballast. These separation points lead to nonlinearity and create mathematical complexity due to the unknown boundaries of the contact regions [
28,
29]. Zhang et al. have shown that the Winkler and tensionless Winkler foundation models are two special cases of a more general bilinear elastic foundation model, corresponding to the cases of equal stiffness in tension and compression and to zero tensile stiffness, respectively [
30]. Various solutions exist in the literature [
31,
32,
33,
34,
35,
36,
37,
38] for finite and infinite beams resting on tensionless foundations that address various combinations of: uniform [
25,
31,
33] and spatially varying [
36,
38] foundation stiffnesses and/or gaps [
33,
34], linear [
31,
33,
36] or nonlinear [
25,
38] foundation stiffness behavior, varying loading types, and beam boundary conditions.
Table 1 summarizes several analytical methods that emphasize one or more of the tensionless foundation attributes. Analytical approaches such as the transfer displacement function method (TDFM) [
31] or Green’s function [
32], and numerical methods such as Netwon-Ralphson [
33], Galerkin [
25], or Ritz [
35] iteratively identify lift-off points and estimate the deflection profiles of tracks; finite element results [
38] indicate the most general modeling capabilities.
In railway applications, both controlled static load tests and moving measurement systems (e.g., instrumented railcars such as MRail) generate deflection data along the track [
39,
40,
41]; however, converting these data streams into accurate and spatially representative track modulus estimates remains a key challenge. For example, MRail-type systems combine lasers and a digital camera mounted on a rail vehicle to measure relative vertical deflection from a moving platform, with GPS and encoder-based localization and a defined calibration procedure that converts image-based measurements into rail-relative deflection [
39,
42]. These measurements require calibration to convert raw signals into rail-relative deflection profiles, which can then be directly used as inputs to physics-based inverse models. Similarly, controlled static experiments typically employ displacement transducers such as LVDTs and strain gauges to measure deflection basins and load responses, where proper zeroing, load control, and alignment of measurement locations along the rail allow consistent integration with the proposed model framework [
43].
Optimal sensor design and deployment of these existing railway track monitoring systems requires (1) a physics model that captures essential features of the system under observation, and (2) compatibility of integration of the model into short-time, computationally efficient monitoring frameworks. The method detailed in this study generalizes load–track condition–track response relationships (i.e., deflection profiles, lift-off points, and shear and moment diagrams) through singularity functions, superposition, and moment–curvature relationships. Ultimately, the method assesses ballasted rail track by estimating foundation stiffness parameters (i.e., track modulus) along the rail. Furthermore, the generality of the method permits direct application to measurement data streams obtained from general ballasted rail track support conditions, including laboratory static load tests (i.e., finite beam) and field (i.e., infinite beam) monitoring systems, regardless of resemblance to pure Winkler conditions. This ensures a consistent interpretation of measured responses while preserving an accurate physical representation of the rail–foundation interaction. These features highlight the method’s potential for practical implementation in evaluating deteriorated track segments [
40,
44,
45], enabling more reliable evaluation of soft or mud spot regions and supporting routine assessment and maintenance decision-making in railroad infrastructure contexts.
Section 2 presents theoretical derivations of the physics model describing a flexural rail system supported by a tensionless Winkler foundation.
Section 3 details a track modulus estimation framework operating on the model described in
Section 2.
Section 4 presents six illustrative examples that highlight the method’s generality compared with existing methods.
Section 5 and
Section 6 provide discussion and conclusions.
2. General Finite Beam on Tensionless Foundation Model Derivation
Consider a finite, fixed-fixed Euler-Bernoulli beam resting on a series of discrete elastic springs, each with stiffness
at distances
from the left end of the beam, as shown in
Figure 1a. The beam has length
L and flexural rigidity
EI. The beam is subjected to a uniformly distributed load,
w, the self-weight of the rail and ties, and multiple concentrated loads
at distances
from the left end of the beam. While self-weight has a relatively small effect on the overall static deflection in contact regions, it plays an important role in tensionless foundation models by influencing the contact conditions between the rail and the supporting springs.
From
Figure 1b, the internal bending moment is obtained by:
where
x is the longitudinal coordinate along the beam measured from the left end support.
and
are the reaction bending moment and vertical reaction force at the left fixed support, respectively. The indices
and
j = 1, 2, ….,
J.
N and
J are the total number of springs and concentrated loads, respectively.
,
, and
are the bending moments due to the concentrated loads, uniform distributed load, and the spring supports, as shown in Equations (2)–(4), respectively.
where < > indicate the singularity brackets defined as follows:
where
s is an integer and
H(·) is the Heaviside function. The spring restoring force is defined as follows:
where
and
are the spring constant and the spring displacement raised to the power
i, capturing the potentially nonlinear effect in the force–displacement relationship, respectively. By utilizing the moment–curvature relationship, as shown in Equation (7).
The beam deflection is derived as shown in Equation (8):
The total number of unknowns in the system is 4 +
N, with 2 accounting for the integration constants, C and D, 2 accounting for the moment and vertical reactions at the left fixed support, and
N accounting for the number of displacements at each spring support. To determine these unknowns, the boundary conditions, along with the equations of the displacements at each spring are utilized, as represented in Equations (9) and (10), respectively.
where
, and
N is the total number of springs. After determining the unknowns, the values are then substituted into Equation (8). The beam deflection,
, is derived for the system shown in
Figure 1a. To solve Equation (8) for other boundary configurations, the common end conditions are summarized in
Table 2, where
V(x) denotes the internal shear force along the beam.
2.1. Winkler Foundation
As a benchmark and to approximate the Winkler foundation, discrete springs,
N, are equally spaced along the length of the contact region,
LC, with spacing:
Based on the spacing between the discrete springs, the Winkler foundation stiffness can be approximated using Equation (12).
where
is the Winkler foundation stiffness at
. This foundation stiffness can vary by varying individual spring stiffnesses along the length of the beam.
2.2. Two-Stage Iterative Approach for Tensionless Winkler Foundation
In the method, a two-stage algorithm, as shown in
Figure 2, approximates the tensionless Winkler foundation. The spacing between the adjacent springs is initially selected as a fraction of the characteristic length of the track, ensuring that the discretization is physically meaningful and sufficiently fine to capture the deflection profile and contact behavior [
46]. Based on this initial spacing, the corresponding number of springs is then determined using Equation (11). In cases involving varying loading conditions or changes in foundation gap and stiffness behavior, a smaller spacing may be adopted. In the first stage, the algorithm identifies the contact and lift-off regions by first assuming that all the springs are connected to the beam and evenly distributed along the beam length. If any of the springs are experiencing tension, it is identified as being in the lift-off region. The algorithm then iteratively redistributes the springs within the contact regions, regions between the lift-off points with
, experiencing compression, and adjusts the springs’ stiffnesses and spacing. At the redistribution step, the algorithm calculates the number of springs for each contact region by rounding up the multiplication of the ratio of contact length to the total contact length times the total number of springs. Therefore, an increment with a minimum of 1 and a maximum equal to the number of contact regions may be added to the total number of springs. The algorithm continues updating until all the springs are in compression. The undeformed profile of the foundation can be represented as a function along the length axis,
for
. Therefore, in each iteration, the algorithm determines the locations of the lift-off points by numerically solving for
x using Equation (13), where
is determined from Equation (8):
The initial guess,
, for the lift-off points in the first iteration can be assumed based on the sign of the deflection multiplication of the neighboring springs (e.g.,
and
). If the sign is negative, the location of one of these springs is assumed as the initial guess of a lift-off point, including
and
. In the next iteration, the initial guess is the lift-off points from the previous iteration. In the second stage, the algorithm iteratively increases the number of springs and redistributes the springs until a maximum relative change in the lift-off points,
, satisfies the condition:
where
LFi and
LFi−1 are the lift-off point values at iterations
i and
i − 1, respectively. T is the predefined tolerance for convergence. If the condition is satisfied, further iterations are unnecessary, and the solution reaches an optimal accuracy and is considered stable. In a tensionless Winkler foundation, an initial gap
, may exist between the beam and the springs. Therefore, the gap of each spring may be adjusted based on its location, as shown in Equation (15):
Therefore, Equation (10) can be rewritten as shown in Equation (16), respectively.
3. Application to Track Modulus Characterization
In this section, an iterative static track modulus characterization approach is applied to the model developed in
Section 2. A common measure of track support manifests in track modulus which refers to the vertical stiffness of the track foundation and represents the effect of all the structural components beneath the rail (ties, fasteners, ballast, subgrade, etc.) [
40,
44]. Track modulus is defined as the supporting force per unit length of rail per unit deflection [
44,
45]. The method developed here essentially fits the model deflection estimates to the observed deflections by adjusting the track modulus.
The calibration algorithm follows a two-stage workflow. First, the measured deflection, rail properties, loading conditions, and an initial discretized foundation are provided as inputs. In Stage 1, the secant method estimates the average track modulus assuming uniform support. The residual between the measured and predicted deflections is then evaluated. If the residual satisfies the convergence criterion, the solution is accepted. Otherwise, Stage 2 is activated, where the Broyden method estimates a spatially varying track modulus by minimizing the norm of the residual of measured and predicted deflections. The final outputs include the track modulus distribution, the identified contact (and lift-off) regions, and the residual error.
The detailed formulation of the two stages is described as follows. The approach utilizes the Secant method in the first stage and the Broyden method (Secant-like) in the second stage to increase numerical efficiency over a grid search or brute force method [
47,
48]. In the first stage, the algorithm uses the Secant method to solve for the averaged track modulus by considering the track modulus uniform along the rail, as shown in the following expression:
where
f is the difference between the observed and estimated deflection under the load (i.e., a single point along the beam). The secant method requires two initial guesses. Therefore, the track modulus initial guesses can be assumed based on the BOEF or Winkler theory, Equation (18) [
41], (e.g.,
K0 =
K and
K1 = 1.3
K).
In this stage, one of two conditions must be satisfied and further iterations cease:
Method termination based on condition (20) may indicate either convergence of the solution or limitations of the numerical iterative procedure. In some cases, the algorithm may not converge to the global solution for the given model settings. Therefore, such termination is interpreted as an indication that further refinement is required. In the present framework, this refinement is carried out in Stage 2, where the assumption of uniform track modulus can be relaxed to improve the solution. Here,
TK is the predefined tolerance for convergence. The inputs in Stage 1 are the track modulus initial guesses (
K0 and
K1), loads’ magnitudes and locations, rail length and flexural rigidity, deflection profile, and a fixed number of foundation springs, along with initial guesses for lift-off points (i.e.,
LF0 assumed as 0 and
L). The outputs of Stage 1 are the difference between the observed and estimated deflections, represented by the vector
F, whose components correspond to the residuals at the measurement locations, the average track modulus (
Kavg), and lift-off points. If condition (21) is met, then Stage 2 is unnecessary as a single track modulus adequately represents the entire finite beam length.
where
TF is the predefined tolerance for convergence.
On the other hand, if inequality 21 is not satisfied, then a closer match of deflections along the finite beam is achieved by varying the track modulus in a non-uniform manner. In Stage 2, Broyden’s method estimates the varying track modulus. First, the track is discretized into
n segments of potentially varying track modulus, matching the number of the measurement locations, represented by
n modification factors,
r, operating on the
Kavg from Stage 1. The response across the segments is coupled through the beam mechanics and contact conditions. In this stage, the method solves a system of nonlinear equations
F(r) = 0, where
F:
, which is equivalent to minimizing the residual norm
. The Broyden method begins with an initial approximate Jacobian matrix and then updates the approximate Jacobian matrix by rank-one corrections, as shown in Equation (25). Therefore, the method will first identify the existence of fixed and free variables in the first few iterations. After determining these variables, the approximate Jacobian matrix reinitiates and updates with each iteration. This is an important step that significantly reduces the total time and number of iterations, as will be discussed in
Section 5. The Broyden method requires two initial guesses to initiate the Jacobian matrix and to determine the direction of the line search. Therefore, the first initial guess is by assuming that all the modification factors are equal to 1 and defining upper and lower bounds as 1.5 and 0.5, respectively. These choices stem from the Stage 2 initial track modulus equal to
Kavg from Stage 1; the bounds reflect the physical tendency of the rail to mollify the effect of changing track moduli. The method operates on the same inputs as Stage 1, with the modification factors multiplied by the average track modulus,
Kavg, comprising a vector input. In Stage 2, the method returns the residual vector
F0 and
LF. The initial residual norm is
. Based on
LF, any segments located in lift-off regions are assigned a fixed modification factor equal to one. The second initial guess is established by probing in a search direction defined by normalizing the initial residual vector to unit length, which defines the initial probing direction
, and taking a small step,
, letting “
free” denote the free index set.
Now, evaluating the function at this probe, which gives a second residual vector
Fprobe. Next, the initial approximate Jacobian matrix is:
where
I is an identity matrix with
nfree ×
nfree size, and
is the approximate directional derivative calculated as follows:
After initiating the approximate Jacobian matrix, the method starts the main Broyden iteration loop. In this loop, the method repeats until convergence, Equation (21). Each iteration i of the loop performs the following steps:
- 2.
Line search and bounds:
Compute αj, so that stays within the bounds (l and u).
Then, check whether p is a descent direction for the objective function.
The vector
is a descent direction, since
If the condition is not satisfied, .
- 3.
Free and fixed variables adjustment and trial step (inner loop).
The process starts by adjusting the free and fixed variables before taking a trial step within the inner loop. Once this adjustment is completed, a new trial step is calculated using . The method then compares the newly identified free variables with those determined from the previous iteration or trial. If the free variables remain unchanged, the inner loop terminates. However, if the free variables differ, the variables are adjusted again and the inner loop continues until the set of free variables stabilizes.
- 4.
Accept the step.
- 5.
Jacobian matrix (Broyden) update.
If the free variables set remains unchanged, the Jacobian matrix is updated using Broyden rank-1 correction, as shown in Equation (28).
where
and
. However, if the set of free variables changes, the Jacobian matrix is reinitialized instead of updated, as shown in Equation (29).
- 6.
Check the convergence.
Convergence is then checked using Equation (25); if the convergence is satisfied, the method ends and the overall output is the track modulus as a function of the deflected length.
A summary of the proposed approach is shown in
Figure 3.
5. Discussion
The results demonstrated that the proposed method provides an accurate and stable approach for analyzing beams resting on a tensionless elastic foundation. In all the examples, the method correctly identifies the contact/non-contact regions by allowing separation where the beam deflected away from the foundation. This behavior reflects the physical response of a finite beam resting on a tensionless elastic foundation and confirms that the proposed method enforces the tensionless constraint. The agreement with analytical and finite elements solutions confirmed the accuracy of the proposed method for both finite and infinite beam cases.
The method also showed reliable performance under different loading conditions, including point loads, distributed loads, and sinusoidal loading. In addition, the method captured the effect of uniform and non-uniform foundation stiffness, gaps at the interface, and linear and nonlinear foundation behavior. These results confirm the generality and applicability of the proposed method to represent realistic beam–foundation interaction.
In Example 1, the method accurately predicted the lift-off region length and the beam responses under arbitrary loading. The agreement with the solution provided by Ma et al. [
31] confirmed that using a sufficiently long finite beam can represent infinite beam behavior without significant boundary influence. Example 2 demonstrated the method’s ability to analyze finite beams with different boundary conditions and uniform interface gaps. The observed increase in the contact region depth with increasing load was consistent with the expected structural behavior, as the higher loads caused greater beam penetration into the foundation.
In Example 3, the method successfully captured the response of a beam subjected to a sinusoidal loading, which illustrated that the method can effectively handle the varying, non-uniform distributed load and accurately capture the contact/non-contact regions. The comparison also showed improved accuracy compared to the multimodal approach. Example 4 showed the ability of the method to analyze beams resting on non-uniform foundation stiffness. The results confirmed that the method was capable of representing spatial variation in the foundation stiffness. This capability is important for practical applications, as real track support conditions often vary along the length due to differences in material properties, support conditions, or degradation.
Example 5 extended the analysis to nonlinear foundation behavior with a variable gap profile. The method remained stable and accurately predicted beam deflection under nonlinear stiffness conditions. This illustrated the ability of the proposed method to handle realistic foundation conditions where the foundation stiffness depends on the magnitude of the foundation deformation.
Example 6 showed the applicability of the proposed method for track modulus characterization. The results showed that the average track modulus could be estimated using the Secant method, while the spatial variation was accurately captured using the Broyden update procedure. The method successfully estimated the varying track modulus within the contact region. The two-stage approach improved the efficiency and stability of the solution. Stage 1 provided an estimate for average track modulus, Kavg, which would reduce the total number of iterations in the case that the foundation was uniform or nearly uniform and avoid unnecessary iterations. On the other hand, this step is important for Stage 2 because it provides a reasonable reason to use upper, 1.5, and lower, 0.5, bounds, which improved convergence stability and ensured that the modification factors remained within physically meaningful limits.
The sensitivity study further showed that the accuracy of the inverse solution is primarily governed by the foundation discretization (i.e., no. of springs) rather than the number of measurements along the rail. Increasing the number of springs improved the recovered modulus and reduced error, while beyond a certain discretization level, the solution became stable and largely independent of the number of measurement points. Furthermore, the noise analysis showed that the method remains robust under realistic measurement noise, provided that moderate smoothing is applied. Without smoothing, noise introduced oscillation in the recovered modulus, whereas an appropriate window length effectively stabilizes the solution without compromising the underlying spatial variation.
6. Conclusions
This paper has presented an analytical method to model the static response of finite beams resting on a tensionless Winkler foundation. The model improves generality by capturing the tensionless nature of beam–foundation interaction based on a two-stage algorithm and without relying on prior knowledge about the contact region boundaries. Specifically, the foundation is modeled as discrete, independent linear springs. In the first stage, the contact regions are identified via an iterative procedure. In the second stage, the springs are redistributed within the contact regions only, and the algorithm iteratively increases the number of springs until it reaches a convergent solution. The iterative solution strategy provides stable convergence and captures the nonlinear mechanics of the tensionless interactions under various loading scenarios. Unlike the Winkler foundation, which assumes continuous contact and an unrealistic identical reaction for both tension and compression, the proposed model restricts the supports to react only in compression. The model not only simplifies the implementation but also shows the applicability to cases involving nonlinear stiffness behavior and spatially varying gap and foundation stiffness, either in a piecewise or continuous manner. The performance of the model has been shown and compared to several examples. In all cases the model converged closely—either graphically or quantitatively if data was available to the target solutions—confirming its accuracy, efficiency, and general applicability.
The model also provides a practical tool for tracking modulus estimation, improving defect detection, and supporting maintenance decisions within railroad infrastructure management. The method allows spatial variation in the track stiffness to be quantified and enables the detection of localized support degradation. Unlike many existing methods, the proposed method is formulated to accommodate both finite rail models, such as laboratory-scale setups, since it allows for the effect of the boundary conditions, and infinite rail models under static loads. Overall, these features enhance the assessment of the track conditions under static load conditions.
In addition, the proposed framework improves the interpretation of measurement data for railway track monitoring by providing a consistent, physics-based interpretation of the measured deflection data. Static load tests typically provide measurements at specific locations, while moving measurement systems (e.g., MRail system) generate continuous deflection profiles along the track. Although the present study focuses on static responses, the formulation can be used to interpret the deflection obtained from different sensing approaches. In particular, the framework can be incorporated into moving measurements, when the measured response can be approximated as quasi-static.
In practice, the calibration of foundation parameters is guided by the measurement process. In controlled laboratory conditions, gap profiles may be known or estimated based on the test setup and boundary conditions. In contrast, the stiffness behavior and contact conditions can be inferred from the measured load-deflection response. Indeed, the model provides a systematic approach to data stream and sensor design by establishing signal-to-noise ratios, measurement locations, and identifying critical quantities requiring further a priori estimation, i.e., gap profiles, etc.
The proposed method has been discussed for static responses; further development involves extending the method into dynamic responses. In practical applications, beams and railway tracks are subjected to moving and time-dependent loads, which introduce inertia and damping effects that influence the structural responses and contact behavior. Extending the method into dynamic responses will enhance the capability of the method to analyze beam–foundation interaction under realistic loading conditions and improve track modulus characterization in dynamic environments.