the relative proximity of the galactic center ( henceforth gc ) provides a unique opportunity for `` close - up '' study of processes that are expected to be crucial in the formation of galaxies and black holes , yet remain essentially unobservable in more distant galaxies .
recent advances in telescope technology have enabled us to resolve individual stars in the crowded gc environment , and the development of adaptive optics has allowed determination of both velocities and positions of such stars to be made with ever - increasing accuracy ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
these new data have presented several puzzles , notably the presence of a number of b - type stars very close ( @xmath4pc ) to the gc , and also the detection of one , and possibly two , coherent rings of massive o- & b - type stars at somewhat larger radii of @xmath5pc @xcite .
these stars are known to be young , and are therefore presumed to be the result of recent star formation at or close to the gc .
the environment at the gc is vastly different from the typical environment of ongoing star formation in the solar neighborhood , with much larger pressures , densities and temperatures , as well as strong tidal forces , so study of the formation of these stars raises a number of interesting issues ( see also the recent review by * ? ? ?
a popular theory for the origin of these rings of stars is that they formed via fragmentation of accretion disks around the central black hole ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
the stars are assumed to form on nearly circular orbits , as a result of gravitational instabilities in the disk .
@xcite suggests that this will lead to a stellar mass function that is significantly more top - heavy ( i.e.  with significantly more massive stars ) than that seen elsewhere in the galaxy , and recent observational studies suggest that this is indeed the case @xcite .
other suggestions for the formation of these stellar rings exist , however , most notably the infalling star cluster scenario ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
this scenario can also result in a significantly top - heavy mass function , due to mass segregation and stellar collisions within the cluster ( e.g. * ? ? ? * ; * ? ? ? * ; * ? ? ?
in this paper we consider the dynamical evolution of a ring of stars such as those observed around the gc .
previous models of the stellar dynamics of such a ring have considered a single stellar mass population @xcite , or the effect of processes such as resonant relaxation @xcite .
here we investigate the effects of the stellar mass function on the evolution of the system , and use observational determinations of the stellar orbital parameters to constrain the mass function of the stellar rings .
we find that the distribution of eccentricities can tell us about both the upper and lower ends of the stellar mass function , and discuss the consequences of this result for theories of star formation in the gc environment .
the structure of the paper is as follows . in section [ sec : analytic ] we present a simple analytic model for the dynamical evolution of a mass - segregated ring of stars orbiting a massive central black hole . in section [ sec : numerical ] we describe numerical simulations of such a system , and compare the results to the predictions of our analytic model .
we then apply our model to the gc system ( section [ sec : gc_app ] ) , and derive constraints on the initial conditions by comparing our model to recent observations .
we discuss the consequences of our results , and the limitations of our analysis , in section [ sec : dis ] , and summarize our conclusions in section [ sec : conc ] .
let us first consider the relaxation of a system of @xmath6 stars of mass @xmath7 , orbiting in a disk around a black hole of mass @xmath8 ( where @xmath9 ) .
the disk ( or ring ) is centered at radius @xmath10 , with a radial width @xmath11 and a one - dimensional stellar velocity dispersion @xmath12 .
we make the simplifying assumption that the velocity dispersion is isotropic .
this is not strictly valid , but it has been shown that the ratio of the radial and vertical velocity dispersions can not become larger than 3 without the system becoming unstable @xcite .
the relaxation time for such a system is given by @xmath13 ( e.g. * ? ? ?
* ; * ? ? ?
* ) where @xmath14 is the stellar density , @xmath15 is the coulomb logarithm and @xmath16 is an order - of - unity constant that depends on the geometry of the system .
( for a spherical system @xmath17 , @xcite . )
the stellar density is given by @xmath18 where @xmath19 is the scale - height of the disk .
we can express @xmath20 in terms of the stellar velocity dispersion and the orbital angular velocity of the disk , @xmath21 , and so for a keplerian disk we have @xmath22 where @xmath23 is the keplerian orbital period at @xmath10 , and we have absorbed a factor of 2 into the constant such that @xmath24 .
consequently , the relaxation of the system is governed by @xmath25 this form for @xmath26 allows the velocity dispersion to increase indefinitely , and in reality a cooling term should be included .
however , this cooling arises when stars at the high - velocity tail of the distribution begin to escape from the system , and is only significant once the velocity dispersion becomes comparable to the orbital velocity . in our application of this model to the gc
we are only interested in the behavior of the system at relatively early times , and in this case this simpler treatment remains accurate .
the effects of this simplification are discussed in section [ sec : dis ] .
we now extend this analysis to consider two different mass classes of stars , @xmath27 and @xmath28 , with @xmath29 and velocity dispersions @xmath30 and @xmath31 , stellar number @xmath32 and @xmath33 , and mean energies per particle @xmath34 and @xmath35 , respectively .
each mass class is subject to the `` self - relaxation '' described above , but in addition energy can be exchanged between the classes .
this type of analysis has previously been used to study the evolution of a distribution of planetesimals around the sun , and detailed calculations have been made ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
@xcite point out that the treatment of this problem depends on whether the velocity dispersion of the light stars , @xmath31 , is greater than or less than the hill velocity of the heavy stars , @xmath36 .
the hill velocity is defined as @xmath37 where the hill radius @xmath38 . in the former case , referred to as the `` dispersion - dominated '' regime , the velocity dispersion is a good approximation for the speed of a single star and scattering encounters are well approximated by two - body dynamics . however , in the latter case , known as the `` shear dominated '' regime , the tidal gravity of the central black hole is important : in this regime the interactions are rather more subtle .    in applying our model to the gc system ( see sections [ sec : numerical ] & [ sec : gc_app ] ) , we adopt @xmath39m@xmath2 and @xmath40pc .
consequently , the keplerian orbital speed is @xmath41 km s@xmath42 , and the hill velocity scales as @xmath43 thus @xmath44 , so the hill velocity corresponds to orbits with very small eccentricities . in our models ,
@xmath45 at all but extremely early times , so we work in the `` dispersion - dominated '' regime throughout . by considering energy conservation in a two - body interaction , we can write the form for the `` exchange '' term as @xmath46 here @xmath47 is the mean of the two velocity dispersions ( and therefore the mean collision speed ) , @xmath48 is the appropriate coulomb logarithm for such a collision , @xmath49 is another order - of - unity constant , and the factor of 6 in the numerator arises because we are considering the energy rather than the velocity dispersion . we can then use @xmath50 to find expressions for the relaxation of the two velocity dispersions : @xmath51 @xmath52 here we have rewritten the constant terms for clarity , expressing them as @xmath53 for @xmath54,2 .
the form of the exchange term can be considered as the product of a relaxation time ( containing three powers of @xmath55 , as in equation [ eq : t_rel ] ) , a volume scaling term which accounts for the different thicknesses of the two disks ( @xmath56 ) , and a normalized energy difference . as mentioned above ,
similar analyses are common in the study of planet formation . in this context other factors , such as physical collisions , are also significant , but if we neglect these terms we can compare the results to our model .
the form of the solution is the same , and by comparison to the three - dimensional analysis of @xcite we see that that the constants @xmath57 and @xmath49 are related by the ratio @xmath58 .
we adopt this ratio throughout .    from these equations
we can make some qualitative inferences about the evolution of this system .
we see from equation [ eq : t_relax ] that the `` self - relaxation '' of the heavy stars will be more rapid than that of the light stars . however , this holds for any mass function @xmath59 where @xmath60 ( the salpeter slope is @xmath61 ) , and is therefore true for all cases considered in this paper .
] , so we expect the transfer term to boost the velocity dispersion of the light stars , @xmath31 , while at the same time damping the velocity dispersion of the heavy stars @xmath30 .
however , the rate at which this energy transfer occurs depends on both the velocity dispersions and the distribution of mass in the system . in equation [ eq : sigma1 ] the damping term opposes the self - relaxation term when @xmath62 , and we see that the evolution of the heavy stars can be dominated by the damping term only if @xmath63 . since @xmath64 is at least of order @xmath30 , this means that the damping term can dominate if the total mass in light stars is greater than the total mass in heavy stars . in the case of the light stars , however , the exchange term acts in the same sense as the self - relaxation term , so we always expect the light stars to relax more rapidly than they would in isolation .
this simple two - component model shows that , in the absence of other factors such as tidal and resonant effects , the stellar mass function is the critical factor in determining the relaxation of a stellar disk .    in order to make detailed studies of the effect of a real mass function ,
it is necessary to extend this analysis to at least three mass classes .
we add a third class with @xmath65 , and consider three exchange terms of the form seen in equation [ eq : ex_term ] ( 12 , 13 and 23 ) . in this case
we see that the heaviest stars are damped by both lighter mass classes , while the velocity dispersion of the intermediate stars is boosted by the heaviest stars and damped by the lightest stars , and the lightest stars are boosted by both heavier mass classes .
the distribution of stellar masses is critical to the evolution , but by considering three classes we can now emulate the effect of massive stars , which may only live for some fraction of the lifetime of the system .
we apply this `` three - class '' model to the galactic center system in section [ sec : gc_app ] .
our analytic model is rather simple , so in order to assess the validity of this approach we have conducted a number of numerical simulations .
we use the @xmath66-body stellar dynamics code developed by @xcite , treating both the black hole and the stars as point masses .
this code uses a hermite integration scheme , which enables us to retain high numerical accuracy .
great care must be taken when using an @xmath66-body code to analyze such a problem , as the energy of the system is overwhelmingly dominated by the central object . if we assume that the stars have typical separation @xmath19 , then the ratio of the typical energy of a stellar encounter to that of the star
black - hole system is approximately @xmath67 .
therefore , for 10m@xmath2 stars orbiting a @xmath68m@xmath2 black hole in a disk with aspect ratio @xmath69 , the energy binding the stars to the black hole is some @xmath70 times larger than the typical energy of stellar encounters .
consequently , we require very strict limits on the energy errors resulting from the numerical integration if we are to maintain accuracy in our simulations .
this requirement , combined with restrictions on computational time , limit us to modeling systems with relatively few stars , typically 150 or fewer .
m@xmath2 , @xmath71m@xmath2 and @xmath72 .
the three grey curves show the results of the @xmath66-body simulations for three different random realizations of the initial conditions , and the black curve is the mean of these three realizations .
the heavy curve shows the mean calculated in the same manner , but with the simulations run with more strict error tolerances ( see text ) .
the dashed curve shows the best - fitting analytic model , with @xmath73 . ]
we first consider a single mass of stars , in order to determine the value of the numerical constant @xmath57 in equation [ eq : t_relax ] ( and indeed to test whether a single constant is appropriate ) .
we consider systems of 50 stars , orbiting around a black hole of mass @xmath74m@xmath2 .
we set up the initial conditions as follows .
the stars are distributed in a radial region between @xmath750.15pc ( i.e.  a ring with radius @xmath76pc and width @xmath77pc ) , with uniform distributions in both radius and azimuth .
the stars are given a gaussian distribution in @xmath78 , with scale - height @xmath79 .
all stars are given zero - eccentricity keplerian orbital velocities in the @xmath80@xmath81 plane , with zero velocity in the @xmath78-direction , and this system is then integrated .
we first consider a stellar mass of @xmath82m@xmath2 .
we generated three sets of random initial conditions , and integrated each for 6000 orbital periods at @xmath10 ( @xmath83yr for the parameters specified ) .
each model was computed using two different energy error tolerances , in order to check the numerical convergence .
the cumulative fractional energy errors were typically @xmath84 in one case , and @xmath85 in the second case . translating the cumulative energy error into a measure of the reliability of the results
is not straightforward , but in both cases we consider the estimated energy errors to be sufficiently small .
we computed the orbital elements of each particle twice every orbital period in order to plot the results .
figure [ fig : ecc_m25_n50 ] shows the evolution of the root - mean - square ( henceforth rms ) eccentricity in the simulations .
the rms eccentricity is evaluated from the simulations by computing the instantaneous eccentricity of each star directly from the orbital elements .
the discrepancy between the mean values obtained from two sets of simulations ( different error tolerances ) is around 15% , and is comparable to the differences between different random realizations of the same simulation .
furthermore , this discrepancy is also comparable to the typical random fluctuations expected ( @xmath86% for @xmath87 ) , so we consider the simulations to be numerically converged .
we see that the rms eccentricity of the stars rises from zero to around 0.15 after 10myr , and we are able to compare the results of the simulations to the analytic model presented in section [ sec : analytic ] . in a disk of small objects orbiting a massive central body , the rms eccentricity of the small bodies ( stars ) can be related to their velocity dispersion by @xmath88 ( e.g. * ? ? ?
* ) where @xmath89 is the keplerian orbital speed .
we performed a simple least - squares fit to determine the best - fitting value of the constant @xmath57 .
we evaluate the model fit by integrating equation [ eq : sigma_star ] numerically .
the coulomb logarithm is evaluated as the ratio of the maximum to minimum impact parameters .
we assume that the maximum impact parameter is @xmath11 , and the minimum is @xmath90 ( e.g. * ? ? ?
* ) , and therefore evaluate the coulomb logarithm as @xmath91 . however , we note that the solutions do not depend strongly on the form adopted for @xmath92 . for the `` low resolution '' simulations
the best - fitting value is @xmath93 ; the `` high - resolution '' simulations give @xmath94 .
however , we note that the velocity dispersion , and therefore the rms eccentricity , depends only on @xmath95 , so this apparently large discrepancy in the scaling constant corresponds only to around a 10% uncertainty in the velocity dispersion . by comparison
, the more detailed analysis of @xcite suggests that @xmath57 lies in the range 1.92.8 , depending on the degree of anisotropy in the velocity dispersion , so we are satisfied that our simplified analytic form for the `` self - relaxation '' term is accurate to within 1015% .
m@xmath2 , @xmath96m@xmath2 , @xmath97 , @xmath98m@xmath2 and @xmath99 .
as in fig .
[ fig : ecc_m25_n50 ] , the grey curves show the results of the @xmath66-body simulations for three different random realizations of the initial conditions , and the black curve is the mean of these three realizations . here
the upper set of curves is for the 100 10m@xmath2 stars , and the lower curves are for the 10 50m@xmath2 stars .
the dashed curves again show the best - fitting analytic model , with @xmath73 . ]
we now consider a system with stars of two different stellar masses , in order to test the accuracy of the exchange term in our analytic model .
we model the evolution of a system with @xmath100m@xmath101 stars and @xmath102m@xmath2 stars .
thus the total mass in light , 10m@xmath2 stars is double that in heavy , 50m@xmath2 stars , so we expect the eccentricities of the heavy stars to be damped significantly . for comparison
, we also consider a system with @xmath100m@xmath101 only .
once again we evaluated three random realizations of the initial conditions for each ; the typical cumulative fractional energy errors were @xmath103 .
however , with many more stars it was not practical to run a full convergence test in this case . runs with more stringent error constraints , which were run for much shorter times , suggest that these simulations have relaxed somewhat too rapidly , and that the accuracy of these simulations is around @xmath104% .
however , we note that this comparison only considers the early evolution , where the velocity dispersion is rising very steeply .
the results of the two - class simulations are shown in fig .
[ fig : ecc_damp ] .
the analytic model provides an excellent fit to the comparison ( @xmath100m@xmath101 only ) simulations and , as expected , the eccentricities of the heavy stars in the two - class model are significantly damped .
the analytic curves are slightly below the simulated data , but we suggest that this is a result of slightly insufficient numerical accuracy in the simulations . even with this caveat , the agreement is good both in terms of the relative eccentricities of the two mass classes and the absolute numerical scaling .
consequently , we are confident that our simple analytic model is accurate to within @xmath105% .
we now apply our analysis to the gc system .
one of the more surprising results of recent years was the detection of large numbers of young stars very close to the gc , and these stars have now been well - studied observationally .
a population of massive o and b stars ( sometimes referred to in the literature as the gc `` hei stars '' ) is known to exist in one , and possibly two , coherent ring - like structures at a distance of around 0.1pc from the gc ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
the young age ( @xmath106myr , * ? ? ?
* ) of these stars suggests that they formed at or very close to their current location , but the environment at the gc poses a significant challenge to conventional theories of star formation .
moreover , the detection of similar rings of stars in the center of m31 @xcite suggests that such systems may in fact be common , so their evolution warrants further study
.    one important goal of any theory of star formation is to predict the form of the initial stellar mass function [ henceforth ( i)mf ] .
observational limitations ( primarily source confusion ) limit the study of the lower - end of the mass function at the gc through direct observations , but several indirect approaches have been taken to try to determine its form .
@xcite infer the form of the mf from their observed @xmath107-band luminosity function , and conclude that the slope of the mf @xmath108 is in the range @xmath1091.35 ( i.e.  @xmath59 ; in these units the salpeter slope is @xmath61 ) .
@xcite argue that the integrated x - ray luminosity of the gc region observed by _
chandra _ sets a limit on the total mass in young , low - mass t tauri stars , of @xmath110m@xmath2 .
we note , however , that young stars of earlier spectral type emit a much smaller fraction of their luminosity in x - rays than their t tauri counterparts ( e.g. * ? ? ?
* ) , so formally this limit only applies to stars less massive than approximately 5m@xmath2 .
@xcite consider the mutual interaction of the two stellar rings observed by @xcite and @xcite , and suggest that dynamical interactions between the two rings would destroy the observed structure unless the total mass of the rings was @xmath111m@xmath2 .
finally , @xcite argue that @xmath66-body interactions within a stellar ring ( without considering mass segregation ) set a somewhat weaker upper limit on the total stellar mass , @xmath112m@xmath2 .
these studies , combined with the knowledge that @xmath113m@xmath2 is present in more massive early - type stars @xcite , are strongly suggestive of a significantly top - heavy mf in the gc system , with many fewer low - mass ( @xmath114m@xmath2 ) stars than would be expected from a standard salpeter mf .
@xcite suggested that such a top - heavy initial mf will arise naturally if stars are formed by the fragmentation of an accretion disk around the central bh , and models of the `` infalling cluster '' scenario predict a similarly top - heavy mf @xcite . here
we investigate the formation of the gc system further by considering the effect of the mf on the dynamical evolution of a stellar ring .
m@xmath2 and @xmath115 .
the upper panel shows the evolution for a salpeter mass function with @xmath116m@xmath2 and @xmath117m@xmath2 : in this case we see that the light stars damp the eccentricities of the heavier stars significantly .
the middle panel shows the same mass function slope @xmath61 , but this time with a low - mass cutoff at @xmath118m@xmath2 : we see that the damping effect is lessened in this case .
the lower panel shows a top - heavy mass function , with @xmath119 : in this case the presence of many more massive stars results in much larger eccentricities . ]
m@xmath2 and @xmath115 .
the upper panel shows the evolution for a salpeter mass function with @xmath116m@xmath2 and @xmath117m@xmath2 : in this case we see that the light stars damp the eccentricities of the heavier stars significantly .
the middle panel shows the same mass function slope @xmath61 , but this time with a low - mass cutoff at @xmath118m@xmath2 : we see that the damping effect is lessened in this case .
the lower panel shows a top - heavy mass function , with @xmath119 : in this case the presence of many more massive stars results in much larger eccentricities . ]
m@xmath2 and @xmath115 .
the upper panel shows the evolution for a salpeter mass function with @xmath116m@xmath2 and @xmath117m@xmath2 : in this case we see that the light stars damp the eccentricities of the heavier stars significantly .
the middle panel shows the same mass function slope @xmath61 , but this time with a low - mass cutoff at @xmath118m@xmath2 : we see that the damping effect is lessened in this case .
the lower panel shows a top - heavy mass function , with @xmath119 : in this case the presence of many more massive stars results in much larger eccentricities . ]    in order to study the effect of the stellar mf on the dynamical evolution of the gc system we use the `` three - class '' model presented in section [ sec : analytic ] .
@xcite identify 53 ob and wolf - rayet ( wr ) stars in the clockwise stellar ring , and we use this observation to fix the central mass class in our model .
the ob and wr stars have masses in the range @xmath12030m@xmath2 , so we adopt @xmath121m@xmath2 and @xmath122 .
we model the effect of a varying mass function by allowing the masses @xmath27 and @xmath123 , and the slope of the mass function , @xmath108 , to be free parameters in our model .
we choose @xmath32 and @xmath124 according to the number of stars prescribed by the mf at exactly @xmath27 and @xmath123 , and thus the choice of the mf slope fixes @xmath32 and @xmath124 .
* see also @xcite ) find the rms eccentricity of the stars in the clockwise ring to be 0.20.3 . however , they find that the less well - defined counter - clockwise ring ( containing around 20 stars ) has significantly larger eccentricities , with an rms value of around 0.60.7 . however , we clearly see from fig .  [
fig : ecc_m25_n50 ] that a ring of @xmath125m@xmath2 stars will reach a peak rms eccentricity of only 0.15 in 48myr .
assuming that the stellar orbits were originally circular ( as expected from formation in an accretion disk : * ? ? ?
* ) , we therefore require the presence of more massive stars in order to further excite the eccentricity of these stars to the level seen at the gc .
we choose three initial parametrizations of our model .
firstly , we choose a simple salpeter mf ( @xmath61 ) , with a maximum mass @xmath116m@xmath2 and a minimum mass @xmath117m@xmath2 .
we then consider a salpeter slope with a `` low - mass cutoff '' , adopting @xmath118m@xmath2 .
( as the total mass of a salpeter mf diverges to low mass , this `` cutoff '' results in a lower total stellar mass . )
thirdly , we consider a significantly flatter mf , similar to that found by @xcite ( @xmath119 ) , while maintaining @xmath116m@xmath2 and @xmath118m@xmath2    m@xmath2 stars as a function of the mf index @xmath108 .
@xmath116m@xmath2 and @xmath118m@xmath2 are fixed , and the three lines show the rms eccentricity of the 25m@xmath2 stars at 3.0 , 6.0 and 10.0myr ( bottom to top , respectively ) .
we see that a significantly top - heavy mf is required in order to excite the eccentricity of the 25m@xmath2 stars to the level seen in the clockwise system @xcite , and also that the maximum rms eccentricity attainable is around 0.40.5 . ]
the results of these models are shown in fig .
[ fig : threeclass1 ] .
we find that a standard salpeter mf results in significant damping of the eccentricities of the more massive stars .
this is not altogether surprising , as the salpeter mass - function diverges to low mass , but we see clearly from fig .  [
fig : threeclass1 ] that the rms eccentricity of the 25m@xmath2 stars is damped to @xmath126 at the age of the gc system . even allowing for the uncertainties both in our model and in the observed data ,
this is significantly lower than the observed eccentricities , and essentially rules out a standard imf for the gc rings if the stars were initially on circular orbits .
when the low end of the salpeter mf is truncated at a higher mass the rms eccentricity of the 25m@xmath2 stars suffers noticeably less damping , but ( as noted above ) the rms eccentricity is still somewhat lower than observed , as there are not enough massive stars present to excite the eccentricities further .
only when a significantly flatter mf is adopted , resulting in a much larger number of 125m@xmath2 stars , do the 25m@xmath2 stars reach eccentricities of @xmath127 in 5myr , as demanded by observations .
we also note that these low to moderate eccentricities mean that few , if any , stars will be ejected from the ring over 10myr timescales , even at low stellar masses .
[ fig : gamma_ecc ] shows the effect of varying the mass function slope on the rms eccentricity of the 25m@xmath2 stars , with @xmath116m@xmath2 and @xmath118m@xmath2 .
we clearly see that a salpeter mf lacks sufficient massive stars to excite the rms eccentricity above 0.2 .
however , even extremely top - heavy mass functions fail to excite the eccentricities to values much greater than @xmath128 at the age of the gc system , which suggests that the more eccentric counter - clockwise system @xcite may pose a problem for our model .
we return to this issue in section [ sec : implications ] .
( `` class 2 '' ) stars .
the upper panel shows the case where the heaviest ( 125m@xmath2 ) stars are simply removed at @xmath129myr .
the solid line shows the case of a salpeter mf , truncated at @xmath118m@xmath2 ; the dashed line shows the case of a top - heavy mass function ( @xmath119 ) , also with the same low - mass cutoff .
the lower panel is the same , but in this case the heaviest stars were subject to progressive mass - loss as specified in equation [ eq : massloss ] . in both cases
we see that a top - heavy imf is required in order to produce rms eccentricities ( in the 25m@xmath2 stars ) larger than around 0.15 . ]
( `` class 2 '' ) stars .
the upper panel shows the case where the heaviest ( 125m@xmath2 ) stars are simply removed at @xmath129myr .
the solid line shows the case of a salpeter mf , truncated at @xmath118m@xmath2 ; the dashed line shows the case of a top - heavy mass function ( @xmath119 ) , also with the same low - mass cutoff .
the lower panel is the same , but in this case the heaviest stars were subject to progressive mass - loss as specified in equation [ eq : massloss ] . in both cases
we see that a top - heavy imf is required in order to produce rms eccentricities ( in the 25m@xmath2 stars ) larger than around 0.15 . ]
this simple treatment of the gc system is unlikely to be valid , however , as stars born at the upper end of the imf are subject to significant mass - loss during their lifetimes .
moreover , it is unlikely that stars of greater than @xmath130m@xmath2 will live for longer than 23myr ( e.g. * ? ? ?
the effect of a supernova blast wave on the dynamics of the stellar rings is negligible ( e.g. * ? ? ?
* ) , but the removal of the massive stars from the system can have a significant effect , as they are no longer able to excite the velocity dispersion of lower mass stars .
we use two crude approximations to account for mass - loss and/or stellar death in our simple model .
our first approach is simply to assume that the most massive stars are not subject to any mass - loss , but are removed from the system at the end of their lifetimes .
we adopt a lifetime of 3myr for these stars , and model this by setting @xmath131 from @xmath129myr onwards .
our second approach is to include mass - loss from the most massive stars .
this is done simply by making the stellar mass @xmath27 a time - dependent function @xmath132 .
the details of mass loss from very massive stars are not well understood , but the qualitative effect of mass - loss on the dynamical evolution of the system is not strongly dependent on the mass - loss rates adopted . for simplicity
we adopt the mean mass - loss rate for wr stars derived by @xcite : @xmath133 we use this form for the mass - loss rate @xmath134 for @xmath135m@xmath2 , and assume that the stars mass remains constant once it drops to 25m@xmath2 .
this results in a rather rapid decline in the mass of the heaviest stars , with the mass @xmath132 falling from @xmath136m@xmath2 to 25m@xmath2 in 1.25myr .
we note , however , that this form was derived from observations of wr stars , the most massive of which were around 50m@xmath2 , and so is of uncertain validity at very large stellar mass .
the results are shown in fig .
[ fig : massloss ] .
we see that the consequence of including mass - loss is , as expected , that the eccentricities of the observable stars are not excited as highly as in the case when no mass - loss was included .
the exact eccentricities achieved are rather sensitive to some rather poorly - defined parameters in the model , namely the mass - loss rates and also the upper cutoff of the mf . however , in broad terms we see that the typical eccentricities of the observable stars are expected to be in the range @xmath00.3 , depending on the details of the upper end of the mf .      taken together , these results have important consequences for the gc system .
as noted above , @xcite find typical eccentricities in the clockwise ring of around 0.20.3 , and in the counter - clockwise ring of @xmath137 .
our analysis has shown that , in order for the observed stars to reach even the moderate eccentricities seen in the clockwise ring , there must be a significant population of much more massive ( @xmath1m@xmath2 ) stars present in numbers greatly exceeding those expected from a salpeter mf .
we also find that the total mass in low - mass ( @xmath114m@xmath2 ) stars must be less than the mass in ob stars in order to avoid significant damping of the eccentricities of the ob stars .
thus we conclude that the clockwise system has a rather top - heavy mass function , in agreement with the previous observations of @xcite and @xcite , and find that the observed eccentricities are in agreement with those expected from star formation in a keplerian disk ( e.g. * ? ? ?
* ; * ? ? ?
as noted in section [ sec : basic ] , however , the much larger eccentricities in the counter - clockwise system @xcite pose a problem for our model . even in a `` best - case '' model , with no mass - loss from the heaviest stars , and a very top - heavy mf ( @xmath138 ) extending to very high stellar mass ( 175m@xmath2 )
, the observable 25m@xmath2 stars only reach an rms eccentricity of 0.5 in 10myr , and more realistic models suggest that rms eccentricities greater than 0.4 are unlikely ( see fig .
[ fig : gamma_ecc ] ) .
we therefore conclude that the counter - clockwise system was probably not formed from an initially circular disk , and suggest that some other mechanism must be responsible .
as noted above , our model assumes initially circular stellar orbits , but it may be possible to produce larger eccentricities if the initial configuration of the system has significant eccentricity . such a configuration is also possible in the infalling cluster scenario @xcite . within the disk fragmentation scenario
it may be possible to generate eccentric initial conditions if the disk is itself eccentric when it fragments . if the disk is formed by some individual `` accretion event '' , such as the capture of a molecular cloud ( as suggested by * ? ? ?
* ) , then an eccentric stellar disk can form if the fragmentation timescale is shorter than the circularization timescale of the disk .
models of eccentric accretion disks have shown that a disk can typically remain eccentric for many orbital times @xcite , so rapid fragmentation of such a disk may indeed provide a mechanism for generating the large observed stellar eccentricities .
we note also that eccentric initial conditions may retain an observable signature , in the form of a significantly anisotropic velocity dispersion .
observations of the stellar disk(s ) at the center of m31 suggest significant , coherent , eccentricities , and models of eccentric stellar disks have been shown to fit the observed data well ( e.g. * ? ? ?
* ; * ? ? ?
* ; * ? ? ?
we note that the central black hole in m31 is approximately 100 times more massive than that in the galaxy , so an eccentric stellar disk will retain a preferred eccentricity vector for a much longer time in m31 than at the gc . however , detailed study of this problem , and associated issues to do with the evolution of initially coherent eccentric stellar disks , is beyond the scope of this investigation .
our model predicts that few , if any , stars should be scattered inwards from the rings at 0.1pc , and we therefore make no attempt to explain the origin of the so - called `` s - stars '' ( e.g. * ? ? ?
* ; * ? ? ?
* ) , which orbit much closer to the gc ( at a radius of @xmath139pc ) .
it has been suggested that these stars may have been scattered inwards from the rings by an intermediate - mass ( @xmath140@xmath70m@xmath2 ) black hole @xcite , but our model does not make any prediction in this regard .
we note , however , that such an interaction would provide an additional means of exciting eccentricity in the stellar rings , and therefore may provide another means of generating the large eccentricities observed in the counter - clockwise ring .
there are several obvious limitations to our analysis .
our model assumes that the velocity dispersion is isotropic , and while this assumption is not unreasonable it is not strictly valid .
similar analyses applied to planetesimals ( e.g. * ? ? ?
* ) suggest that in equipartition the radial velocity dispersion is roughly double the vertical dispersion .
our simulations are complicated by the fact that our initial conditions have zero velocity dispersion in the radial direction ( keplerian orbits ) , but non - zero dispersion in the vertical direction due to the finite thickness of the ring .
the system does not reach equipartition over the timescales considered , but the general trend seems to be in broad agreement with previous analyses .
this suggests that our relation between the velocity dispersion and the disk thickness is not exact , but we note that the manner in which we fit the scaling constant @xmath57 enables us to account for this .
furthermore , we find good agreement between the model and the simulations , so we do not consider anisotropy in the system to be a significant problem .
as mentioned in section [ sec : analytic ] , our analytic model does not allow for cooling , and consequently does not permit an equilibrium solution . as long as the velocity dispersion remains small relative to the orbital speed ( i.e.  the rms eccentricity remains small ) this approximation is valid , and this is supported by the favorable comparison between the analytic model and the @xmath66-body simulations .
this approach may result in an over - estimate of @xmath141 ( and therefore the eccentricity ) if @xmath141 becomes large .
however , the largest eccentricities attained by any of our models are @xmath142 , so we do not consider this to be a significant problem .
we also neglect cooling via physical stellar collisions , but note that at the stellar densities considered here this is unlikely to be significant .
similarly , although we consider only the `` dispersion dominated '' regime for our two- and three - class models , we note that our initial conditions ( with circular orbits ) lie in the``shear - dominated '' regime .
however , the relaxation of the system to the dispersion - dominated regime is very rapid , typically occurring within @xmath143 orbits , so we are satisfied that this simplification does not affect the results significantly .    as noted in section [ sec : two_class ] , the convergence of our `` two - class '' numerical simulations is rather marginal , with tests indicating that the relaxation of the system is somewhat too fast .
unfortunately it is not practical to run more stringent simulations with this type ( hermite ) of numerical algorithm , and is it not clear if more efficient algorithms ( such as tree - codes ) will provide sufficient accuracy to study this problem .
our tests suggest that the accuracy of our simulations is likely no better than @xmath144% , but we are satisfied that this level of uncertainly does not affect the qualitative results of the model .
we also note , as above , that our treatment of mass - loss from massive stars is somewhat arbitrary .
however , the two models chosen span a significant fraction of the available parameter space , and more extreme parametrizations do not alter our conclusions significantly .
as noted in section [ sec : analytic ] , our model neglects other dynamical effects such as tidal and resonant effects , and also treats the black hole as a point mass with a newtonian potential . at the large radius considered here ( 0.1pc )
the timescale for relativistic precession of orbits is much longer than the age of the system , so we can safely neglect relativistic effects .
( the expected precession rate is a few degrees in 10myr : @xcite . )
moreover , the non - keplerian component of the potential due to either remnant black holes @xcite or other stellar populations at the gc ( e.g. * ? ? ?
* ; * ? ? ?
* ) is not expected to be significant .
the effect of resonances on the gc system has recently been studied by @xcite , who find that resonant relaxation can in fact dominate over the type of uncorrelated two - body interactions considered here .
they note , however , that the stellar disks observed at the gc are sufficiently young as to be unaffected by resonant effects . the fact that our model , which neglects resonant effects , provides a good fit to our numerical simulations supports this conclusion
. it may well be that resonant effects will dominate the future evolution of the stellar rings at the gc , but in the early stages of evolution considered here they do not .
in this paper we have considered the dynamical evolution of rings of stars around a massive black hole . through analytic arguments and numerical simulations
we have constructed a model for the evolution of a disk of stars of different masses , and shown that the stellar mass function is the dominant factor in determining the evolution of such a system .
we have then applied our analysis to rings of stars observed to orbit the galactic center system .
we find , in agreement with previous studies , that the total mass in low - mass ( @xmath114m@xmath2 ) stars must be significantly lower than expected from a salpeter mass function , and also find that a significant population of massive ( @xmath1m@xmath2 ) stars must have been present in order to produce eccentricities in the range 0.20.3 , as observed by @xcite .
however , we find that dynamical relaxation alone is unlikely to produce rms eccentricities larger than @xmath145 in the gc system .
consequently we conclude that rings with larger eccentricities , such as the counter - clockwise system observed by @xcite , are unlikely to have originated in a circular disk , and suggest that some other dynamical process must be responsible for such systems .
alternatively , we suggest that star formation by fragmentation of an eccentric accretion disk could produce the observed eccentricities .
we acknowledge useful discussions with elena rossi during the initial stages of this work , and we thank both the editor , frederic rasio , and an anonymous referee for useful comments .
this work was supported by nasa under grants nag5 - 13207 , nng04gl01
g and nng05gi92 g from the origins of solar systems , astrophysics theory , and beyond einstein foundation science programs , and by the nsf under grants ast0307502 and ast0407040 .
alexander , t. 2005 , phy .
reports , 419 , 65 beloborodov , a.m. , levin , y. , eisenhauer , f. , genzel , r. , paumard , t. , gillessen , s. , & ott , t. 2006 , apj in press ( astro - ph/0601273 ) bender , r. , et al .
2005 , apj , 631 , 280 berukoff , s.j . , &
hansen , b.m.s .
2006 , apj in press ( astro - ph/0607080 ) binney , j. , & tremaine , s. 1987 , _ galactic dynamics _ , princeton university press bonnell , i.a . , & davies , m.b .
1998 , mnras , 295 , 691 freitag , m. , grkan , m.a .
, & rasio , f.a .
2006 , mnras , 368 , 141 genzel , r. , et al .
2003 , apj , 594 , 812 gerhard , o. 2001 , apj , 546 , l39 ghez , a.m. , klein , b.l . , morris , m. , & becklin , e.e .
1998 , apj , 509 , 678 ghez , a.m. , salim , s. , hornstein , d. , tanner , a. , lu , j.r . ,
morris , m. , becklin , e.e . , & duchne , g. 2005 , apj , 620 , 744 goldreich , p. , lithwick , y. , & sari , r. 2004 , ara&a , 42 , 549 goodman , j. 2003 , mnras , 339 , 937 goodman , j. , & tan , j.c .
2004 , apj , 608 , 108 grkan , m.a . , &
rasio , f.a .
2005 , apj , 628 , 236 miralda - escud , j. , & gould , a. 2000 , apj , 545 , 847 hansen , b.m.s . , & milosavljevi , m. 2003 , apj , 593 , l77 hopman , c. , & alexander , t. 2006 , apj in press ( astro - ph/0601161 ) hut , p. , & makino , j. 2003 , in _ the art of computational science _
kulsrud , r.m . ,
mark , j.w.k . , & caruso , a. 1971 , ap .
space sci .
, 14 , 52 levin , y. , & beloborodov , a.m. 2003 , apj , 590 , l33 lissauer , j.j .
1993 , ara&a , 31 , 129 mcmillan , s.l.w .
, & portegies zwart , s.f .
2003 , apj , 596 , 314 nayakshin , s. 2006 , mnras in press ( astro - ph/0512255 ) nayakshin , s. , & cuadra , j. 2005 , a&a , 437 , 437 nayakshin , s. , & sunyaev , r. 2005 , mnras , 364 , l23 nayakshin , s. , dehnen , w. , cuadra , j. , & genzel , r. 2006 , mnras , 366 , 1410 nugis , t. , & lamers , h.j.g.l.m .
2000 , a&a , 360 , 227 ogilvie , g.i .
2001 , mnras , 325 , 231 papaloizou , j.c.b . , &
terquem , c. 2001 , mnras , 325 , 221 paumard , t. , et al .
2006 , apj , 643 , 1011 peiris , h.v . , & tremaine , s. 2003 , apj , 599 , 237 polyachenko , v.l . , & shukman , i.g .
1977 , soviet ast .  letters , 3 , 134 schaller , g. , schaerer , d. , meynet , & g. , maeder , a. 1992 , a&as , 96 , 269 stewart , g.r . , & wetherill , g.w .
1988 , icarus , 74 , 542 stelzer , b. , micela , g. , hamaguchi , k. , & schmitt , j.h.h.m .
2006 , a&a in press ( astro - ph/0605590 ) syer , d. , & clarke , c.j .
1992 , mnras , 255 , 92 ( erratum : 1993 , mnras , 260 , 463 ) tremaine , s. 1995 , aj , 110 , 628 weinberg , n.n . , milosavljevi , m. , & ghez , a.m. 2005 , apj , 622 , 878 wheeler , j.c . , lecar , m. , & mckee , c.f . 1975 , apj , 200 , 145 ( erratum : 1976 , apj , 209 , 961 )


we consider the problem of reconstruction of refractive indices or dielectric constants of unknown targets placed in a homogeneous domain from blind backscattered experimental data .
we work with time resolved backscattering experimental data of wave propagation for a 3-d hyperbolic coefficient inverse problem ( cip ) .
our data are generated by a single location of the point source .
the backscattering signal is measured on a part of a plane .
we present a combination of the approximately globally convergent method of @xcite with a finite element method ( fem ) for the numerical solution of this cip . given a certain function computed by the technique of @xcite , the fem reconstructs the unknown coefficient in an explicit form . as a result , we can reconstruct refractive indices and locations of targets .
in addition , we estimate their sizes .
we believe that these results can be used as initial guesses for locally convergent methods in order to obtain better shapes , see , e.g. section 5.9 in @xcite , where the image obtained by the globally convergent method for transmitted experimental data was refined via a locally convergent adaptivity technique .
experimental data were collected by the device which was recently built at university of north carolina at charlotte . in our experiments we image targets standing in the air .
a potential application of our experiments is in imaging of explosives .
note that explosives can be located in the air @xcite , e.g. improvised explosive devices ( ieds ) .
the work on real data for the case when targets are hidden in a soil is ongoing .
we have collected backscattering time resolved experimental data of electrical waves propagation in a non - attenuating medium .
as it was pointed out in @xcite , the main difficulty of working with such data is caused by a huge mismatch between these data and ones produced by computational simulations .
conventional data denoising techniques do not help in this case .
therefore , it is unlikely that any numerical method would successfully invert the raw data . to get the data , which would look somewhat similar with ones obtained in computational simulations , a heuristic data pre - processing procedure should be applied .
the pre - processed data are used as the input for the globally convergent method .
previously our research group has applied the method of @xcite to the simpler case of transmitted experimental data which were produced by a similar device ( chapter 5 of @xcite ) .
the backscattering real data are much harder to work with than transmitted ones since the backscattered signal is significantly weaker than the transmitted one , as well as because some unwanted signals are mixed up with the true one , see figure [ fig2]-a ) for the latter .
we refer to our research in @xcite and section 6.9 of @xcite for the case of backscattering real data in 1-d . in the current paper we present results of reconstruction of the 3-d version of the method of @xcite .
the approximately globally convergent method of @xcite relies on the structure of the underlying pde operator and does not use optimization techniques .
each iterative step consists of solutions of two problems : the dirichlet boundary value problem for an elliptic pde and the cauchy problem for the underlying hyperbolic pde .
approximate global convergence " ( global convergence in short ) means that we use a certain reasonable approximate mathematical model .
approximation is used because of one inevitably faces with substantial challenges when trying to develop globally convergent numerical methods for multidimensional cips for hyperbolic pdes with single source .
it is rigorously established in the framework of this model that the method of @xcite results in obtaining some points in a small neighborhood of the exact coefficient without a priori knowledge of any point in this neighborhood , see theorem 2.9.4 in @xcite and theorem 5.1 in  @xcite .
the distance between those points and the exact solution depends on the error in the data , the step size @xmath1 of a certain discretization of the pseudo - frequency interval and the computational domain @xmath2 where the inverse problem is solved ( see section [ sec:4.3 ] for definition of @xmath1 ) .
a knowledge of the background medium in @xmath3 is also not required by this method .
because of these theorems , convergence analysis is not presented here .
a rigorous definition of the approximate global convergence property can be found in section 1.1.2 of @xcite and in @xcite .
we use a mild approximation , since it amounts only to the truncation of a certain asymptotic series , and it is used only on the first iterative step ( section [ sec:4.2 ] ) .
the validity of this approximate model was verified computationally on both synthetic and transmitted experimental data in @xcite as well as in the current work in the case of experimental backscattering data .
different imaging methods are used to compute geometrical information of targets , such as their shapes , sizes and locations , see , e.g.  @xcite . on the other hand ,
refractive indices , which is our main interest , characterize constituent materials of targets , and they are much more difficult to compute . as to the gradient - like methods , we refer to , e.g. @xcite and references therein .
convergence of these methods is guaranteed only if the starting point of iterations is chosen to be sufficiently close to the correct solution . on the other hand ,
it was shown in section 5.8.4 of @xcite that the gradient method failed to work for transmitted experimental data of @xcite in the case when its starting point was the background medium .
an outline of this paper is as follows . in section 2
we state forward and inverse problems . in section 3
we describe the experimental data and briefly outline the data pre - processing procedure . in section 4
we briefly outline the method of @xcite : for reader s convenience . in section 5
we describe a version of the fem which works for our case . in section 6
we describe our algorithm .
in section 7 we outline some details of our numerical implementation .
results are presented in section 8 and summary is in section 9 .
let @xmath4 be a convex bounded domain with the boundary @xmath5 denote by @xmath6 we model the electromagnetic wave propagation in an isotropic and non - magnetic space @xmath7 with the dimensionless coefficient @xmath8 which describes the spatially distributed dielectric constant of the medium .
we consider the following cauchy problem for the hyperbolic equation @xmath9@xmath10we assume that the coefficient @xmath11 of equation ( [ 2.1 ] ) is such that @xmath12,~~\varepsilon _
{ r}(\mathbf{x})=1\text { for } \mathbf{x}\in \mathbb{r}^{3}\diagdown \omega ,   \label{2.20}\]]where @xmath13 we _ a priori _ assume knowledge of the constant @xmath14 which amounts to the knowledge of the set of admissible coefficients in ( 2.20 ) .
however , we do not assume that the number @xmath15 is small , i.e. we do not impose smallness assumptions on the unknown coefficient @xmath16 .
below @xmath17 are hlder spaces , where @xmath18 is an integer and @xmath19 let @xmath20 be a part of the boundary @xmath21 later we will designate @xmath22 as the backscattering side of @xmath2 and will explain how we deal with the absence of the data at @xmath23    * coefficient inverse problem ( cip ) .
* _ suppose that the coefficient _
@xmath24 _ _  satisfies .
determine the function _
_ @xmath24 _ _  for _ _ @xmath25 _ _ , assuming that the following function _ _ @xmath26 _ _  is known for a single source position _ _
@xmath27 @xmath28    the function @xmath26 in ( [ 2.5 ] ) models time dependent measurements of the wave field at the part @xmath22 of the boundary @xmath29 of the domain of interest @xmath2 . we assume below that the source position is fixed and @xmath30 .
this assumption allows us to simplify the resulting integral - differential equation because @xmath31 in @xmath32 .
the assumption @xmath33 for @xmath34 means that the coefficient @xmath11 has a known constant value outside of the domain of interest @xmath35    this is a cip with single measurement data .
uniqueness theorem for such cips in the multidimensional case are currently known only if the function @xmath36 in ( [ 2.2 ] ) is replaced with a function @xmath37 such that @xmath38 @xmath39 a proper example of such function @xmath40 is a narrow gaussian centered around @xmath41 , which approximates the function @xmath36 in the distribution sense .  from the physics standpoint
this gaussian is equivalent to @xmath42 that uniqueness theorem can be proved by the method , which was originated in @xcite .
this method is based on carleman estimates , also see , e.g. sections 1.10 , 1.11 of the book @xcite about this method .
the authors believe that , because of applications , it still makes sense to develop numerical methods for this cip without completely addressing the uniqueness question .
the function @xmath43 in ( [ 2.1 ] ) represents the voltage of one component of the electric field @xmath44 in our computer simulations the incident field has only one non - zero component @xmath45 .
this component propagates along the @xmath46axis until it reaches the target , where it is scattered .
so , we assume that in our experiment @xmath47 we now comment on five main discrepancies between our mathematical model ( [ 2.1])- ( [ 2.20 ] ) and the reality .
the first discrepancy which causes the main difficulties , is the aforementioned huge mismatch between experimental data and computational simulations .
the second one is that , although we realize that equation ( [ 2.1 ] ) can be derived from maxwell equations only in the 2-d case , we use it to model the full 3-d case .
the reason is that our current receiver can measure only one of the polarization components of the scattered electric field @xmath48 .
in addition , if using a more complicated mathematical model than the one of ( [ 2.1 ] ) , for example the one that includes vector scattering and thus depolarization effects on scattering , then one would need to develop a globally convergent inverse method for this case .
the latter is a quite time consuming task with yet unknown outcome . * *  * * equation ( [ 2.1 ] ) was used in chapter 5 of @xcite for the case of transmitted experimental data , and accurate solutions were obtained .
a partial explanation of the latter can be found in @xcite , where the maxwell s system in a non - magnetic and non - conductive medium was solved numerically in time domain .
it was shown numerically in section 7.2.2 of @xcite that the component of the vector @xmath49 which was initially incident upon the medium , dominates two other components .
this is true for at least a rather simple medium such as ours .
therefore , the function @xmath43 in ( [ 2.1 ] ) represents the voltage of the computed component @xmath50 of the electric field , which is emitted and measured by our antennas .
the third discrepancy is that the condition @xmath51 is violated on the inclusion / background interface in our experiments .
the fourth discrepancy is that formally equation ( [ 2.1 ] ) is invalid for the case when metallic targets are present .
on the other hand , it was demonstrated computationally in kbksnf that one can treat metallic targets as dielectrics with large dielectric constants , which we call _ appearing dielectric constant _ , @xmath52modeling metallic targets as integral parts of the unknown coefficient @xmath24 is convenient for the above application to imaging of explosives .
indeed , ieds usually consist of mixtures of some dielectrics with a number of metallic parts .
such targets are heterogeneous ones , and we consider three heterogeneous cases in section [ sec:8.2 ] . on the other hand , modeling metallic parts of heterogeneous targets as a separate matter than the rest of an a priori unknown background medium would result in significant additional complications of the already difficult problem with yet unknown outcome .
the fifth discrepancy is that we use the incident plane wave instead of the point source in our computations .
we have discovered that the plane wave case works better in image reconstructions than the point source , while the point source case is more convenient for the convergence analysis in bk , bkjiip12 .
in addition , since the distance between our measurement plane and targets is much larger than the wavelength of our signal , it is reasonable to approximate the incident wave as a plane wave .
thus , our results of section [ sec:8.2 ] demonstrate the well known fact that computational results are often less pessimistic than the theory , since the theory can not grasp all nuances of the reality . in summary
, we believe that accurate solutions of the above cip for experimental data justify our mathematical model .
figure [ fig1]-a ) is a photograph explaining the data collection .
the data collection is done in a regular room , which contains office furniture , computers , etc . keeping in mind our desired application ( see introduction ) ,
we intentionally did not arrange a special waveguide , which would protect our data from unwanted signals caused by reflections from various objects in the room .
below @xmath53 and @xmath54 are horizontal and vertical axis respectively and the @xmath55 axis is perpendicular to the measurement plane , the positive direction of @xmath55 axis is in the direction from the target to the measurement plane .
we dimensionalize our coordinates as @xmath56 where m " stands for meter . however , we do not change notations of coordinates for brevity . hence , below , e.g. 0.05 of length actually means 5 centimeters .
`` the transmitter sends the pulse into the medium which contains targets of interest . the electric wave caused by the pulse
is scattered by the targets , and the backscattered signal is detected by the detector .
the detected signal is recorded by the real time oscilloscope . ''
two main pieces of our device are picosecond pulse generator ( figure [ fig1]-b ) ) and textronix oscilloscope ( figure [ fig1]-c ) ) .
the picosecond pulse generator generates electric pulses .
the duration of each pulse is 300 picoseconds .
this pulse goes to the transmitter , which is a horn antenna ( source ) .
the transmitter sends the pulse into the medium which contains targets of interest . the electric wave caused by the pulse
is scattered by the targets , and the backscattered signal is detected by the detector .
the detected signal is recorded by the real time oscilloscope .
the oscilloscope produces a digitized time resolved signal with the step size in time of 10 picoseconds .
the total time of measurements for one pulse is 10 nanoseconds=10@xmath57 picoseconds=10@xmath58 second .    to decrease the measurement noise ,
the pulse is generated 800 times for each position of the detector , the backscattering signal is also measured 800 times and resulting signals are averaged .
the detector moves in both horizontal and vertical directions covering the square @xmath59 on the measurement plane .
we have chosen the step size of this movement to be 0.02 .
although we can choose any step size , we found that 0.02 provides a good compromise between the precision of measurements and the total time spent on data collection .
the distance between our targets and the measurement plane is approximately 0.8 with about 0.05 deviations , and the wavelength of our signal is about 0.03 .
therefore , the distance between the measurement plane and our targets is of about 26 wavelengths .
this is in the far field zone .
the main difficulty working with experimental data is that there is a huge mismatch between these data and computationally simulated ones .
indeed , figure [ fig2]-a ) depicts a sample of experimentally measured data for a wooden block at one position of the detector , see figure [ fig1]-a ) for data collection scheme . on this figure ,
the direct signal is the signal going directly to the receiver .
we use this direct signal as the time reference for data pre - processing .
unwanted signals are due to reflections of the electric wave from several objects present in the room .
figure [ fig2]-b ) presents the computationally simulated data for the same target , see section [ sec:7.1 ] for data simulations .
these figures show a huge mismatch between real and computationally simulated data .
therefore , data pre - processing is necessary .
we refer to @xcite for details of our data pre - processing procedure .
the main steps of this procedure include :    1 .
_ time - zero correction_. the time - zero correction is to shift the measured data in time . so that its starting time is the same as when the incident pulse is emitted from the transmitter
this is done using the direct signals from the transmitter to the detector as the time reference .
2 .   _ extraction of scattered signals_. apart from the backscattered wave by the targets , our measured data also contain various types of signals , e.g.  direct signals from the horn to the detector , scattered signals from structures inside the room , etc .
what we need , however , is the scattered signals by the targets only . to obtain them
, we single out the scattered signals caused by the targets only and remove all unwanted signals .
data propagation_. after getting the scattered signals , the next step of data pre - processing is to propagate the data closer to the targets , i.e.  to approximate the scattered wave on a plane which is much closer to the targets then the measurement plane .
the distance between that propagated plane and the front surface of a target is usually between 0.02 and 0.06 ( compare with the 0.8 distance from the measurement plane ) .
there are two reasons for doing this .
the first one is that the method of @xcite works with the laplace transform of the function @xmath43 ( section [ sec:4 ] ) .
that laplace transform decays exponentially in terms of the time delay , which is proportional to the distance from the target to the measurement plane .
hence , the amplitude of the laplace transformed experimental data on the measurement plane is very small and can be dominated by computational round - off error .
the second reason is that this propagation procedure helps to substantially reduce the computational cost since the computational domain for the inverse problem is reduced .
4 .   _ data calibration . _
finally , since the amplitudes of the experimental incident and scattered waves are usually significantly different from simulations , we need to bring the former to the same level of the amplitude as the latter .
this is done using a known target referred to as _ calibrating object_.    in this paper ,
the result of data pre - processing is used as the measured data @xmath60 on the backscattering boundary @xmath22 of our computational domain @xmath2 for the inverse problem .
in this section we briefly outline the globally convergent method for reader s convenience .
we refer to sections 2.3 , 2.5 , 2.6.1 and 2.9.2 of bk as well as @xcite for details .
the first step of our inverse algorithm is the laplace transform of the function @xmath61@xmath62where @xmath63 is a certain number .
we assume that the number @xmath63 is sufficiently large , and we call the parameter @xmath64 _
pseudo frequency_. it follows from ( [ 2.1 ] ) , ( [ 2.2 ] ) and ( [ 2.6 ] ) that the function @xmath65 is the solution of the following problem @xmath66@xmath67the limit ( [ 2.8 ] ) is proved in theorem 2.7.1 of @xcite .
in addition , it was proven in theorem 2.7.2 of @xcite that for the function @xmath24 satisfying ( [ 2.20 ] ) there exists unique solution @xmath68 of the problem ( 2.7 ) , ( [ 2.8 ] ) for every @xmath69 such that @xmath70where @xmath71 is the solution of the problem ( 2.7 ) , ( [ 2.8 ] ) for the case @xmath72@xmath73      it follows from theorem 2.7.2 of @xcite that @xmath74 hence , we can consider the functions @xmath75 , @xmath76 @xmath77substituting @xmath78 in ( [ 2.7 ] ) and keeping in mind that the source @xmath30 , we obtain @xmath79using ( [ transform ] ) we obtain @xmath80where the truncation pseudo frequency @xmath81 is a large number , which is chosen numerically , see section [ sec:8 ] for details .
we call @xmath82 the _ tail function , _ and it is unknown .
it follows from ( [ transform ] ) and ( 3.7 ) that @xmath83it follows from @xcite ( section 2.3 ) that , under some conditions , there exists a function @xmath84 such that the following asymptotic behavior with respect to @xmath85 holds for functions @xmath86 and @xmath87 @xmath88@xmath89 differentiating both sides of equation ( [ new3.2 ] ) with respect to @xmath64 then using ( [ transform ] ) and ( [ 3.7 ] ) , we obtain the following nonlinear integral differential equation @xmath90 . \end{split } \label{3.8}\]]in addition , ( [ 2.5 ] ) and ( [ transform ] ) lead to the following dirichlet boundary condition for the function @xmath87 @xmath91 ,   \label{3.9}\]]@xmath92here @xmath93 is the laplace transform ( 2.6 ) of the function @xmath60 in ( [ 2.5 ] ) .
we now need to complement the boundary data ( [ 3.9 ] ) at the backscattering side @xmath22 with the boundary data at the rest of the boundary @xmath94 using computationally simulated data , it was shown numerically in section 6.8.5 of @xcite as well as in @xcite that it is reasonable to approximate the boundary data on @xmath95 by the solution of the forward problem for the homogeneous medium for the case @xmath96 : recall that this equality holds outside of the domain @xmath97 see ( [ 2.20 ] ) .
thus , we use below the following dirichlet boundary condition for the function @xmath98@xmath99 ,   \label{3.91}\]]@xmath100 , \\   \psi ^{0}\left ( \mathbf{x},s\right ) , \forall \left ( \mathbf{x},s\right ) \in \left ( \partial \omega \setminus \gamma \right ) \times \left [ \underline{s},\overline{s}\right ] .\end{array}\right .
\label{3.92}\]]where the function @xmath101 is the function @xmath102 in ( [ 3.90 ] ) computed for the case @xmath103 .    even though equation ( [ 3.8 ] ) with the boundary condition ( [ 3.91 ] ) has two unknown functions @xmath87 and @xmath86 , we can approximate both of them because approximation procedures for them are different , see section 7.1 .
suppose for a moment that functions @xmath87 and @xmath86 are approximated in @xmath2 together with their derivatives @xmath104 then the corresponding approximation for the coefficient @xmath11 can be found via backwards calculation using ( [ new3.2 ] ) .      to start iterations , we need the first approximation @xmath105 for the tail function . in this section
we show how to calculate @xmath106 this is the same choice as the one in section 2.9.2 of the book @xcite as well as in @xcite .
let the function @xmath107 satisfying ( 2.20 ) be the exact solution of our cip for the exact data @xmath108 in ( [ 2.5 ] ) .
let @xmath109 be the exact tail function  defined as @xmath110let @xmath111 $ ] be the corresponding exact function @xmath98 satisfying equation ( [ 3.8 ] ) .
let @xmath112 $ ] be the corresponding exact dirichlet boundary condition for @xmath113 as defined in ( 3.91 ) .  following ( [ 3.92 ] ) , we assume that @xmath114 for @xmath115 .$]hence , ( [ 3.8 ] ) and ( [ 3.91 ] ) hold for functions @xmath116 setting in ( 3.8 ) @xmath117 we obtain @xmath118next , truncating the second term in each of the asymptotics ( [ 2.b ] ) and ( [ 2c ] )
, we obtain that there exists a function @xmath119 such that @xmath120substituting formulae ( [ asymptotic ] ) into ( [ 4.18 * * ] ) , we obtain the following approximate dirichlet boundary value problem for the function @xmath121 @xmath122@xmath123thus , using ( [ 4.17 * ] ) and ( [ asymptotic ] ) , we obtain the following approximate mathematical model .    * approximate mathematical model . *    _ we assume that there exists a function _ @xmath124 _ _  such that the exact tail function _ _ @xmath125 _ _  has the form _ _ @xmath126__and the function
_ _ @xmath127 _ _  is__@xmath128    because of ( [ 2.917 ] ) , ( [ 2.918 ] ) and ( [ 2.914 ] ) , we set for the first tail @xmath129where the function @xmath130 is the solution of the following dirichlet boundary value problem @xmath131@xmath132we point out that we calculate @xmath105 without any advanced knowledge of a small neighborhood of the exact coefficient @xmath133 using ( [ asymptotic])-([2.925 ] ) and schauder theorem @xcite , we obtain @xmath134where the number @xmath135 depends only from the domain @xmath35 hence , the error in the calculation of @xmath105 depends only on the error in the boundary data @xmath136 on the other hand , since the boundary function @xmath137 is generated by the function @xmath26 in ( [ 2.5 ] ) , then the error in @xmath138 is generated by the error in measurements .
the estimate ( [ 2.926 ] ) is one of elements of the proof of the approximate global convergence theorem for this numerical method , see theorem 2.9.4 in @xcite and theorem 5.1 in @xcite .
although a good approximation for the exact solution @xmath107 can be derived from the function @xmath139 we have observed computationally that better approximations are delivered via iterations described below in sections [ sec:6.1 ] , [ sec:6.2 ] .      to approximate both functions @xmath87 and @xmath86 using ( [ 3.8 ] ) and ( [ 3.91 ] ) , we consider the layer stripping procedure with respect to @xmath64 .
we divide the interval @xmath140 $ ] into @xmath141 small subintervals with the uniform step size @xmath142 . here , @xmath143 we approximate the function @xmath144 as a piecewise constant function with respect to @xmath145 i.e. we assume that @xmath146 for @xmath147 hence , using ( [ 3.7 ] ) , we approximate the function @xmath148 as @xmath149to obtain a sequence of dirichlet boundary value problems for elliptic pdes for functions @xmath150 we introduce the @xmath151dependent carleman weight function ( cwf ) @xmath152 , $ ] where @xmath153 is a large parameter . in our numerical studies
we take @xmath154 .
this function mitigates the influence of the nonlinear term in the resulting integral - differential equations on every pseudo - frequency interval @xmath155 .
multiply both sides of equation ( [ 3.8 ] ) by @xmath156 and integrate with respect to @xmath157 we obtain @xmath158here @xmath159 is such an approximation of the tail function @xmath160 which corresponds to the function @xmath161 ( section [ sec:6.1 ] ) .
numbers @xmath162 are computed explicitly .
furthermore , @xmath163 for this reason we ignore the nonlinear term in ( [ 4.21 ] ) , thus setting@xmath164note that ( [ 4.22 ] ) is not a linearization , since ( [ 4.21 ] ) contains products @xmath165 and also because the tail function @xmath166 depends nonlinearly on functions @xmath167 see ( [ 2.a ] ) and step 6 in section [ sec:6.1 ] .
in this section we explain how we compute functions @xmath169 on every pseudo - frequency interval @xmath170 using the fem .
once the functions @xmath171 along with the function @xmath172 in ( [ 4.21 ] ) are calculated , we compute the function @xmath173 using the direct analog of ( [ 4.20 ] ) , @xmath174using ( [ transform ] ) , we set @xmath175 .   \label{3.104}\ ] ] to find the function @xmath176 we note that the function @xmath177 is the solution of the following analog of the problem ( [ 2.7 ] ) , ( [ 2.8])@xmath178@xmath179where @xmath180 \text { for } \mathbf{x}\in \partial \omega .
\label{3.107}\]]to compute the function @xmath181 from ( [ 3.105 ] ) , ( [ 3.106 ] ) and ( [ 3.107 ] ) , we apply a version of the fem as described below in sections [ sec:5.1 ] , [ sec:5.2 ] .      following @xcite we discretize in computations our bounded domain @xmath4 by an unstructured tetrahedral mesh @xmath182 using non - overlapping tetrahedral elements @xmath183 .
the elements @xmath184 are such that @xmath185 , where @xmath186 is the total number of elements in @xmath2 , and @xmath187we associate with the mesh @xmath182 the mesh function @xmath188 as a piecewise - constant function such that @xmath189where @xmath190 is the diameter of @xmath184 which we define as the longest side of @xmath184 .
we impose the following shape regularity assumption of the mesh @xmath182 for every element @xmath191 @xmath192where @xmath193 is the radius of the maximal sphere contained in the element @xmath184 .
define the set of polynomials @xmath194 as @xmath195we introduce now the finite element space @xmath196 as @xmath197where @xmath198 denotes the set of linear functions on @xmath184 defined by ( polynom ) for @xmath199 .
hence , the finite element space @xmath196 consists of continuous piecewise linear functions in @xmath2 . to approximate functions @xmath200 we introduce the space of piecewise constant functions @xmath201
, @xmath202where @xmath203 is the piecewise constant function on @xmath184 defined by ( polynom ) for @xmath204 .      to compute the function @xmath205 from ( [ 3.105 ] ) , we formulate the finite element method for the problem ( [ 3.106])-([3.107 ] ) as : find the function @xmath206 for the known function @xmath207 such that @xmath208where @xmath209 is the scalar product in @xmath210 .
we expand @xmath211 in terms of the standard continuous piecewise linear functions @xmath212 in the space @xmath196 as @xmath213where @xmath214 denote the nodal values of the function @xmath211 at the nodes @xmath215 of the elements @xmath184 in the mesh @xmath182 .
we can determine @xmath214 by knowing already computed functions @xmath216 using the following analog of ( [ 3.104 ] ) @xmath217 , \forall \mathbf{x}\in \omega .\]]substitute ( [ 3.200 ] ) into ( [ 3.107_1 ] ) and choose @xmath218 then we obtain the following linear algebraic system of equations @xmath219 , \label{3.108}\]]where @xmath220 $ ] is the scalar product in @xmath221 the system ( [ 3.108 ] ) can be rewritten in the matrix form for the unknown vector @xmath222 and known vector @xmath223 as @xmath224here @xmath225 is the block mass matrix in space , @xmath226 is the stiffness matrix corresponding to the term containing @xmath227 in ( [ 3.108 ] ) and @xmath228 is the load vector . at the element @xmath184 the matrix entries in ( [ 3.108_1 ] ) are explicitly given by : @xmath229    to obtain an explicit scheme for the computation of coefficients @xmath205 , we approximate the matrix @xmath225 by the lumped mass matrix @xmath230 in space , i.e. , the diagonal approximation is obtained by taking the row sum of @xmath225 @xcite .
we obtain @xmath231note that for the case of linear lagrange elements which are used in our computations in section [ sec:8 ] we have @xmath232 .
thus , the lumping procedure does not include approximation errors in this case .
we present now our algorithm for the numerical solution of equations ( 4.21 ) and computing the functions @xmath205 using the equation([3.109 ] ) . in this algorithm
the index @xmath233 denotes the number of inner iterations inside every pseudo - frequency interval @xmath234 when we update tails .
step 0 : :    set @xmath235 .
compute the initial tail function    @xmath236    as in ( 2.923)-([2.925 ] ) .
step 1 : :    here we describe iterations which update tails inside every    pseudo - frequency interval @xmath155 .
let @xmath237 suppose that functions @xmath238    are computed . solve the dirichlet boundary value problem for the    function    @xmath239    @xmath240 step 2 : :    compute functions @xmath241 and    @xmath242    @xmath243@xmath244 .\ ] ] step 3 : :    compute the function    @xmath245 via backwards    calculations , using the finite element formulation of equation    ( [ 3.109 ] ) as    @xmath246since    by ( [ 2.20 ] ) we should have    @xmath247    and also since we need to extend the function    @xmath248    outside of the domain @xmath2 by unity , we set    @xmath249 step 4 : :    solve the forward problem ( [ 2.1])-([2.2 ] ) with    @xmath250    and compute the laplace transform ( [ 2.6 ] ) for @xmath251 .
we    obtain the function    @xmath252 .
step 5 : :    update the tail function    as@xmath253continue    inner iterations with respect to @xmath233 until the stopping    criterion of step 1 of section [ sec:6.2 ] is met at    @xmath254 .
step 6 : :    set for the pseudo - frequency interval @xmath255    @xmath256 step 7 : :    if either the stopping criterion with respect to @xmath257 of    step 4 of section [ sec:6.2 ] is met , or @xmath258 then set the    resulting function @xmath259 as    the solution of our cip . otherwise , set @xmath260 and go to    step 1 .
when testing the algorithm of section [ sec:6.1 ] on experimental data , we have developed a reliable stopping criterion for iterations @xmath261 in this algorithm . on every pseudo - frequency interval @xmath155 we define first norms  @xmath262 as @xmath263 in ( [ first_norms ] ) the function @xmath264 is the computed tail functions at the inner iteration @xmath265 as in ( [ 7.104 ] ) .
functions @xmath266 in ( [ first_norms ] ) are obtained from the known measured function @xmath26 in ( [ 2.5 ] ) as @xmath267where @xmath268 is the laplace transform of the function @xmath26 at @xmath269 .    we have observed that computed first norms  @xmath262 always achieve only one minimum at a certain @xmath270 , where the number @xmath271 depends on the specific set of experimental data .
furthermore , in non - blind cases of non - metallic targets , the corresponding values of @xmath272 were in a good agreement with a priori known ones .
however , in the cases of non - blind metallic targets we have observed that @xmath273 this contradicts with ( [ 2.51 ] ) .
therefore , we have developed the following stopping criterion which consists of four steps .    * the stopping criterion *    the first step in our criterion is for stopping inner iterations with respect to @xmath233 in step 5 of section [ sec:6.1 ] .
as to steps 2 - 4 , they are for stopping outer iterations with respect to @xmath257 ( step 7 in section [ sec:6.1 ] ) .
first , we define numbers @xmath274 and @xmath275 as@xmath276@xmath277 in ( [ 7.6_1 ] ) functions @xmath278 are computed tail functions corresponding to @xmath279 ( step 6 in section [ sec:6.1 ] ) and functions @xmath280 are calculated using ( [ obstail ] ) .
* * step 1 . * iterate with respect to @xmath233 and stop iterations at @xmath281 such that@xmath282or @xmath283 where @xmath284 is a chosen tolerance . *
* for every @xmath257 * *  * * compute final norms  @xmath285 as @xmath286 in ( [ final_norms ] ) functions @xmath287 are computed as in ( [ 7.104 ] ) . * * step 3*. compute the number @xmath288 of the pseudo frequency interval such that the first norms @xmath262 in ( [ first_norms ] ) achieve its first minimum with respect to @xmath257 and get corresponding @xmath289 on this interval . compute the number @xmath290 of the pseudo frequency interval such that the final norms @xmath291 in ( [ final_norms ] ) achieve its first minimum or they are stabilized with respect to @xmath257 , and get corresponding @xmath292 on this interval .
next , compute the number @xmath293 @xmath294 * * step 4*. if @xmath295 or @xmath296
then take the final reconstructed value of the refractive index @xmath297 as the computed function @xmath298 take @xmath299 and stop iterations .
however , if @xmath300 then continue iterations and compute the number @xmath301 $ ] of the pseudo frequency interval such that the global minimum with respect to @xmath257 of final norms @xmath285 in ( [ final_norms ] ) is achieved .
then , similarly with ( [ 7.7 ] ) , compute the number @xmath302 @xmath303and take @xmath304 as the final reconstructed value of the refractive index .
also , take the function @xmath305 as the computed coefficient @xmath24 and stop iterations .
we have observed in all our computations that conditions of our stopping criterion are always achieved .
more precisely , one of conditions ( [ 7.5 ] ) , ( [ 7.5_1 ] ) is always achieved for iterations with respect to @xmath233 and the minimal values mentioned in steps 3 and 4 are always achieved .
figure [ fig : finalnorms ] displays a typical @xmath306dependence of sequences @xmath307and @xmath308
in this section we present some additional details of our numerical implementation . because of ( [ 2.51 ] )
, we define in all our tests the upper value of the function @xmath309 as @xmath310 see ( [ 2.20 ] ) . thus , we set lower and upper bounds for the reconstructed function @xmath311 in @xmath3 as @xmath312 \}.
\label{4.30}\]]as to the lower bound , we ensure it via ( [ 7.101 ] ) .
we ensure the upper bound 15 similarly via truncating to 15 those values of @xmath313 which exceed this number .
to solve dirichlet boundary value problems ( [ 7.102 ] ) , we use fem .
we reconstruct refractive indices rather than dielectric constants of material since they can be directly measured .    to compare our computational results with directly measured refractive indices @xmath314 of dielectric targets and with appearing dielectric constants of metallic targets ( see ( [ 2.51 ] ) ) , we consider maximal values of computed functions @xmath315 , @xmath316 see step 4 of section [ sec:6.2 ] for the definition of @xmath317 using experimental data for non - blind targets and comparing reconstruction results with cases of synthetic data , we have found that our algorithm provided accurate results with the following pseudo frequency interval , which we use in all our computations @xmath318,\underline{s}=8,\overline{s}=10,h=0.05.\ ] ]      as it is clear from step 4 of section [ sec:6.1 ] , we need to solve the forward problem ( [ 2.1 ] ) , ( [ 2.2 ] ) on each iterative step of inner iterations to update the tail via ( [ 7.103 ] ) .
since it is impossible to computationally solve equation ( [ 2.1 ] ) in the infinite space @xmath319 we work with a truncated domain .
namely , we choose the domain @xmath226 as @xmath320 we use the hybrid fem / fdm method described in @xcite and the software package waves @xcite .
we split @xmath226 into two subdomains @xmath321 and @xmath322 so that @xmath323 .
we solve the forward problem in @xmath226 and the inverse problem via the algorithm of section [ sec:6.1 ] in @xmath324 the space mesh in @xmath325 and in @xmath322 consists of tetrahedral and cubes , respectively .
below @xmath326 since by ( [ 2.20 ] ) @xmath33 in @xmath327 then it is computationally efficient to use fdm in @xmath322 and to use fem in @xmath328 as it is done in the hybrid method of @xcite .
the front and back sides of the rectangular prism @xmath226 are @xmath329 and @xmath330 , respectively .
the boundary of the domain @xmath226 is @xmath331 here , @xmath332 and @xmath333 are , respectively , front and back sides of the domain @xmath226 , and @xmath334 is the union of left , right , top and bottom sides of this domain .
the front side @xmath22 of the rectangular prism @xmath2 where the propagated data @xmath60 in ( [ 2.5 ] ) are given , is @xmath335 now we describe the forward problem which is used in our computations . to compute tail functions @xmath336 via steps 4 , 5 of the algorithm of section [ sec:6.1 ] , we computationally solve the following forward problem in our tests : @xmath337 , \\
{ n}u & = -\partial _ { t}u,~\mbox{on}~\partial _ { 1}g\times ( t_{1},t ) , \\ \partial _ { n}u & = -\partial _ { t}u,~\mbox{on}~\partial _ { 2}g\times ( 0,t ) ,
\\ \partial _
{ n}u & = 0,~\mbox{on}~\partial _ { 3}g\times ( 0,t ) , \end{split } \label{8.2}\]]where @xmath338 is the amplitude of the initialized plane wave , @xmath339we use @xmath340 and @xmath341 we solve the problem ( [ 8.2 ] ) using the explicit scheme with the time step size @xmath342 which satisfies the cfl condition .
our reconstruction procedure is done in two stages described in this section .      in the first stage
we follow the algorithm of section [ sec:6.1 ] .
we have observed that this stage provides accurate locations of targets of interest .
it also provides accurate values of refractive indices @xmath343 of dielectric targets and large values of appearing dielectric constants @xmath344 for metallic targets , see ( [ 7.7 ] ) and ( [ 7.8 ] ) .
however , the algorithm of section [ sec:6.1 ] does not reconstruct well sizes / shapes of targets .
thus , we need a postprocessing procedure , which is done in the second stage .
let @xmath345 be the function in ( 7.101 ) .
then we set @xmath346next , we determine minimal @xmath347 and maximal @xmath348 values in @xmath53 and @xmath54 directions , where the function @xmath349 next , we set@xmath350 , y\in \left [ y_{\min } , y_{\max } \right ] , \\   1 &
\text { otherwise}\end{cases}\]]and proceed with step 5 of the algorithm of section [ sec:6.1 ] . in this second stage
we perform the same number of iterations with respect to both indices @xmath351 as ones of the first stage .
we are concerned in the second stage only with sized and shapes of targets , and we are not concerned with values of @xmath352 rather , we take these values from the first stage .
let @xmath353 be the function @xmath24 obtained at the last iteration of the second stage .
then we form the image of the target based on the function @xmath354@xmath355    .__object names . _ _ [ cols="^,<,<",options="header " , ]
we collected experimental backscattering time resolved data of electrical wave propagation and have applied the approximately globally convergent numerical method of @xcite to these data .
results for four non - blind and seven blind cases show a good accuracy of reconstruction of refractive indices of dielectric targets and appearing dielectric constants of metallic targets . in the case of dielectrics ,
the average reconstruction error is at least three times less than the error of direct measurements .
we confidently differentiate between metallic and dielectric targets .
in particular , we have accurately computed maximal values of refractive indices / dielectric constants of three blind heterogeneous targets .
these targets represent simplified models of improvised explosive devices ieds , which are heterogeneous ones .
locations of targets and their sizes in @xmath356 directions are accurately reconstructed .
the most difficult cases of sizes in the @xmath46direction ( depth ) are well reconstructed in some cases .
in addition , shapes of some targets are well reconstructed in some cases .
we believe that a follow up application of the locally convergent adaptivity technique might improve reconstructions of shapes of targets .
the adaptivity takes the solution obtained by the approximately globally convergent method as the starting point for the minimization of the tikhonov functional on a sequence of adaptively refined meshes .
a significant refinement via the adaptivity was demonstrated in section 5.9 of @xcite for the case of transmitted experimental data , see figures 5.13 and 5.16 in @xcite .
this research was supported by us army research laboratory and us army research office grants w911nf-11 - 1 - 0325 and w911nf-11 - 1 - 0399 , the swedish research council , the swedish foundation for strategic research ( ssf ) through the gothenburg mathematical modelling centre ( gmmc ) and by the swedish institute , visby program .
the authors are grateful to mr .
steven kitchin for his excellent work on data collection .
l. beilina , k. samuelsson and k. ahlander , efficiency of a hybrid method for the wave equation . in _
international conference on finite element methods _ , gakuto international series mathematical sciences and applications , gakkotosho co. , ltd , 2001 .
l. beilina and m.v .
klibanov , a new approximate mathematical model for global convergence for a coefficient inverse problem with backscattering data , _ j. inverse and ill - posed problems _ , 20 , 513 - 565 , 2012 .
l.  beilina , energy estimates and numerical verification of the stabilized domain decomposition finite element / finite difference approach for the maxwell s system in time domain , _ central european journal of mathematics _ , 11 , 702 - 733 , 2013 .
kuzhuget , l. beilina , m.v .
klibanov , a. sullivan ,  l. nguyen and m.a .
fiddy , blind experimental data collected in the field and an approximately globally convergent inverse algorithm , _ inverse problems _ , 28 , 095007 , 2012 .
n.  t. thnh , l.  beilina , m.  v. klibanov , and m.  a. fiddy .
reconstruction of the refractive index from experimental backscattering data using a globally convergent inverse method , preprint , arxiv:1306.3150 [ math - ph ] , 2013 .