Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: organic / inorganic interfaces are ubiquitous in many different mesoscopic composites of importance in materials science and nanotechnology . it is well - known that the performances of organic - based devices , organic or dye sensitized solar cells and molecular diodes / transistors only to name a few , depend strongly on the details of the metal / molecule interface @xcite . for instance , in organic solar cells the position of the frontier molecular orbitals of the organic light harvesting material with respect to the electrode bands is a key design quantity for engineering materials combinations with enhanced light - to - current conversion . it is then of great importance to have at hand computational tools capable of accurate predictions of levels alignment . this is however a tough theoretical problem . it has been demonstrated experimentally @xcite that the quasi - particle energy gap ( @xmath0 ) of a molecule , defined as the difference between its ionization potential ( ip ) and electron affinity ( ea ) , gets reduced with respect to that of the gas phase by adsorbing the molecule on a polarizable substrate . in a quasi - particle picture the ip is the negative of the homo energy ( homo , highest occupied molecular orbital ) , while the ea corresponds to the energy of the lumo ( lumo , lowest unoccupied molecular orbital ) . the reduction of the ip and ea of a molecule adsorbed on a metallic surface is mainly due to the coulomb interaction between the added charge on the molecule and the screening electrons in the substrate . this interaction leads to a polarization of the surface , so that a surface charge with opposite sign with respect to the charge state of the molecule is formed . this non - local feature , called image - charge effect , becomes more relevant as the molecule gets closer to the metallic surface . as a consequence the reduction of the ip and the ea , hence of the homo - lumo gap , becomes more prominent with the molecule approaching the surface , as schematically illustrated in fig . [ energy - distance](a ) . in general , conventional electronic structure theory struggles when predicting the levels alignment at a metal / molecule interface , since only rarely non - local correlation effects are explicitly included . this is for instance the case of density functional theory ( dft )  @xcite , today the most widely used method for computing the electronic structure of materials . in particular there are two important issues related to dft and the problem of levels alignment . on the one hand , the kohn - sham eigenvalues can not be rigorously interpreted as removal energies , koopman s theorem in general does not apply , so that the kohn - sham spectrum can not be taken as a quasi - particle spectrum . the only exception is the homo ( but not any of the homo-@xmath1 levels ) , which can be associated to the negative of the ip  @xcite . even leaving interpretative issues aside in practice the kohn - sham energy levels often are not a good representation of the true excitation spectrum of a material , namely they are not found at the correct energy position . on the other hand , in static dft the standard approximations to the exchange and correlation functional , including the local density approximation ( lda )  @xcite , hybrid functionals @xcite or explicitly self - interaction corrected ones @xcite , do not include or they do but just poorly , non - local correlation effects . this means that , although some of the functionals can predict with satisfactory accuracy the energy levels of the molecule in the gas phase , they all fail in describing properly the level renormalization as the molecule approaches the surface . for instance in the lda there is no change in the homo - lumo gap as a molecule gets closer to a metallic surface  @xcite .    a conceptually straightforward way to include such non - local correlation effects in the description is that of using many - body perturbation theory , namely the gw approximation constructed on top of dft  @xcite . this approach has been used in the last few years for predicting levels alignment  @xcite , in general with a good success . the drawback of the gw scheme stays with its computational overheads , which limit the system size that can be tackled . this is particularly critical for the problem at hand since the typical simulation cells for a molecule on a surface are in general rather large . furthermore , as the image charge may spread well beyond the size of the molecule investigated , one may even require cells significantly larger than those needed to physically contain the molecule . alternatives to the gw approach , which to some degree also go beyond taking the simple dft kohn - sham spectrum , include scissor operators ( the dft+@xmath2 approach ) @xcite , where the homo and lumo eigenvalues are shifted to match values obtained either from experimental data or from separate total energy difference calculations ( @xmath3scf ) plus classical image charge models , and modified @xmath3scf schemes @xcite .    among the various possibilities constrained dft ( cdft ) represents a conceptually different approach to the problem . the idea behind cdft is that one can always define an appropriate density functional , implementing a given desired constraint on the charge density  @xcite ( e.g. one can demand that an electron is localized on a particular group in a molecule ) . this is obtained by introducing an appropriate external potential in the kohn - sham equations . the crucial point is that the approach is fully variational , meaning that the energy minimum of the constrained functional represents the ground state of the system under that particular constraint  @xcite . the method allows , for example , to access energies and electron density distributions of charge transfer states of a given system , and has been successfully applied to the study of long - range charge transfer excitations between molecules @xcite . in the present study we apply cdft to the investigation of the energy level alignment of metal / molecule interfaces . in relation to this problem cdft has two main advantages . firstly , since cdft is based on total energy differences it does not present the conceptual problems of interpreting the kohn - sham eigenvalues as a true quasi - particle spectrum . secondly , one has to note that the total energy , even in the case of local functionals , is a rather accurate quantity , in contrast to the charge density that local functionals usually tend to over - delocalize . this means that a theory that improves the charge density but that relies on the total energy is expected to be accurate . the present paper is organized as follows . firstly we provide a description of the cdft method used with details on how the constrained is imposed . then results for a specific system consisting of a benzene molecule deposited on a li(100 ) surface are presented , focusing on charge transfer energies , and hence level alignment . in particular we evaluate the quantitative accuracy of the results as a function of the distance between the molecule and the surface , and its dependence on a set of parameters such as the system size and the boundary conditions ( periodic versus finite ) . towards the end we evaluate the changes in the electron density caused by the net charge on the molecule , and in particular we determine the position of the image charge plane as function of molecule - surface distance . we then use the calculated image charge plane position in a classical model for the energy level shifts and compare our _ ab initio _ energies to available gw results .    , due to polarization of the metal . ( b ) top - view ball - stick representation of a benzene molecule at a li(001 ) surface for a li(001 ) 12@xmath412 supercell . the dashed rectangles show the 3@xmath43 ( purple ) and 6@xmath46 ( green ) supercells . the inset in panel ( b ) is the side view of the benzene lying flat at a distance @xmath5 from the surface.,scaledwidth=48.0% ] in the kohn - sham ( ks ) framework@xcite the total energy ( in atomic units ) is given by @xmath6=\sum^{\alpha,\beta}_{\sigma}\sum_i^{n_{\sigma}}{\color{black}\left<\left.\phi_{i\sigma}\right|\right.\color{black}}-\frac{1}{2}\nabla^2{\color{black}\left|\left.\phi_{i\sigma}\right>\right.\color{black}}+ \\+\int d\bf{r}\ , \textit{v}_{\textit{n}}(\bf{r})\rho(\bf{r})+{\textit j}[\rho]+{\textit e}_{\text{xc}}[\rho^{\alpha},\rho^{\beta}]\ : , \label{ks - energy } \end{split}\ ] ] where @xmath7 is the hartree energy , @xmath8 is the exchange - correlation energy , @xmath9 is the external potential , @xmath10 is the electronic density for spin @xmath11 of @xmath12 electrons ( @xmath13 ) and the set @xmath14 contains the ks wavefunctions that minimize the energy . a generic constraint on the charge density is that there is a specified number of electrons for each spin , @xmath15 , within a certain region of space . this can be written as @xmath16 where @xmath17 is a weighting function that describes the spatial extension of the constraining region . in the simplest case @xmath17 can be chosen to be equal to 1 within a certain volume and 0 elsewhere . in order to minimize the ks total energy of eq . [ ks - energy ] subject to the constraint of eq . [ constr ] , an additional spin - dependent term , proportional to the lagrange multiplier @xmath18 , is added to the energy . a new functional is thus defined to be @xmath19=e[\rho]+\sum_{\sigma}v_\mathrm{c}^\sigma\left(\int w^{\sigma}_{\mathrm{c}}(\bf{r})\rho^{\sigma}(\bf{r})\textit{d}\bf{r}- \textit{n}_\text{c}^\sigma\right)\ : . \label{new - functional}\ ] ] + when @xmath20 satisfies the constraint in eq . [ constr ] then @xmath21=w[\rho , v_\mathrm{c}]$ ] by construction . up to the @xmath20 independent term @xmath22 , @xmath23 $ ] is the ground state energy of a system with an additional spin - dependent external potential @xmath24 . the ks equations with this extra potential are then given by @xmath25\phi_i^\sigma(\bf{r})=\epsilon_i\phi_i^\sigma(\bf{r})\ : ,   \label{ks - equations } \end{split}\ ] ] where @xmath26 is the exchange and correlation potential . as in standard kohn - sham dft the electron density is constructed from the occupied kohn - sham eigenvectors , @xmath27 , until self - consistency is achieved . in this particular case the self - consistency has also to guarantee that the constraint set by eq . ( [ constr ] ) is satisfied . the minimization then proceeds as follows . firstly , as in the standard kohn - sham scheme , an initial charge density is defined and then updated until the kohn - sham equations are satisfied self - consistently . secondly , at every self - consistent step in this update of the charge density a second self - consistent loop is performed , where for a given input density , @xmath28 , the value of @xmath18 is updated until the output charge density obtained via solution of eq . ( [ ks - equations ] ) satisfies the constraint of eq . ( [ constr ] ) . this second step is performed following an optimization scheme suggested in ref . updating @xmath18 in this way ensures that at each self - consistent step and therefore also at convergence the constraint is fulfilled . this methodology was implemented in the dft package siesta  @xcite . siesta uses a linear combination of atomic orbitals ( lcao ) basis set , so that , instead of defining the constraining region in real space via the function @xmath29 , we define it over the lcao space . this means requiring that the total charge projected onto a given set of basis orbitals is equal to @xmath30 . for this aim we have implemented both the lwdin  @xcite and the mlliken  @xcite projection schemes . a detailed description of the implementation is given in the appendix . at the quantitative level our results depend somewhat on the projection method employed , and it has been shown that usually the lwdin scheme gives the most accurate results @xcite . using such a cdft approach we can evaluate the charge transfer energy between the molecules and the metal surface , and hence the position of the frontier energy levels with respect to the fermi energy of the metal . for a given substrate size and perpendicular distance , @xmath5 , between the molecule and the surface atoms , first a standard dft calculation without constraints is performed . this determines the total ground state energy of the combined molecule+substrate system , @xmath31 , and the amount of charge present on each fragment , one fragment being the molecule and the other the substrate . in our calculations we consider @xmath5 ranging from 4  to 14 , where the molecule is only weakly coupled to the substrate , so that the amount of charge on each fragment is a well defined quantity . although cdft is designed for arbitrary geometries and constraints , in the case of overlapping fragments the amount of charge localized on each fragment becomes ill defined and the results have to be taken with care  @xcite . the next step consists in performing a new dft calculation , where the constraint is set in such a way that one electron is removed from the molecule and one electron is added to the substrate . the total energy of such charge transfer state is @xmath32 . hence the charge transfer energy needed to transfer one electron from the molecule to the substrate , @xmath33 , is given by @xmath34 in an analogous way we obtain the charge transfer energy gained by moving one electron from the surface to the molecule , @xmath35 , as @xmath36 where @xmath37 is the cdft ground state energy of the configuration where one electron is moved from the metal surface to the molecule . we note that such procedure always deals with globally charge neutral simulation cells , so that no monopole energy corrections are necessary under periodic boundary conditions . moreover for practical calculations the charge - transfer approach can be expected to be more accurate than a calculation using non - neutral cells , where the metal is kept neutral but the molecule is charged . for such non - neutral calculations the image charge is formed on the metal surface in an analogous way to the charge - transfer setup . however , in order for the metal cluster to be charge neutral a charge with opposite sign will also form on the surface of the metallic cluster . given the finite size of the cluster this will lead to additional inaccuracies due to the interaction between the image charge and such spuriously - confined additional surface charge .    within the charge transfer procedure we can directly determine the energy level alignment at the interface , since -@xmath38 ( -@xmath39 ) corresponds to the energy of the homo ( lumo ) with respect to the substrate fermi energy . in a similar constrained - dft approach @xcite sau and co - workers calculated the charging energy associated to transferring small amounts of charge from the substrate to a specific molecular orbital . the charge transfer energy was then obtained by extrapolation to integer charge . in order to avoid the use of such extrapolation here we always transfer an entire electron between the molecule and the substrate . since a cdft calculation has a computational cost only marginally more expensive than that of a standard dft ground - state one ( the cpu time increases by about a factor two over the entire self - consistent cycle ) , cdft allows us the study of large organic molecules on surfaces . this is a prohibitive task for many - body - corrected quasi - particle schemes , such as the gw method . we apply our cdft method to compute the energy level alignment of a benzene molecule as a function of its distance , @xmath5 , from a li(100 ) surface . the calculations are performed using norm - conserving relativistic pseudopotentials  @xcite , and the lda  @xcite for the exchange - correlation potential . the real space grid is set by an equivalent mesh - cutoff of 300 ry and the charge density and all the operators are expanded over a double-@xmath40 polarized basis set with an energy - shift of 0.03  ev  @xcite . the li metallic surface is modeled by a 6 atomic layer thick slab . the _ bcc _ primitive unit cell lattice constant is set to 3.51   . we consider two types of boundary conditions in the plane of the li substrate surface , namely periodic boundary conditions ( pbc ) and non - periodic boundary conditions ( non - pbc ) . furthermore , in order to investigate the finite size effects originating from the size of the li surface , we consider three different cell sizes ( for both pbc and non - pbc ) , namely small ( 3@xmath43 atoms per layer ) , intermediate ( 6@xmath46 ) and large ( 12@xmath412 ) ( see fig . [ energy - distance ] ) . in the case of non - pbc the real - space box containing the li slab supercell has dimensions 55@xmath455@xmath455  @xmath41 . this is chosen in such a way that even for the 12@xmath412 slab there is at least 15    of vacuum between the li slab and the boundaries of the simulation box . by using a cubic box one can apply madelung corrections in siesta . these are necessary since the electrostatic potential is calculated by using periodic boundary conditions  @xcite . in the case of pbc the in - plane dimensions are set by the li supercell size and thus are 10.56@xmath410.56  @xmath42 , 21.09@xmath421.09  @xmath42 and 42.12@xmath442.12  @xmath42 , respectively for the 3@xmath43 , 6@xmath46 and 12@xmath412 cell . the cell dimension in the direction perpendicular to the surface plane is the same as for the case of non - pbc , namely 55   . we use two different boundary conditions for the li surface in order to investigate the effects arising from the spurious dipole - dipole interaction between image supercells . the size of this spurious interactions can be reduced by increasing the size of the unit cell . for the pbc setup the dimensions in the plane are set by the li cluster size , while for non - pbc calculations we use a large simulation cell which minimizes the dipole - dipole interaction between periodic images . in this way we can disentangle the effects of changing the extension of the li surface in plane from those associated with the size of the simulation box . furthermore , in the case of non - pbc , edge effects may arise and our aim is to find the required cluster and cell size that gives quantitatively accurate charge transfer energies . in order to determine the energy level alignment between the molecule and the surface , we first need to determine the li workfunction ( wf ) . this is calculated by performing a simulation for the li slab with pbc and no benzene adsorbed and by taking the difference between the vacuum potential and the slab fermi energy . the so obtained value for the li(001 ) wf is 2.91  ev . this is in fair agreement with previous calculations ( 3.03 ev )  @xcite , which have also shown that the li wf can vary by about 0.5  ev depending on the crystallographic orientation of the surface . the experimental values reported for polycrystalline li vary considerably ( 2.3 - 3.1  ev ) , as discussed in ref . @xcite and references therein .    in the case of non - pbc the li substrate is essentially a giant molecule and we can calculate the ip and the ea by means of the @xmath3scf method , where @xmath43 and @xmath44 ( @xmath45 is the number of electrons in the neutral system ) . the results are listed in tab . [ ip - ea ] for the different li cluster sizes . we note that there is a substantial difference between the ip and the ea , resulting in a quasi - particle energy gap of the order of 1 ev for the li clusters . such a gap arises because of the charge confinement in the finite cluster . in this case electron - electron repulsion energy leads to a decrease of the ea and an increase of the ip as compared to the wf calculated with pbc . if instead of adding a full electron we add / remove a small fractional charge ( 0.1 of an electron ) , electron - electron repulsion energy becomes negligible , the gap disappears , and we obtain ip=3.1  ev and ea=3.0  ev . likewise , the gap is reduced for larger clusters , in which the electron density of the additional electron / hole can delocalize more . before investigating the combined molecule / li system we calculate also the ip and the ea for the isolated benzene molecule , and our results are shown in tab . [ ip - ea ] . we find the energy gap for the molecule in the gas phase , @xmath46 , to be in good agreement with experiments @xcite , with other works using the @xmath3scf @xcite approach and with gw calculations @xcite . cccccccc & & & & & + & 3@xmath43 & 6@xmath46 & 12@xmath412 & + & & & @xmath3scf & @xmath47 & exp . +    ip & 3.46 & 3.44 & 3.55 & & 9.56 & 9.23@xmath48/9.05@xmath49/7.9@xmath50 & 9.24@xmath51 + ea & 1.57 & 2.18 & 2.63 & & -1.45 & -0.80@xmath48/-1.51@xmath49/-2.7@xmath50 & -1.14@xmath52 + @xmath0 & 1.89 & 1.26 & 0.92 & & 11.01 & 10.51@xmath53/10.55@xmath49/10.6@xmath50 & 10.38 +    [ ip - ea ]    @xmath48ref . [ ] ; @xmath53ref . [ ] ; @xmath51ref . [ ] ; @xmath52ref . [ ] ; @xmath50ref . [ ] ; @xmath49ref . [ ] +    the benzene / li interface [ see fig . [ energy - distance](b ) ] consists of a benzene molecule , in its gas phase geometry , positioned parallel to the li surface at a distance @xmath5 . we now evaluate the dependence of the various charge transfer energies ( positions of the homo and lumo ) on @xmath5 for all the different li supercells as well as for both non - pbc and pbc .    , and removal energy , @xmath54 , as a function of the molecule - surface distance , @xmath5 , for the three clusters considered . panels ( a ) and ( b ) are for non - pbc and pbc calculations , respectively . the green dashed - lines represent the negative of the @xmath55 and @xmath56 of the isolated molecule ( @xmath3scf calculations ) shifted by the calculated li wf of 2.91  ev.,scaledwidth=48.0% ]    we start by presenting our results for calculations performed with non - pbc . in fig . [ gap - distance](a ) we plot @xmath57 and @xmath58 as a function of @xmath5 for all the three li clusters considered . as expected , due to the electron - hole attraction , the absolute value of the charge transfer energy decreases as @xmath5 gets smaller . this in itself shows that cdft can capture non - local coulomb contributions to the energy . while for small @xmath5 the energies of the three different clusters are approximately equal to each other , for large distances they differ significantly . in order to determine the origin of such deviations we evaluate the same energies in the limit of very large distances ( @xmath59 ) , where they become @xmath60 and @xmath61 since the interaction energy between the charge on the li slab and that on the molecule vanishes for @xmath59 . the charge transfer energy gap is then given by @xmath62 while @xmath55 and @xmath56 are independent of the cluster size , this is not the case for @xmath63 and @xmath64 ( see table  [ ip - ea ] ) . this reflects in the fact that the charge transfer energies at large molecule - surface separation varies with the cluster size ( see table  [ charge - transfer ] ) . .charge transfer energies ( in ev ) in the limit of large distances ( @xmath59 ) for the three molecule / li cluster cells investigated . values are obtained by evaluating eqs . [ ip - ct]-[gap - ct ] with the @xmath65 and the @xmath66 taken from tab . [ ip - ea ] . [ cols="<,^,^,^ " , ]     [ charge - transfer ]    at large distances the variation of @xmath67 with the li cluster sizes is mainly caused by significant changes in @xmath64 . interestingly this is not the case for @xmath35 , since @xmath63 is approximately the same for all the li clusters considered . as @xmath5 gets smaller the extension of the image charge on the li slab is reduced , so that even small clusters are large enough to contain most of the image charge . therefore the energy differences depend less on the cluster size . for @xmath5 up to about 6   , fig . [ gap - distance](a ) shows that @xmath67 and @xmath35 are converged even for the small 3@xmath43 supercell . since in organic - based devices the first molecular layer deposited on top of the metallic substrate is typically rather close to the surface , we expect that in these situations a rather small cluster size will be already sufficient for our cdft scheme to yield accurately converged levels alignment . this means that the cdft approach is a valuable tool for an accurate evaluation of the electronic structure of molecules on surfaces in realistic conditions . finally , when one looks at larger @xmath5 , it is immediately clear that larger cluster sizes must be considered . the green dashed lines in fig . [ gap - distance ] correspond to the infinite cluster size limit , for which we have @xmath63=@xmath64=wf@xmath68  2.9 ev . it can then be seen that even up to the largest considered @xmath5 of 14   results obtained for the 12@xmath412 cluster are within the infinite cluster limit ( set in the figure by the two green dashed lines ) , so that they can be considered converged .    . note the formation and the spatial distribution of the image charge . different panels correspond to different molecule / surface distances , @xmath5 . the isosurfaces are taken at 10@xmath69e / @xmath41 . red isosurfaces denote negative @xmath70 ( electrons depletion ) , while blue are for positive @xmath70 ( electrons excess ) . ( b ) position of the charge image plane taken from the surface atoms [ see eq . ( [ image - charge - plane ] ] , respectively when one electron , @xmath71 , or one hole , @xmath72 , is transferred from the molecule to the li substrate for the 12@xmath412 pbc calculations as a function of @xmath5 . ( c ) , ( d ) and ( e ) are @xmath73 , @xmath74 and @xmath75 , respectively , as a function of @xmath5 and compared with the classical model of eq . ( [ classical - model ] ) . the dashed - green lines are -@xmath55 and -@xmath56 calculated with @xmath3scf.,scaledwidth=45.0% ]    we now move to the case of pbc , in which there are no edge effects due to the finite size of the cell . results for the charge transfer energies are presented in fig . [ gap - distance](b ) . although the general trends are analogous to the ones found for the case of non - pbc , we note that for the 3@xmath43 supercell the changes in the charge transfer energy as a function of @xmath5 are largely overestimated . this is due to the use of pbc , in which the lateral dimensions of the supercell box coincide to those of the li slab ( i.e. there is no vacuum ) . because of the pbc one effectively simulates a layer of charged molecules and not a single molecule on the surface thus , when the molecules are closely spaced , the charge transfer energy is that of two opposite charged surfaces facing each other ( the molecular layer and the li slab ) . this is significantly larger than that of a single molecule ( note that we always compare the charge transfer energy per cell , i.e. per molecule ) . when one increases the size of the supercell and arrives to 12@xmath412 , both pbc and non - pbc calculations produce the same results . this confirms the observation that the 12@xmath412 supercell is large enough to contain a substantial part of the image charge as well as to minimize the coulomb interaction between repeated supercell images up to @xmath76  14   .    from the charge transfer energies we can now obtain an approximate value of the energies of the homo and lumo orbitals , by offsetting them with the metal wf , so that @xmath77 and @xmath78 . note that if the metal substrate is semi - infinite in size , then these relations become exact , since by definition the energy required to remove an electron from the metal and that gained by adding it are equal to the workfunction . however , in a practical calculation a finite size slab is used , and therefore the relations are only approximately valid due to the inaccuracies in the calculated wf for finite systems . as shown above , the wf becomes more accurate as the cluster size is increased .    in the figures [ image - charge - iso](d ) and [ image - charge - iso](e ) we show the calculated values for the 12@xmath412 supercell and pbc obtained by using the li wf of the infinite slab of 2.91  ev , and in fig . [ image - charge - iso](c ) we present @xmath79 . in order to quantify how the image charge changes the charge transfer energies as a function of @xmath5 , we can write @xmath80 , where the new quantity @xmath81 corresponds to the energy lowering due to the distance dependent electron - hole attraction . it was demonstrated a long time ago  @xcite , by using self - consistent dft calculations , that for flat surfaces @xmath81 can be accurately approximated by the classical image charge energy gain @xmath82 where @xmath83 is the charge on the molecule , and @xmath84 is the height of the image charge plane with respect to the topmost surface atomic layer @xmath85 in other words @xmath84 can be interpreted as the center of gravity of the screening charge density localized on the metal surface , and in general it depends on @xmath5 . here @xmath86 and @xmath87 is the difference between the charge densities of the dft ( ground state ) and the cdft ( charge transfer state ) solutions for a fixed @xmath5 . note that the charge transfer between the surface and the molecule leads to the formation of a spurious charge layer on the back side of the li slab ( i.e. opposite to the surface where the molecule is placed ) , which is due to the finite number of atomic layers used to simulate the metal surface . in order not to consider such spurious charge while evaluating the integral in eq . [ image - charge - plane ] , the two integration limits , @xmath88 and @xmath89 , are chosen in the following way : 1 ) @xmath88 is taken after the first two @xmath90 charge oscillations on the back of the cluster , and 2 ) @xmath89 is the distance at which @xmath90 changes sign between the top li layer and the molecule ( i.e. it is in the vacuum ) . [ image - charge - iso](a ) provides a visual representation of the image charge formation as the molecule approaches the surface and shows isosurface plots of @xmath91 for different distances @xmath5 . here we present the case in which one electron is removed from the molecule and added to the li surface . as one would expect , the further away the molecule is from the surface the more delocalized the image charge becomes  @xcite . note that the isosurface value is kept constant for all @xmath5 ( @xmath92e / @xmath41 ) , so that the apparent shrinking of the image charge for @xmath76  11    simply reflects the fact that most of the image charge is now spread at an average density smaller than 10@xmath69e / @xmath41 . likewise , no isosurface contour appears on the li slab for @xmath76  14   , since now the image charge is rather uniformly spread at low density . in contrast at small @xmath5 the oscillations of the charge density between the atomic layers of the metallic surface can also be seen . it can also be seen that at 4   the charges on the molecule and the image charge on the li surface start to overlap . note that for even shorter distances , when the overlap becomes very large , the cdft approach presented here becomes ill defined , since the charge on each fragment is not well defined anymore .    by evaluating eq . [ image - charge - plane ] we now determine @xmath93 and the results obtained for the 12@xmath412 pbc calculations are shown in fig . [ image - charge - iso](b ) for both electron ( @xmath71 ) and hole ( @xmath72 ) transfer from the molecule to the surface . the average @xmath84 values are 1.81    and 1.72    for @xmath71 and @xmath72 , respectively . although the two values are similar , they are not identical . this is consistent with the small band - gap of the li slab , which indicates that holes and electrons behave differently . the average values of @xmath71 and @xmath72 can now be used to evaluate eq . [ classical - model ] for the classical model . the results are shown in the figures [ image - charge - iso](c ) through [ image - charge - iso](e ) and demonstrate that the classical model works remarkably well for this system ( the calculated slope of both @xmath94 and @xmath94 matches almost perfectly that obtained by cdft ) . it also shows once again that the results for our 12@xmath412 pbc cell are indeed well converged with respect to the slab and cell size . finally we make a comparison between our results and those available in the literature for many - body based calculations . we find an overall reduction of @xmath95 of 2.5  ev , when the benzene moves from infinity to @xmath96   . garcia - lastra _ _ et al.__@xcite studied the dependence of the frontier quasi - particle energy levels of a benzene molecule as a function of the distance to a li substrate by means of gw calculations . they found an overall reduction in @xmath0 of @xmath973.2  ev as compared to the benzene homo - lumo gap in the gas phase , as one can extract from fig . 1(c ) of ref . the authors also fit their gw results to the classical model , finding the best match fitting for @xmath98   , in very good agreement with our calculated value . there is a small discrepancy in the results of ref . [ ] , since if one uses the classical model of eq . ( [ classical - model ] ) with @xmath98   , then the homo - lumo gap reduction should be smaller than 3.2 ev , namely 2.6  ev at @xmath96   . note that the gw results are obtained for cells much smaller than the converged 12@xmath412 used here . if we now force the classical model to fit our results for the 3@xmath43 and 6@xmath46 supercells , we will obtain respectively @xmath99    and @xmath100 , for a corresponding gap reduction of 3.27  ev and 3.0  ev . in these two cases however the fit is good at all @xmath5 only for the 6@xmath46 supercell , while it brakes down for the 3@xmath43 one for @xmath5 beyond 8   . this is somehow expected since for large molecular coverages ( the 3@xmath43 cell ) the point - like classical approximation is no longer valid . in summary , we have implemented and applied cdft to determine the energy levels alignment of metal / organic interfaces in the weak electron coupling regime , i.e. for molecules physisorbed on surfaces . in particular we have demonstrated how the frontier energy levels of a benzene molecule change , leading to a homo - lumo gap reduction , when the molecule is brought close to a li(100 ) surface . this effect is due to the screening charge formed on the metal surface . we have then shown that , in order to obtain quantitatively converged results , rather large metal cluster sizes are needed for large distances , whereas at small molecule - metal separations smaller clusters can also give quantitatively accurate results . our calculated value for the image charge plane is 1.72   and 1.80   for ea and ip , respectively , in good agreement with the values fitted from gw calculations . using these distances for the image charge plane height we have compared our _ ab initio _ results with a classical electrostatic model and found good agreement . the approach presented here offers several advantages over many - body quasi - particles schemes , namely : ( i ) rather large systems can be calculated , since the computational costs are similar to those of standard dft calculations ; ( ii ) surfaces with arbitrary shapes and reconstruction can be studied , including defective and contaminated surfaces ; ( iii ) it gives a direct way of determining the position of the image charge for such interfaces . overall cdft applied to the levels alignment problem appears as a promising tool for characterizing theoretically organic / inorganic interfaces , so that it has a broad appeal in fields such as organic electronics , solar energy devices and spintronics . the authors are thankful to the king abdullah university of science and technology ( kingdom of saudi arabia ) for the financial support through the acrab project and to the trinity college high - performance computer center for computational resources . our implementation of the constrained dft approach within siesta follows the prescription of wu _ et al . _ described in ref . . accordingly , we begin by defining a set of constraints on the electronic spin density of the form @xmath101 wherein @xmath102 represents the spin index , @xmath103 is a weight function corresponding to the constraint k , defining the property being constrained and @xmath104 is the constraint value . the total electron density is given by @xmath105 where @xmath106 is the number of occupied kohn - sham orbitals @xmath107 . a lagrange multiplier , @xmath108 , is associated to each constraint specified in eq . ( [ cons ] ) . this allows the following modified energy functional to be defined @xmath109=e[\rho]+\sum_{\mathrm{k } } v_{\mathrm{k } } \bigg [ \sum_\sigma \int w_{\mathrm{k}}^\sigma({\mathbf{r}})\rho^\sigma({\mathbf{r}})d{\mathbf{r}}-n_{\mathrm{k } } \bigg]\:,\ ] ] with @xmath21 $ ] being the standard kohn - sham ( ks ) energy functional given by @xmath110=\sum_\sigma \sum_i^{n_\sigma } \langle \phi_i^\sigma|-\frac{1}{2}\nabla^2|\phi_i^\sigma\rangle & +   \int v_{ext}({\mathbf{r}})\rho({\mathbf{r } } ) + \\ & + j[\rho]+e_{\mathrm{xc}}[\rho^\uparrow,\rho^\downarrow]\:.\nonumber\end{aligned}\ ] ] in eq.([ksenergy ] ) the first term is the kinetic energy , @xmath111 is the external potential , @xmath112 $ ] is the classical coulomb energy and @xmath113 $ ] is the exchange - correlation energy . the variational principle yields the stationary condition for the functional @xmath114 with respect to the normalized orbitals @xmath115 , which leads to the following modified kohn - sham equations @xmath116\phi_i^\sigma({\mathbf{r } } ) =   \epsilon_i^\sigma \phi_i^\sigma({\mathbf{r}})\:.\nonumber\end{aligned}\ ] ] thus the constraints enter the effective ks hamiltonian in the form of an additional external potential @xmath117 . the ground - state of the constrained ks system is obtained by solving eq . ( [ kseq ] ) in conjunction with eq . ( [ cons ] ) . _  have shown @xcite that the functional @xmath114 is concave with respect to the parameters @xmath108 and that by optimizing @xmath114 through varying @xmath118 , one can find the constraint potential that yields the ground - state of the constrained system . in order to optimize @xmath114 , we utilize its first derivate with respect to @xmath118 given by @xmath119 where the stationary condition @xmath120 implied by eq . ( [ kseq ] ) is used . thus we see that the derivative @xmath121 vanishes automatically when eq . ( [ cons ] ) is satisfied . we now outline the implementation of this formalism for the simulation of electron transfer processes within siesta . in a typical electron transfer problem one has to partition the system into a donor region ( d ) and an acceptor region ( a ) . within siesta , this is done by specifying a certain group of atoms as belonging to d and a second group of atoms as belonging to a. the constrained calculation then involves the transfer of a specified amount of charge from d to a. in order to partition the continuous electron density in real space between the a and d regions , we choose an appropriate population analysis scheme , which in turn determines the form of the weight function  @xmath122 in eq . ( [ cons ] ) . the localized numerical orbital basis set within siesta is particularly suitable for atomic orbital based population analysis schemes such as the ones due to lowdin @xcite and mulliken @xcite . we have implemented weight functions corresponding to both the lowdin and mulliken schemes within siesta . for lwdin populations , the number of electrons on a group of atoms _ c _ is given by @xmath123 where @xmath124 and @xmath125 are the density and overlap matrices respectively and @xmath126 defines the lwdin weight matrix . similarly , with a mulliken population analysis , the number of electrons on a group of atoms _ c _ is @xmath127 with the corresponding weight matrix given by + @xmath128 for charge transfer problems , wu _ et al . _ recommend a partitioning of the charge density based on the lwdin scheme . the self consistent field ( scf ) procedure for obtaining the constrained dft ground - state within the current implementation consists of an inner and outer loop . the outer loop is similar to a conventional scf cycle wherein the orbitals obtained by solving the ks equations and the associated self - consistent density are updated . the inner loop consists of optimizing the @xmath108 multipliers to ensure that the constraint condition given in eq . ( [ cons ] ) is satisfied at each step of the outer loop . by eq . ( [ grad ] ) , this is equivalent to find the extremes of @xmath114 . since the derivative of @xmath114 with respect to the @xmath108 is readily available from eq . ( [ grad ] ) , we employ a conjugate gradients ( cg ) optimization procedure to ensure that eq . ( [ cons ] ) is satisfied . subsequently , the ks equations are solved and the resulting orbitals are used to update the ks density and hamiltonian in the outer loop . we note that wu  _ et al . _ also calculate the second derivative ( hessian matrix ) of @xmath114 with respect to the @xmath108 parameters and employ the newton s method to optimize @xmath118 . however , the expression for the second derivatives @xmath129 depends explicitly on the ks orbitals , whereas the first derivative [ eq .  ( [ grad ] ) ] involves only the density @xcite . we therefore prefer to work with the gradient alone and employ a cg optimization scheme for the @xmath118 . thus the overall scf procedure consists of the following sequence of steps : ( i ) construct the standard ks hamiltonian @xmath130 for the current guess density . ( ii ) obtain the constrained ks hamiltonian @xmath131 by adding the constraint potential @xmath117 from the previous iteration . ( iii ) using the pulay scheme , mix @xmath132 with hamiltonians from previous iterations to obtain @xmath133 . ( iv ) by keeping @xmath133 fixed , optimize @xmath118 so that the constraints in eq . ( [ cons ] ) are satisfied . ( v ) solve the ks equations for the hamiltonian combining @xmath133 and the optimized @xmath118 . the new density matrix @xmath124 thus obtained and the optimized @xmath118 are used in the next iteration . ( vi ) repeat steps ( i ) through ( v ) until self - consistency is achieved .
Abstract:

