#### Abstract

This work is devoted to the study of unbiased diffusion of point-like Brownian particles through channels with radial symmetry of varying cross-section and elliptic shape. The effective one-dimensional reduction is used with distinct forms of a position-dependent diffusion coefficient, , found in literature, to obtain expressions for (I) narrow escape times from a single open-ended tube, (II) its correspondent effective diffusion coefficient, both as functions of the eccentricity of the tube, *ε*, where *ε* = 0 returns the system to a spherical vesicle with two open opposite sides, and (III) finally, Lifson-Jackson formula that is used to compute expressions to assess the mean effective diffusion coefficient for a periodic elliptic channel formed by contacting ellipses, also as a function of the eccentricity. Mathematical expressions are presented and contrasted against computational simulations to validate them.

#### 1. Introduction

Among many systems, well spread in nature and technological applications, the unbiased diffusion of point-like particles confined within quasi-one-dimensional systems, such as pores and channels, is ubiquitous and has been subjected to increasing attention in recent years [1–6]. Diffusive transport in confined environments arises from different contexts of practical and theoretical interest. It is relevant to study in fields as nanotechnology, chemistry, and biology, having direct applications to channels such as pores in zeolites [7], carbon nanotubes [8], synthetic nanopores [9–11], artificial pores produced in solid thin films [12], channels in biological systems [13], and single-nanopore sensors, designed to detect, quantify, and characterize many different types of molecules, for example, single- and double-stranded DNA chains. Experimental techniques, such as high-resolution crystallography of bacterial porins and other large channels, have demonstrated that these can be envisaged as tubes with significantly varying cross-sections along their principal axis. In some of these channels, variations in cross-section areas exceed one order of magnitude [14, 15]. This leads to the so-called entropic-like walls and barriers in the theoretical description of transport through such structures.

When diffusion occurs in quasi-one-dimensional structures, it becomes intuitively appealing to introduce an effective one-dimensional description. In a three-dimensional tube of varying radius, , the -axis directed along the centerline of the tube, the one-dimensional concentration of point-like particles is related to their three-dimensional concentration by the expressionwhich averages the spatial concentration over the channel’s position-dependent cross-section, . Given the condition of uniform concentration in any cross-section, satisfies the Fick-Jacobs equationwhere is the particle’s bulk diffusion coefficient. Later, this result was generalized by Zwanzig [16], showing that the diffusion entering in (2) becomes position-dependent, , by means of introducing fluctuations in the concentration of particles in any cross-section, provided is a slowly varying function of ; that is, . Thus the generalized Fick-Jacobs equation takes the form Zwanzig also proposed an explicit form to :which has been extensively used throughout literature but in many cases poorly adjusted to simulated data. Later, Reguera and Rubí generalized Zwanzig’s result, and based on heuristic arguments they suggested that entering into (3) is given by [17]That has proved to be more reliable given several geometrical conditions [18–22], when used along with (3). Surprisingly, in the same literature, this approach has also shown to be valid, even for a less restrictive condition upon the radius’ rate of change: , thus giving the generalized Fick-Jacobs equation a considerably extended range of applicability. In the same spirit Kalinay and Percus [23, 24] developed a more general theory of reduction to the effective one-dimensional description for radially symmetrical two- (2D) and three-dimensional (3D) tubes, and Dagdug and Pineda [25] later extended these results to nonsymmetrical 2D systems.

A wide range of stochastic processes of practical interest underlies first-passage events, such as the first-passage time, namely, the probability that a diffusing particle or a random walk will first reach a specified site (or set of sites) at a specified time [26]. Indeed, chemical and biochemical reactions [27, 28], animals searching for food [29], and trafficking receptors on biological membranes [30] are often controlled by first-encounter events [31]. Among first-passage events, the narrow escape time (NET)—the mean time a Brownian particle spends before being trapped by an opening window in exiting the cavity for the first time—is a quantity is of particular importance. Its applications range from cellular biology to biochemical reactions in cellular microdomains, such as dendritic spines, synapses, and micro vesicles, among others [30, 32]. The NET is the limiting quantity and the first step in the mathematical modeling of such processes where particles must first exit their domains in order to live up to their biological function [31].

To determine which form of to enter in (3) for a given set of geometries and boundary conditions, we took advantage of the fact that the Mean First-Passage Time (MFPT)—defined as the time it takes a random walker to reach a specified place for the first time, averaged over all the trajectories or realizations of the random walk—, *τ*, is a quantity often obtained by means of computer simulations. The MFPT is found to satisfy a backward equation:where , is the Boltzmann constant, and is the absolute temperature, and is the initial position where any particle begins its random walk. The potential is defined as follows:Equation (7), called* entropic-like* potential, accounts for the change in cross-section area along the axial length of the tube, taken to be zero at (a reference position, placed somewhere in the system). Then (6) is solved for the appropriate boundary conditions, to obtain an algebraic expression that relates with and the system’s geometrical parameters.