Answer: we present a computational scheme for extracting the energy level alignment of a metal / molecule interface , based on constrained density functional theory and local exchange and correlation functionals . the method , applied here to benzene on li(100 ) , allows us to evaluate charge transfer energies , as well as the spatial distribution of the image charge induced on the metal surface . we systematically study the energies for charge transfer from the molecule to the substrate as function of the molecule - substrate distance , and investigate the effects arising from image charge confinement and local charge neutrality violation . for benzene on li(100 ) we find that the image charge plane is located at about 1.8    above the li surface , and that our calculated charge transfer energies compare perfectly with those obtained with a classical electrostatic model having the image plane located at the same position . the methodology outlined here can be applied to study any metal / organic interface in the weak coupling limit at the computational cost of a total energy calculation . most importantly , as the scheme is based on total energies and not on correcting the kohn - sham quasi - particle spectrum , accurate results can be obtained with local / semi - local exchange and correlation functionals . this enables a systematic approach to convergence .


Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: the transport of fluids through geological media such as hydrocarbon and water reservoirs involves a combination of flow through the microscopic pore space of the rock itself and flows through macroscopic channels such as fractures . the first case is relatively well understood , at least in principle @xcite , by means of models which treat the pore space as a random network , and then use effective medium or percolation concepts for the transport . fractures are typically modeled as simple straight - sided channels , with a cubic relation between fluid flux and average aperture , and a challenging problem is to understand the dynamics of flow in a macroscopic fracture network @xcite . typically the surface of a single fracture appears fairly smooth , aside from some small - scale superficially random roughness , and poiseuille flow in a straight channel is the obvious model for fluid flow . however , more careful analysis @xcite shows that common geological fractures in fact have correlated , self - affine fractal surfaces . the roughness exponent , whose precise definition is recalled below , is usually found @xcite to be close to 0.8 , surprisingly insensitive to the material and the fracturing process . ( other values may arise from intergranular effects @xcite . ) the aim of this paper is to study the permeability of single self - affine two - dimensional fractures . we shall see that it is possible to obtain general analytic expressions in two limiting cases , where the roughness associated with the fracture surface is either small or large compared to the mean aperture . the theoretical predictions will be supported by numerical simulations , using the lattice boltzmann method , which of course can address the case of intermediate sized roughness as well . in subsequent work , we will consider the fully three dimensional case , and go on to consider more general transport processes in fractures , involving both passive tracers and finite - sized suspended particles . complimentary experimental studies on laboratory samples of fractured rock are in progress elsewhere @xcite .    to the extent that the fluctuations in the height are small compared to the aperture width , the effect on permeability is modest , and we will obtain small corrections to the usual cubic law , but the effects on other transport processes are much more significant . for example , passive tracer dispersion is very sensitive to the presence of any slow zones in the velocity field , and even uncorrelated roughness leads to significant long - time tails @xcite . similarly , the deposition and erosion of solid particles from a surface is sensitive to the local shear stress , which in turn can change dramatically as a surface roughens .    in the opposite extreme of a very narrow fracture , the flow field changes qualitatively as the fluid winds through a highly irregular channel . aside from the challenge of estimating the permeability of difficult geometry in terms of its statistical characteristics , there are further effects arising from the fact that the two sides of the fracture originate from a single crack . in the fractal case , the spatial correlations between the two sides of a fracture lead to velocity field correlations , which again strongly affect tracer motion @xcite . the latter references made use of a very approximate velocity field , obtained in the lubrication limit , and one of the motivations of this paper is to examine the validity of the lubrication approximation for the velocity field . the organization of this paper is as follows . we first recall some basic facts about self - affine surfaces , and give the algorithm used to generate them numerically , and also explain the lattice boltzmann method used for the numerical simulations . we then consider the case of fractures with a wide average aperture , obtain a perturbative estimate for the permeability , and test it numerically . we then turn to narrow fractures , first in the case where the two sides are simply displaced normally to the mean fracture plane , and secondly when there is a lateral shift as well . finally , we summarize the results , and indicate the next steps we briefly review the mathematical characterization of self - affinity , and its implementation in this paper . we consider a rock surface without overhangs , whose height is given by a by a single - valued function @xmath0 , where the coordinates @xmath1 and @xmath2 lie in the mean plane of the fracture . self - affine surfaces @xcite display scale invariance with different dilation ratios along different spatial directions , remaining unchanged under the rescaling @xmath3 here we consider disordered media , so these scaling laws apply only in an ensemble or spatial average sense . experiment indicates that for many materials isotropy can be assumed in the mean plane , implying that there is only one non - trivial exponent relating the dilation ratio in the mean plane to the scaling in the perpendicular direction , _ i.e. _ , @xmath4 , and @xmath5 , with @xmath6 where @xmath7 is the roughness or hurst exponent @xcite . we assume that the process of fracturing the rock is `` clean '' , in the sense that the rock breaks so as separate along one single valued surface without subsequent deformation and without producing loose interstitial material . we shall emphasize two complimentary limiting situations , in which the two surfaces are either well separated with respect to each other , or very close to each other . if @xmath8 is the lateral size of the fracture in the mean plane , the typical range of the fluctuations ( the difference between the maximum and minimum values of @xmath9 ) scales as @xmath10 . if @xmath11 is the mean width of the fracture , with @xmath12 , then the two cases correspond to @xmath13 and @xmath14 , respectively . the local aperture of the crack is the key parameter determining the fracture permeability , and three different cases will be addressed . for large aperture , the roughness associated with the two sides of the fracture act independently , and it suffices to consider a channel with one rough and one smooth boundary . in the case of a narrow fracture , the correlation between the two sides is a key feature , and we consider two possibilities . we first study fractures where the upper surface has been simply translated a distance @xmath11 normal to the mean plane , so that the local aperture @xmath15 equals the constant @xmath11 . alternatively , the two surfaces may have a relative lateral displacement @xmath16 in the mean fracture plane , accompanied by a displacement @xmath11 in the perpendicular direction , so that the two surfaces do not overlap . in this case the local aperture is given by the random variable . @xmath17 it turns out @xcite that @xmath16 is the lateral correlation length for fluctuations in the aperture , in the sense that @xmath18 and @xmath19 decorrelate for @xmath20 .    in this paper we restrict ourselves to the two dimensional case where the surface is invariant in the @xmath2 direction , @xmath21 , and the flow is forced in the @xmath1 direction by a constant pressure drop . in a subsequent paper we will extend these calculations to fully three dimensional fractures , but it is convenient , both conceptually and in the numerical simulations , to regard the system as having a translationally invariant third dimension . our aim is to study various aspects of the fracture permeability which are sensitive to the fracture roughness . the first ingredient is the height function @xmath0 , a statistically self - affine surface with periodic boundary conditions . the periodicity is not a physically essential ingredient here , but has some calculational advantages in alleviating finite - size effects . the surface is generated by a fourier synthesis method , based on power - law filtering of arrays of independent random numbers @xcite . the random numbers are generated using a gaussian distribution , and then modulated by an appropriate power law . if @xmath22 is the fourier transform of the initial gaussian random array , then the fourier transform of the surface elevation is chosen to be @xmath23 ( the 1/2 is appropriate for the self - affine _ curve _ used here , and would be 1 for a real rock _ surface_. )    in most cases the roughness exponent is chosen as the often - observed value @xmath24 . the amplitude of the roughness can be expressed in terms of variance of the height distribution over the full range , @xmath25 which in this case is @xmath26 for @xmath27 . alternatively , the amplitude is given indirectly in terms of the range of the fluctuations as @xmath28 , with @xmath29 . in these equations , and in the rest of the paper , the unit of length is that of the spacing between lattice points in the numerical calculations .    since we consider fluid flow in a highly irregular geometry , and eventually hope to consider dispersion and the evolution of the solid surface due to particle transport , the lattice boltzmann ( lb ) method @xcite is particularly convenient . in this algorithm , fictitious particles move between neighboring sites on a lattice , with suitable collision rules , and the boundary of the flow domain is simply a surface of sites where the rule is modified in some way to keep the particles out . we use the face centered hypercubic ( fchc - projected ) version of the lb model , with a cubic lattice in 3 dimensions and 19 velocities ( d3q19 in the terminology of @xcite ) . the collision operator is approximated by a single relaxation time , the bhatnagar - gross - krook model@xcite , and the local equilibrium distribution given by @xcite is used . this pseudo - equilibrium distribution locally preserves mass and momentum values , and is formulated specifically to recover the navier - stokes equation at large length and time scales . for the no - slip solid boundaries , we use the simplest implementation of particle exclusion  the bounce - back rule , in which a particle incident on the boundary reverses its direction . periodic boundary conditions are used for the inflow and outflow surfaces . a constant pressure gradient forcing the fluid is added in the @xmath1 direction , while the gap between surfaces extends over @xmath9 , and the geometry is taken to be translation invariant in @xmath2 . in this section we consider the case of a channel with one fractally - rough wall , in the limit where the mean width is large compared to the amplitude of the roughness . we ( re-)derive an elegant general result for the permeability , and then an exact variant which gives the permeability of a perturbed pore space . if the pore space perturbation is weak , the leading order correction is easy to evaluate and , when compared to numerical simulation , is seen to provide a reasonably accurate estimate of the permeability . we begin by deriving an integral representation for the permeability , and then considering a perturbation in the boundary shape . although we suspect that these results are known to many , we are not aware of an earlier publication containing them , although the electrical analog of the integral representation is in the literature @xcite . consider a rectangular volume of a porous medium , periodic in all directions , and the following surface integral @xmath30\ ] ] here , @xmath31 and @xmath32 are the velocity and pressure fields of a fluid which completely fills the pore space , assumed to satisfy the stokes equations , and the surface @xmath33 is the complete boundary of the pore space , consisting of the inner grain surfaces and the porous regions of the outer boundary . the pressure and velocity fields are periodic , except that the pressure jumps by a constant amount @xmath34 between two opposite faces in one direction , that of the mean flow . now the velocity vanishes on the grain boundaries by the no - slip condition , and there is complete cancelation between the opposite faces in the two completely periodic directions , but in the flow direction the remaining two faces of the box combine to give @xmath35 here @xmath36 is the fluid flux through this end face @xmath37 , and the minus sign arises because the outward normal is used in @xmath38 . the last equality follows from darcy s law , where @xmath33 is the area of end @xmath37 , @xmath39 is the permeability , @xmath40 the fluid viscosity , and @xmath8 the length of the box .    on the other hand , applying the divergence theorem to eq . [ surface ] , we obtain : @xmath41 where the volume @xmath42 is just the pore space . we have used first the incompressibility of the fluid , second the stokes equation , and third integration by parts . comparing the two expressions for @xmath38 , we have @xmath43 the analogous formula for the electrical conductivity @xmath44 , which follows from ohm s law and the laplace equation @xcite , is @xmath45 here @xmath46 is the conductivity of the pore fluid , @xmath47 is the potential and @xmath48 its difference across the sample . note that both of these formulae may also be derived by comparing the energy dissipation rate computed microscopically in the pore space to the same quantity computed using average fields . we next derive an exact variant of the integral expression for the permeability ( [ permeability ] ) due to wilkinson @xcite , which allows us to implement a perturbation analysis . suppose we begin with a pore volume @xmath49 and known stokes equation solutions @xmath50 and @xmath51 , and then _ contract _ the volume to @xmath42 , where the exact ( but unknown ) solution is @xmath52 and @xmath53 . the result to follow is true even if the volume change and alterations in the fields are _ not _ small , but are probably only useful in that limit , hence the suggestive subscript @xmath54 . substituting into the dissipation integral on the right hand of eq [ permeability ] , and suppressing the summation sign for the moment , we obtain @xmath55   + 2~\int_v dv~\partial_i u_{0,j}~\partial_i u_{\epsilon , j } \nonumber\ ] ] the last integral on the right hand can be rewritten as @xmath56   = \int_s ds_i ~ u_{0,j}~\partial_iu_{\epsilon , j } -   \int_v dv ~ u_{0,j}~\partial^2_iu_{\epsilon , j}. \nonumber\ ] ] noting that @xmath57 at the surface @xmath33 due to the no - slip condition , and using @xmath58 , we may rewrite the previous expression as @xmath59 \nonumber\ ] ] using incompressibility , the last term in the integrand can be rewritten @xmath60 and converted to a surface integral , which vanishes if the pressure is held constant on the ends of the porous medium . finally , we obtain @xmath61\ ] ]    this result is exact but not useful . however , note that if the relative change in volume is small , @xmath62 , the second term is second order in the small parameter , so that to first order the decrease in permeability involves only the integral of the unperturbed velocity over the deleted region , which is easy to calculate .      in this section we will determine the decrease in permeability due to the presence of a self - affine perturbation in the lower surface of a straight channel , and in particular its dependence on the size of the channel . to use the previous result , we begin with a straight channel of width @xmath63 which completely contains the rough - walled one ( see fig . [ fracture ] ) , where we have poiseuille flow @xmath64 and an unperturbed permeability @xmath65 . the lower boundary is shifted by @xmath66 , where we assume that that range @xmath67 of @xmath9 satisfies the only surviving velocity derivative is @xmath69 so that the dissipation integral is simply @xmath70 up to first order in @xmath54 this becomes @xmath71 where @xmath72 is the average of @xmath9 over the channel length @xmath8 , and the cross - sectional area is @xmath73 . the mean perturbation @xmath72 is computable for a specific profile , but here we wish to use a statistical characterization and relate it to the average properties of an ensemble of self - affine surfaces . the mean height of the surface is half the range , and therefore has the scaling @xmath74 . substituting , and replacing the previous equation in eq . [ permeability ] we obtain the first - order perturbative correction to the permeability @xmath75\ ] ] we have added an adjustable parameter @xmath76 , which is expected to lie between @xmath77 , to take account of the distinction between open volume and flowing volume . a value @xmath78 means that the fracture is equivalent to a straight channel of height equal to the mean height of the surface . on the other hand , a value @xmath79 means that the whole region of fluid below the maximum excursion of the surface is not contributing to the permeability and the system is equivalent to the maximum channel that does not intersect the surface . note the lowest order correction to the permeability obtained here results from the reduced volume of a fracture compared to that of a straight channel enclosing it , and happens to coincide with the lubrication approximation . the approach taken here allows us to gain some insight in the drawbacks of this approximation and further improve them . using the previous equation we may write the first order correction to the flow rate , @xmath80\ ] ]    to verify this prediction , we consider a pore space consisting of a cubic lattice with periodic boundaries in @xmath1 and @xmath2 , one impermeable wall at @xmath81 , and a self - affine rough boundary lying above @xmath82 . we generate an ensemble of 10 self - affine surfaces with exponent @xmath24 , as discussed above . in fig . [ q - vs - size ] we display the correction to the flow rate as a function of the size of the system @xmath8 . the straight line is a fit to the expected exponent , which does reasonably well except at the smallest and largest values of @xmath1 . the origins of the discrepancies are first that the discretization used in the numerical calculation suppresses any roughness less than one unit , which is a significant fraction of the system for small @xmath8 . moreover , the system should be periodic in @xmath8 , but the numerical algorithm used to generate it assumes a system size that is a power of 2 . as usual , there are computational limitations on the sizes we can simulate , and for lengths between 32 and the accessible maximum of 64 , we just truncate the periodic surface . finally , at the largest system sizes , we are really outside the range of validity of the estimates . in fact , the second term in the flux in eq .  [ rate ] is greater than 1/3 for the parameters here when @xmath83 . the fitted value @xmath76 given that @xmath24 is @xmath84 , meaning that a portion of the fluid does not contributes to convective transport . expressed in terms of the surface height variance @xmath85 instead of the span range , the excluded fluid represents @xmath86 of the roughness region . the physical consideration absent in the leading order perturbation calculation is the fact that fluid velocity sharply decays inside depressions and corners were resistive eddies are likely to occur @xcite . this deficiency is associated with the omitted second term in eq . [ perm_final ] , _ i.e. _ , the correction to the unperturbed velocity . in fig . [ fracture ] we magnify two regions close to the lower and upper surfaces , respectively , showing the markedly different way the velocity decays towards the surface .    we have also simulated a system with an alternative roughness exponent @xmath87 , corresponding to a surface with more persistent correlations and in a sense a lower fractal dimension ( the dimension of the intersection of the surface with a plane normal to it is @xmath88 @xcite ) . in this case the prefactor in the range scaling law is @xmath89 . in fig . [ q - vs - size ] we show the numerical results ; again , good agreement with the predicted behavior is obtained . the fit gives @xmath90 , suggesting that the low - velocity zones are even more important in this case , presumably because the greater degree of correlation enhances them . we wish to disentangle the permeability decrease due to volume reduction of the fracture from that due to low - velocity zones induced by surface fluctuations . the first step is to consider `` zero - mean '' self - affine surfaces , whose mean height @xmath11 is constant , but which have a tunable roughness . the previous profile , @xmath91 for @xmath92 , is rescaled so as to have unit variance , and then multiplied by an adjustable amplitude @xmath93 , giving adjustable variance @xmath94 . if we assume that the effect of the boundary perturbation is to give low velocity zones which do not contribute to the flow , and that the volume of these zones contributing to the dissipation integral is proportional to @xmath93 , we would write in analogy to eq . [ rate ] @xmath95\ ] ] here @xmath93 is analogous to @xmath96 , and @xmath97 an order-1 fitting coefficient . in fig . [ fig - zero - mean ] we show the results obtained by numerical simulation corresponding to a system with @xmath98 and @xmath99 ( and , to be specific , @xmath100 , @xmath101 , @xmath102 , which gives @xmath103 ) . the filled circles are the numerical results , and we see the expected linear decrease of the permeability with @xmath93 . in fact , a linear fit to the numerical data gives @xmath104 and @xmath105 , which are reasonable numerical values given our assumptions . further evidence for our arguments concerning the effects of low - velocity zones can be adduced by showing that the permeability is unchanged if they are deleted . we begin with the family of adjustable - amplitude self - affine surface just discussed , and filter out the smallest wavelengths from the spectrum so as to generate a smother surface . the smooth surface is then shifted upwards so as to enclose the deleted surface fluctuations , in the rms sense . quantitatively , if we have @xmath106 points on the @xmath1-axis , with @xmath107 , and filter all wavelengths smaller than @xmath108 , then @xmath109 the prefactor on the right arises from the discrete form of parseval s theorem @xcite , and in practice we choose @xmath110 . we then simulate fluid flow in the smoothed fracture , and in fig . [ fig - zero - mean ] the open squares show the results obtained as a function of roughness amplitude @xmath93 . the agreement between the actual and filtered surfaces is clear . the extension of this analysis to the 3-d case is conceptually straightforward , since the decrease in the permeability in this limit just corresponds to the decrease in pore space _ volume_. the latter would be @xmath111 , due to the self - affine topography of the fracture surface , and the relevant expansion parameter is again @xmath112 . the effects of low - velocity regions is presumably the same as well . we now turn to the complimentary situation of narrow fractures , where the pore space is winding and convoluted . consider the situation in which a rock is fractured and the two surfaces are simply displaced by a distance @xmath12 , perpendicular to the mean fracture plane , with no lateral shift . the vertical aperture is constant everywhere , but the effective local aperture for fluid flow , _ i.e. _ , the local width of the channel normal to the mean flow direction , strongly depends on the local angle between the surface and the mean plane . in fig . [ displacement ] we show a fracture of length @xmath99 , generated by a self - affine surface of exponent @xmath24 , separated a distance @xmath113 , along with the ( lattice boltzmann ) computed velocity field .    the theoretical analysis will be based on a kind of local lubrication approximation , where the channel is divided into a sequence of quasi - linear segments at varying orientation angles . first , we estimate the length @xmath114 in the direction of the mean flow over which the channel formed by the two fracture surfaces can be considered approximately straight , which is a typical size over which the fluctuations in the vertical direction are small compared to the effective aperture of the channel . using the self - affine scaling law for the correlation function , @xmath115 ^ 2 \rangle = \phi(\ell )   \left ( { \xi_\parallel\over\ell } \right)^{2\zeta}\ ] ] where @xmath116 is a microscopic length , say a grain size , and @xmath117 is then on the order of a grain size squared , we estimate @xmath118 a segment of length @xmath119 is roughly straight when this quantity is a small fraction of @xmath11 , which yields @xmath120    returning to the entire fracture , each @xmath114-channel is oriented at some angle @xmath121 with respect to the mean plane , and has effective aperture @xmath122 , and length @xmath123 . assuming poiseuille flow in each @xmath114-channel , the corresponding local permeability is @xmath124 . we compute the pressure drop across the fracture by adding the the local pressure drops along the straight @xmath114-channels along the whole path . noting that the flow rate @xmath125 is constant , @xmath126 finally , noting that @xmath127 is the number of channels , we can convert the sum into an average over the distribution of angles , and write for the permeability @xmath128    we can give a simple if heuristic estimate of the permeability as follows . since the exponent @xmath129 , the channels have small vertical fluctuations , and we can approximate the cosine as @xmath130 substituting in eq . [ k - h ] , we obtain @xmath131\ ] ]    a more convincing evaluation of the angular average makes use of the actual height distribution . experimental measurements indicate a gaussian distribution for the spatial correlation in heights , @xmath132 @xcite , and in fact our numerical procedure for generating self - affine surfaces also gives a gaussian distribution for @xmath133 . we illustrate this point in fig . [ g - distribution ] , where we plot our generated probability distribution function of @xmath133 , corresponding to different values of @xmath114 , along with their gaussian fits @xmath134 we also plot the ( numerically - obtained ) dependence of the mean spatial correlation , @xmath135 , on @xmath119 for two choices of @xmath7 , confirming the scaling given above in eq . [ variance ] . the angular average is then given by @xmath136 \\ \nonumber & = & 1 + 2 \left(\frac{\sigma_z(\xi_\parallel)}{\xi_\parallel}\right)^2 + 3 \left(\frac{\sigma_z(\xi_\parallel)}{\xi_\parallel}\right)^4\end{aligned}\ ] ] using eqs . [ variance],[k - h ] , this result is consistent with the previous estimate eq . [ perm - narrow ] based on simple scaling arguments . moreover , aside from the purely numerical coefficients , we can argue that scale invariance requires the angular average to have the form given in ( [ cosine ] ) . the self - affine property of the fracture geometry implies that the probability distribution of heights @xmath137 should only depend on the rescaled variable @xmath138 @xcite . more specifically , @xmath139\ ] ] where the prefactor comes from the normalization . if @xmath140 is evaluated for this distribution , we obtain a variant of eq . [ cosine ] where the numerical coefficients 2 and 3 are replaced by the moments of the function @xmath141 , leading to the same scaling form for the permeability .    finally then , using the leading term in eq . [ cosine ] for the angular average , and eq . [ delta - h ] for the value of @xmath119 , we have the result for the permeability of a narrow two dimensional self - affine fracture , @xmath142 \end{aligned}\ ] ] the principal approximation used in obtaining this result is that the fracture aperture may be regarded as a sequence of almost - straight segments .    to test eq . [ perm - final ] numerically , we first recast it in terms of the fluid flux . for a straight channel of height @xmath11 , width @xmath143 and length @xmath8 , and pressure drop @xmath34 , we have flux @xmath144 . thus @xmath145 where @xmath146 is another adjustable parameter expected to be of order one , and we have taken @xmath116 to be the ( unit ) lattice spacing .    in fig . [ fdisplacement ] we present the correction to @xmath147 as a function of the distance between the opposite surfaces @xmath11 , for both roughness exponents @xmath148 and @xmath149 . we find the good agreement for the predicted exponent for the case @xmath148 . the only adjustable parameter is the coefficient , which is found to be @xmath150 in fairly good agreement with the expected value . the fitted exponent is @xmath151 , which agrees with the predicted value @xmath152 . on the other hand , in the case @xmath87 the numerical results deviates from the asymptotic behavior at small distances between the surfaces . that is because the successive powers given by the expansion of eq . [ perm - final ] are very close to each other ( the difference between them is @xmath153 ) . again if only the coefficient is fitted , we find @xmath154 . fitting also the exponent , but using only the numerical simulations with large separation between surfaces , we obtain @xmath155 where @xmath156 .    in fig . [ size - disp ] we compare numerical results corresponding to systems of different sizes with the same roughness exponent @xmath148 . it can be seen that the accuracy in the exponent is improved as the size of the system is larger . we obtain a value @xmath157 for the largest system with size @xmath27 . as mentioned , the crossover between small and large surface roughness , ( compared to the mean aperture of the fracture ) , can be addressed numerically . the narrow fracture regime , where @xmath158 , is expected to be valid when @xmath159 . the critical mean aperture value @xmath160 which corresponds to @xmath161 turns out to be , using the fitted value of @xmath146 , @xmath162 . on the other hand , the small surface - deviation scaling behavior can be obtained from eq . ( [ rate ] ) , where @xmath8 is the constant size of the system and @xmath63 is now the variable mean aperture of the fracture @xmath11 , @xmath163    in fig . [ crossover ] we display the correction to @xmath147 in the range @xmath164 for a system size @xmath99 . a small deviation from the narrow fractures regime can be observed , starting at @xmath165 . as the size of the gap becomes larger , the correction to the unperturbed flow rate @xmath147 decreases as a power of @xmath11 . therefore , both larger computational time ( starting the simulation from an initially at rest fluid the time interval to reach the steady asymptotic value grows as the square of the gap size @xcite ) and higher accuracy in the fluid field close to the solid surface are needed . our current computational limitations prevents us to simulate systems where @xmath166 . nevertheless , we believe that the observed deviation correspond to a crossover towards a smaller exponent ( @xmath167 ) as expected from the previous discussion . in the field , when a rock is fractured its two sides may be shifted laterally parallel to the mean plane by geological processes . we now consider how our results for permeability are modified by this effect . the situation is somewhat different in two dimensions than in three . in order that a two dimensional fracture remain open it is necessary that the two sides do not touch , whereas in three dimensions in the presence of a lateral shift it is easy for the two surfaces to touch at one or a few points in the plane , while the aperture is still open to flow . furthermore , in two dimensions when the fracture nearly touches at a point , the permeability will be dominated by the large pressure drop needed to force fluid through this narrow gap . in fact , in this case an estimate of the permeability is simply @xmath168 , where @xmath169 is the minimum value of the aperture . in this section we address the complimentary case where the fracture is distinctly open .    as discussed in section 2 , in the presence of a lateral shift @xmath16 , the fracture aperture is now the random function @xmath18 given by eq . [ aperture ] rather than the constant @xmath11 . however , there is a residual correlation between the two sides of the fracture , which allows us to relate the permeability to the self - affine statistics . first , we determine a condition on the shift for the fracture to be open . provided the average properties of the surface are statistically stationary ( independent of @xmath1 ) , we have @xmath170 , and the variance of the aperture distribution is @xmath171 ^ 2 \rangle = \langle [ z(x+d)-z(x)]^2 \rangle = \sigma_z^2(d ) = \phi(\ell )   \left ( { d\over \ell } \right)^{2\zeta}\ ] ] the aperture is surely open when @xmath172 , which gives @xmath173 , but from eq . [ delta - h ] , this is just @xmath174 . in other words , the shift must be small compared to the typical length of a straight segment of unshifted channel , and there is little change in the geometry compared to the unshifted case . we expect , therefore , that the previous result eq . [ flow - disp ] should apply at least up to a different value of the numerical coefficient @xmath146 .    in fig . [ fshift ] we show lb simulation results for the correction to the unperturbed flow rate @xmath147 , for different values of the shift @xmath16 . we see that the behavior is consistent with these arguments for all values of the shift , with deviations occurring when the shift is too large for the mean aperture . several other shift values were simulated obtaining the same general behaviors as in those shown in fig . [ fshift ] . as is often the case with this type of scaling argument , reasoning in terms of asymptotic limits leads to conditions that one quantity must be _ much _ larger than another , but in practice the range of validity is much wider . we have studied the permeability of two - dimensional self - affine fractures , using asymptotic analytic arguments for wide and narrow apertures . numerical simulations using the lattice boltzmann method have verified the predictions , and also suggest a smooth crossover between the limits used in the derivations . we have obtained expressions for the permeability in which the usual expression for straight channels is modified by terms related to the hurst exponent characterizing the fracture surface .    in the wide - gap case , we obtained a perturbative correction related to the roughness exponent and amplitude . the result is formally identical to the lubrication theory prediction , but the corrections are known , in principle , and furthermore we can understand the discrepancies between the derived numerical coefficient and simulation in terms of the effects of low - velocity zones which do not contribute to transport . in the narrow gap case , we also derive an analytic correction related to the roughness exponent and amplitude ( or microscopic length @xmath116 ) . the analysis is based in a local lubrication approximation , dividing the whole fracture into a chain of approximately linear channels with varying orientation angles respect to the main flow direction . the results is equivalent to a correction due to the tortuosity of the fracture , where the tortuosity itself depends on the gap size . finally , we show that in the case when there is a lateral shift between the surfaces , there is no qualitative change compared to the unshifted case . this is basically due to the two dimensional geometry , where in order to have an open channel the shift must be small compared to the size of the typical length of a quasi - linear segment of unshifted fracture . the two - dimensional nature of the problem imposes restrictions on the range of validity of analytic estimates , but the numerical results are in general agreement over a much wider range . the extension of this work to fully three - dimensional fractures is in progress . the case of a wide gap does not require any further significant conceptual effort . however , the narrow gap case the fracture geometry is significantly more complicated because it is not feasible to use any quasi - one - dimensional approximation for the flow paths . numerical simulations are certainly feasible , at least up to size limits imposed by one s computational hardware , but additional ideas are required for analytic arguments . future work will consider diffusion , and also convection plus diffusion , in these self - affine fractures , in both two and three dimensions . the lb method is quite simple for numerical simulations , and we will explore the way in which the roughness exponent enters into the quantitative behavior , along the lines given here . we thank j. p. hulin , f. plourabou and m. tanksley for discussions . this research was supported by the geosciences research program , office of basic energy sciences , u.s . department of energy , and computational facilities were provided by the national energy resources scientific computer center .                                                        h. press , w.  t. vetterling , s.  a. teukolsky , and b.  p. flannery , _ numerical recipes in fortran : the art of scientific computing _ , @xmath175 ed . ( cambridge university press , cambridge , 1988 ) , http://lib-www.lanl.gov/numerical/index.html .
Abstract:

Answer: the permeability of two - dimensional fractures with self - affine fractal roughness is studied via analytic arguments and numerical simulations . the limit where the roughness amplitude is small compared with average fracture aperture is analyzed by a perturbation method , while in the opposite case of narrow aperture , we use heuristic arguments based on lubrication theory . numerical simulations , using the lattice boltzmann method , are used to examine the complete range of aperture sizes , and confirm the analytic arguments .