Complex geometries, such as those found in nature [13] and manmade structures at the small scale [33, 34], hardly resemble the simple shapes used so far to model them. Nonetheless, particle transport through these very complex geometries still can be tackled as a problem of diffusion in quasi-one-dimensional structures [5]. Again, Zwanzig had worked, back in 1983, a solution to the study of diffusion of Brownian particles in two-dimensional channels made of periodic boundaries [35], using a sophisticated mathematical result, known as the Lifson-Jackson theorem [36]. More recently, the correspondent Lifson-Jackson formulahas been successfully used in several works on 2D and 3D systems [19, 20, 22, 37, 38], to obtain a mathematical expression for the effective one-dimensional diffusion coefficient averaged for periodic channels, which represents a good assessment of the effective diffusion coefficient behavior in real long, narrow channels (i.e., their length is significantly greater than their radii), with internal structure (also known as* corrugated* channels).

The present work is divided in three main parts:(I)Following the methodology developed in previous studies [20, 22], we treat the system shown in Figure 1, a single tube of uniform cross-section and elliptic shape (which we call* elliptic tube* hereafter) of length , where is given by , is the semilength of the minimum diameter (minor axis), gamma is the semi length of the maximum diameter (major axis) given by the expression , and epsilon is the eccentricity. The openings placed at opposite sides of the tube are of radius . In this system we solve (6) entering (7) and several expressions for the position dependent diffusion coefficient : (the* Fick-Jacobs approximation*), , and , given by (4) and (5), respectively, and subject to the appropriate boundary conditions (see Figure 3), thus obtaining algebraic expressions of as a function of geometrical parameters of the system (, , ). The resulting theoretical curves will be compared with data obtained by computer simulations.(II) We assess the effective diffusion coefficient for this tube, using the exact solution of (6) for a cylindrical tube (given , and ) to establish the relation , where we have assumed that has the same structure than the bulk diffusion . Then we compare the theoretical curves of with values obtained by computer simulations.(III) Finally, we use the Lifson-Jackson formula (8), along with different forms of —the same set of expressions as before—to obtain mathematical expressions of the mean effective diffusion coefficient, , as a function of geometrical parameters of the system. This last system is a periodic channel, made of juxtaposed elliptic tubes, as seen in Figure 2 (from now on called* periodic elliptic tube*). The various analytical expressions of , , elliptic tube, and , periodic elliptic tube, obtained along with the graphical comparisons between theory and computer simulated data, constitute the main results of this paper.

**(a)**

**(b)**

**(c)**

**(a)**

**(b)**

#### 2. Theory and Computational Details

##### 2.1. Elliptic Tube: Obtaining Analytical Expressions for the MFPT

Solving (6), given the entropic-like potential (7), requires an explicit form for and second-order boundary conditions. As can be seen in Figure 1, the elliptic tube has cross-sections of uniform circular shape, and position dependent radius, , given by which, plotted against the transversal plane along the -axis, resembles the characteristic shape of an ellipse, whose center—for convenience—we chose to place at the origin of coordinates. In this way we will have the open ends of the tube at the planes and then model them as absorbing discs. Thus the cross-section, , takes the form Taking this expression to (7), we have the explicit form of the entropic-like potential , which we need to enter in (6) where we have already chosen , as the reference position. Regarding the form of (11), it is advisable to introduce the notation , and , which in turn gives , in order to simplify the forthcoming algebra. Notice that is the major radius of the ellipse in Figure 1. In this fashion, we may rewrite (11) to readThus, using this result in (6), we obtainwhich, upon integration, yieldsThen, in order to fix the value of , a boundary condition is needed.

Taking advantage of the symmetry of the system, we can cope with the elliptic semitube, shown in Figure 3, instead of the whole, to carry on the integration process. Thus we place a reflective surface at the middle plane in :while the tube’s opening at can be treated as an absorbing surface, whereGiven these boundary conditions, we can use (15) with (14) to find . Therefore, we can write Further treatment of (17) requires us to supply an adequate form of . In this work we will use three expressions.

*(I) Fick-Jacobs Approximation*. Taking to expression (17) yieldswhich, along with the boundary condition given in (16), yields : Then, introducing (19) in (18), we obtainNow, we will use the relation (which can be verified from the definition of ; see Figure 1)to rewrite (20) as or in a more useful form:where we have used the definition . Setting and the initial position of all random walks in , we will have an expression for which is parametrically dependent* solely on the eccentricity *, and the opening-size at the ends of the elliptic tube is as follows:As soon as we have this result, it is noticeable that (24) reduces to the exact result for a spherical vesicle with two opposite openings, as , in perfect agreement with the previous work by Vazquez and Dagdug [21].

*(II) Zwanzig Approximation*. Taking the expression of given by (4) into (17) to carry on the second integration leads us first to write (4) in an explicit form. Here we use to findSo far, we have (4) written down as follows:In (26) we have defined . Now, with this result in (17), we may writeor, in a simplified form,where, upon integration, we obtainThen, to fix the value of , we use (16):which, after some algebra, leads toNow we may use (21), and our prior definitions of and , to put (31) in a more useful form:Again, by choosing and , we obtain, after simplification, an expression of , as a function of geometrical parameters:

*(III) Reguera-Rubí Approximation*. Following the procedure, previously outlined, we took (5), now written, according to (25), in the formand then we use this expression in (17), to carry on the second integration, thus yieldingUsing (16), to fix , we haveAnd taking the last result to (36), after some algebra,Substituting some previous definitions, , , , we may rewrite (38) in a more useful form:Then, by setting and in (39), we obtain a simpler relation for the MFPT in terms of geometrical parameters:

##### 2.2. Elliptic Tube: Computing Effective Diffusion Coefficients for the Elliptic Tube

Let us assume that the effective diffusion coefficient for the elliptic tube (of length and open ends) has the same structure than the bulk diffusion; thenThus, using in (41) the various expressions already obtained for the MFPT, (24), (33), and (40), we can write expressions for the in terms of geometrical parameters of the elliptic tube, given .

*(I) Fick-Jacobs*

*(II) Zwanzig*

*(III) Reguera-Rubí*where is given by

##### 2.3. Periodic Elliptic Channel: Computing Averaged Diffusion Coefficients

The effective diffusion coefficient averaged for a tube made of identical sections (the elliptic tube of previous section) is given by (8), the Lifson-Jackson formula, where the expected value of a function over an interval of values accessible to (see Figure 3) is defined asGiven the definition of in (7), we have Then, we can write the integrals in (8) to read asNow we can use appropriate expressions of to carry out the integration process.

*(I) Fick-Jacobs*. Taking the Fick-Jacobs approximation, in (48), we can rewrite (8) to readand carrying out the integrals, we obtainFinally, combining these two results, we have

*(II) Zwanzig*. Now, taking (26) in (48) allows us to rewrite (8) in the formwhich, in turn, leads towhere is given by

*(III) Reguera-Rubí*. Finally, taking from (34) to (48), we may rewrite (8) in the formwhich leads to the result

##### 2.4. Computational Details

Computational simulations were carried out to compute the mean first-passage time, *τ* (MFPT), defined above. The particle’s initial position, , was distributed uniformly within the middle plane at . The MFPT is denoted as . When running simulations, we took , , and the time step , so that. The actual particle’s position, , is given by , where is the previous position and is a vector of pseudo-random numbers generated with a Gaussian distribution (, ). Each MFPT was obtained by averaging the first-passage times of 5 × 10^{4} trajectories.

In the elliptic tube, the effective diffusion coefficients were computed using the formula given by Berezhkovskii and Weiss [39]:which requires the recording of several quantities from computer simulations: the global first and second moments of the MFPT, and , the MFPT for particles exiting the system to the left and right openings, and , respectively, and the correspondent fractions of exiting particles, and (where ).

In the periodic elliptic tube, the effective diffusion coefficients were computed from the Einstein’s relation:where the mean-square displacement, , was recorded from computer simulations and tabulated for a total of 5 × 10^{4} realizations of a random walk.

#### 3. Results and Discussions

Comparisons between theoretical curves and data obtained from simulations (circles) are shown in Figures 4 to 6. In Figure 4, from (24) (black dash and dot line), (33) (blue dashed line), and (40) (orange continuous line) are plotted against the eccentricity of the elliptic tube (, ); see Figure 1. The physical limit corresponds to ; thus, the three expressions show the right behavior , but only (40) shows a good agreement with simulations.

Figure 5 shows theoretical curves of from (42) (black dash and dot line), (43) (blue dashed line), and (44) (orange continuous line) as a function of the eccentricity of the elliptic tube. This time we have a quotient of two quantities that, individually, approach as ; thus remains finite. As grows faster than , we observe a tendency to increase while approaching the limit . The best fit with simulation data comes for the Reguera-Rubí approximation, in (43).

Figure 6 shows theoretical curves of for the system in Figure 2, from (52) (black dash and dot line), (54) (blue dashed line), and (57) (orange continuous line), as a function of the eccentricity of each link in the periodic elliptic tube (, ). The inset graphic shows the slight difference between (54) and (57), which is practically negligible. Despite the apparent difference shown in relation to simulation data, the mean error remains below . Expression (54) has a clear advantage over (57); that is, the first is analytic, while the latter has an integral, which, in turn, has to be solved numerically. When choosing error grows faster and above 10–30%, suggesting that the narrow-tube approximation is no longer applicable to this system.

Final expressions shown in Figures 4 to 6, discussed above, are the main result of this paper.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

This work was carried out with the support of the CONACyT (Consejo Nacional de Ciencia y Tecnología-National Science and Technology Council) Project Grant no. 176452. Y. Chávez thanks CONACyT (Fellowship no. 269180).