the purpose of this work is to describe some aspects of the dynamics of homogeneous three - dimensional incompressible fluids .
the evolution of such fluids is governed by the euler equations @xmath0 where @xmath1 and @xmath2 denote the velocity and the vorticity of the fluid .
we shall focus on fluids in which remarkable structures , called vortex filaments , are present .
a vortex filament is a very thin tube in which the vorticity is sharply concentrated
. it can be asymptotically assimilated to a curve @xmath3 in @xmath4 , where @xmath5 denotes the time and @xmath6 the arc - length parameter . according to a suitable formal derivation , which will be described in the next section , the asymptotic motion law of the curve is the binormal flow @xmath7 equation exhibits a rich variety of motions , which will be presented in section [ sec : one - filament ] below .
particular attention will be payed to motions generating a singularity in finite time .    on the other hand ,
special solutions of the binormal flow are given by the infinite straight filaments .
up to a rotation , we can assume that there are parallel to the @xmath8axis so that they can be parametrized as @xmath9 for some fixed @xmath10 , where @xmath11 can be also seen as an arc - length parameter .
of interest is the evolution of perturbations of such straight filaments , namely the nearly parallel vortex filaments , which are parametrized by @xmath12 where @xmath13 is small .
it turns out that linearization about leads to the linear one - dimensional schrdinger equation for @xmath14 @xmath15 next , we wish to investigate the dynamics of several vortex filaments that are all nearly parallel to the same @xmath8axis .
we consider a collection of @xmath16 filaments , which are represented by the complex - valued functions @xmath17 , with @xmath5 and @xmath11 . in 1995 ,
klein , majda and damodaran @xcite derived , in a suitable asymptotic regime , a system of coupled equations for the filament positions @xmath18 @xmath19 here @xmath20 corresponds to the circulation of the @xmath21th filament , and the parameter @xmath22 is related to the core structure of the filament . in particular , in the case where the vortex filaments are all exactly parallel , i.e. if @xmath23 does not depend on @xmath24 , the previous system reduces to a two - dimensional system of ordinary differential equations for the positions @xmath25 @xmath26 this system is called point vortex system or kirchhoff law , and it has been intensively studied in the literature .
we observe that the system combines two different aspects of the dynamics . on the one hand
, the linearized self - induced motion of each filament already expressed in the equation  is represented through the schrdinger operator . on the other hand ,
the interaction of the @xmath21th filament with the other filaments is represented by the potential field @xmath27 , which corresponds to the velocity generated by the other filaments . ] . for straight filaments
there is no self - induced motion , which means that each filament moves only with the velocity induced by the other filaments according to  exactly as for planar vortices , see section [ sec : point ] hereafter . the fact that both effects are taken into account
in is really due to the asymptotic conditions chosen for the derivation , which relate the wavelength of perturbations , the core sizes and the separation distances between the vortex tubes in a particular way .
since the system is thought to be a simplified model for the dynamics of filaments , a first natural issue is the existence and uniqueness of solutions .
the potential fields are not well - defined at points when two or more filaments collide in finite time .
one possibility is to consider weak distributional solutions , allowing possibly for exceptional collisions , and for which the potential is well - defined almost - everywhere ( see section [ sec : filaments ] ) .
but then uniqueness is not achieved in this class .
therefore , we will focus on a class of stronger solutions , for which the filaments are well - separated up to the largest time of existence of the system .
hence the largest time of existence corresponds to the first collision time in this framework .
it should be mentioned that , even for the simpler situation of straight filaments ( the point vortex system ) , collisions in finite time are known to occur for some initial configurations ( see section [ sec : point ] ) .
therefore we can not hope for global existence in general .
we shall determine sufficient conditions on the initial collection of vortex filaments that lead to large time or global existence , and we shall also study the case of finite - time collapses .    the remainder of this work is organized as follows . in section [ sec : one - filament ] we present the formal derivation of the binormal flow for the motion of one single filament and we describe some of its remarkable properties .
in particular we review the recent results on singularities for self - similar and almost self - similar solutions of , as well as for their perturbations .
section [ sec : point ] contains a brief state - of - the - art concerning the point vortex system , as an introduction to the more complicated dynamics of almost parallel vortex filaments .
then , section [ sec : filaments ] gives an overview of existence and uniqueness results concerning the system .
in particular , we present some recent results from @xcite on symmetric configurations of vortex filaments .
we conclude by providing several and simple examples of finite - time collapses of vortex filaments .
the collapses are of different nature , and some of them are new .    *
notations*. in the following we will systematically identify complex numbers and real vectors . in particular , introducing the matrix @xmath28 we shall identify the @xmath29-vector @xmath30 and the complex @xmath31 .    *
acknowledgements*. the first author is partially supported by the anr project `` r.a.s . '' .
both authors are grateful to vincent torri for his support in using scilab .
in this section we briefly present classical facts about the local induction approximation and about the binormal flow , as well as recent results of singularity formation in finite time . for parts of this description
the reader may also consult the book @xcite and the surveys @xcite and @xcite .
we shall start with a short description of the way the binormal flow equation was find as a model for vortex filaments dynamics in a three - dimensional ideal incompressible fluid .
a fluid with a vortex filament is a fluid where the vorticity @xmath32 is a singular measure supported along a curve @xmath33 , which is parametrized by arc - length parameter @xmath34 , and with density @xmath35 . here
@xmath36 denotes the constant circulation along the filament . as a consequence of kelvin
s circulation law vortex filaments move with the flow , so in order to get the dynamics of the vortex curve @xmath33 we have to compute the velocity of the fluid near the curve .
the three - dimensional biot - savart kernel is @xmath37 so the velocity of the fluid is @xmath38 we fix @xmath39 , we suppose without loss of generality that @xmath40 and we get focused on what is happening for the velocity of the fluid near @xmath41 . for this purpose ,
two localizations are done , one is that @xmath3 will be approximated by a taylor development of order 2 near @xmath42 and the other is that the integral has to be considered only locally around @xmath42 , on a segment @xmath43 $ ] .
we obtain that @xmath44 is approximated by @xmath45 when @xmath46 , the first term is diverging but in the same way the velocity does around one straight vortex filament .
one straight vortex filament remains still in a fluid , so this first contribution should not influence the dynamics of one single vortex filament @xmath33 . finally , even after localization , the integral in the last term is still diverging as @xmath47 .
a time rescaling allow to resorb this growth and then the binormal flow @xmath48 appears as an approximation for the dynamics of vortex filaments , called local induction approximation .
it was discovered by da rios @xcite in 1906 and re - lightened by arms and hama @xcite in 1965 .
however the rigorous derivation of from the euler equations , and in fact even the question of the stability of the vortex filaments , are open .
being a crude model , the binormal flow has advantages and disadvantages .
the positive points are the fact that special solutions as straight lines , translating circles , helices are on the one hand solutions of the binormal flow and on the other hand these dynamics are observed in fluid dynamics .
this way other special solutions of the binormal flow may give some intuition for particular type of vortex filaments in fluids . a successful example in this direction are the traveling type solutions of the binormal flow found in @xcite and displayed in an fluid experiment @xcite . also , the binormal flow is accessible for numerics .
one of the main issues of the l.i.a .
is that closed curves conserve their lengths under the binormal flow which is not the case for closed vortex filaments in fluids .
the binormal curvature flow also appears in the context of superfluids that are governed by the gross - pitaevskii equation @xmath49 more precisely , is conjectured to govern the asymptotic dynamics of codimension-@xmath50 submanifolds around which the jacobians of the solutions to ( a rescaled version of ) concentrate .
this was proved in any dimension @xmath51 in the special case of the @xmath52-dimensional sphere @xcite . in a parallel setting ,
mean curvature flow governs the vortex dynamics for parabolic ginzburg - landau equation @xcite . the fact that vortex filaments exhibit a common asymptotic motion law in fluids and superfluids results from a fundamental analogy between and the euler equations in such regimes .
more precisely , the madelung @xcite transform @xmath53 , as long as @xmath14 does not vanish , yields a compressible euler type system for the variables @xmath54 and @xmath55 .
it is called hydrodynamical form of and it reduces formally to the incompressible euler equations for @xmath56 in the above - mentioned singular limit of .
further details may be found in the recent survey @xcite and in references quoted therein .
the binormal flow is a rich geometric equation .
it is a completely integrable system . in the following
we shall denote curvature and torsion of a solution of by @xmath57 and @xmath58 .
some remarkable conserved quantities of the binormal flow are the kinetic energy @xmath59 , helicity @xmath60 , linear momentum @xmath61 , angular momentum @xmath62 .
it is a reversible in time equation , invariant with respect to translations and rotations .
the tangent vector @xmath63 of a solution of the binormal flow satisfies the schrdinger map equation @xmath64 which plays an important role in ferromagnetism as a simplification of the landau - lifschitz equation .
let us present now the link with the schrdinger equation .
as mentioned in the introduction , the linear schrdinger equation can be obtained easily as a rough approximation of the binormal flow .
this can be seen by plugging in the ansatz @xmath65 to leading order when @xmath66 , we obtain that @xmath67 is a solution of the linear schrdinger equation .
it was in 1972 that hasimoto @xcite has discovered the link between the binormal flow and the cubic one - dimensional nonlinear schrdinger equation .
the so - called filament function constructed from curvature and torsion of a solution of , @xmath68 satisfies the 1-d cubic nls @xmath69 with @xmath70 in terms of curvature and torsion @xmath71 .
more precisely , @xmath72 which might be seen as a compatibility condition .
let us notice that the hasimoto transform can be seen as an inverse of madelung s transform - actually curvature and torsion satisfy an euler with quantum pressure type of system .
one can remark that the non - vanishing of the curvature appears as a constraint .
nevertheless , koiso gave in @xcite a way to avoid this issue by using , instead of frenet frames , parallel frames @xmath73 that satisfy @xmath74 then @xmath75 is a solution of 1-d cubic nls . for details of this kind of hasimoto
transform we refer to appendix a of @xcite . as a conclusion , up to a change of phase
, the filament function satisfies the 1-d cubic nls .    by using the hasimoto
transform the first local well - posedness results were obtained for the binormal flow - curvature and torsion were considered in high order sobolev spaces , see @xcite .    a recent result of local well - posedness for the binormal flow , for less regular closed curves ,
was obtained by jerrard and smets @xcite by considering a weak version of the binormal flow .
their method acts at the level of the tangent of the curve and it does not use the hasimoto transform . also , they have derived this way new results for the schrdinger map equation .
as far as we have seen , there exists a number of intimate relations between the evolution of filaments in fluids and dispersive equations .
we end this subsection by discussing other similar connections . in order to improve the validity of the binormal flow as a model for vortex filaments dynamics , an extended version of
was considered by fukumoto and miyazaki @xcite , which includes an axial flow along the filament , @xmath76 here @xmath77 denotes the magnitude of the axial flow .
the hasimoto transform leads then to the so - called hirota equation @xmath78 which is in link both with nls and the modified kdv equation ( see @xcite for the initial derivation of this equation ) .
it actually turned out that the modified kdv equation appears as a model for the evolution of the curvature of a vortex patch in a two - dimensional fluid @xcite , see also @xcite for more details and for self - similar solutions of this model .
an interesting class of solutions that is not covered by the previous well - posedness results are the self - similar solutions of the binormal flow and their small and smooth perturbations . since solutions of are considered to be parametrized by arc - length , self - similar solutions
are of type @xmath79 it is then easy to compute that they form a family of solutions @xmath80 indexed by a real parameter @xmath81 and @xmath82 ( @xcite ) .
they have been studied in the last decades as a frictionless model for the evolution after a line - line reconnection in the absence of counterflow for superfluid 4he and in ferromagnetism @xcite .
they also appear , this time for finite length filaments with appropriate boundary conditions , in some models for the fiber architecture of aortic valve leaflets , see @xcite .
their rigorous mathematical study was achieved by gutierrez , rivas and vega , who gave in @xcite a description of the profile and in particular established that @xmath83}(s),\ ] ] with @xmath84 distinct , non - opposite and @xmath85 so self - similar solutions of the binormal flow are smooth infinite curves that generate a corner in finite time . in fluid mechanics , their dynamics
is close to the one of the delta - wing vortex . in @xcite numerical simulations for self - similar solutions of the binormal flow
were shown to be in correlation with the physical experiment .
another family of generating a singularity in finite time at the level of the frenet frame are the almost self - similar solutions @xmath86 where @xmath87 is a real @xmath88 antisymmetric matrix , see @xcite .
gutirrez and vega @xcite proved that @xmath89}(s).\ ] ] the curves at times @xmath90 are spirals , some of them with a singularity point , see @xcite for some numerical simulations .
both similar and almost self - similar solutions have self - similar curvature and torsion , so the filament function is also of type @xmath91 and has to solve @xmath92 therefore the data has to be homogeneous of degree @xmath93 .
the case of dirac distribution leads to the self - similar solutions of , and the principal value distribution to the almost self - similar solutions respectively .
the study of small and smooth perturbations of self - similar solutions was initiated by banica and vega @xcite from the point of view of the stability of the formation of the singularity .
the starting point of the analysis is the hasimoto transform : the filament function of the self - similar solutions @xmath80 is @xmath94 solution of . by the pseudo - conformal transformation @xmath95 understanding the behavior at time @xmath96 for perturbations of @xmath97 , solutions of , is equivalent to understanding the large time behavior for the equation @xmath98 a scattering theory has been developed in @xcite for this problem , by strongly relying on fourier analysis .
the informations on have been transported at the level of the binormal flow by treating differently the regions @xmath99 and @xmath100 . in order to discard the linear non - oscillating term ,
the asymptotic profile for @xmath101 has to be modified into the long - range one @xmath102    in @xcite it has been shown that wave operators exist , with a strong @xmath103 decay , for asymptotic profiles @xmath104 . by adding the extra - conditions @xmath105 and @xmath106 the existence of solutions of that develop a corner - type singularity at @xmath90 has been derived .
this insures that the formation of singularity in finite time appearing in the self - similar case is not an isolated phenomenon .
a similar result for the almost self - similar solutions of has been proved in @xcite .
asymptotic completeness with loss of regularity was then proved in @xcite , in spaces defined in terms of the behavior of the low fourier modes . at the level of the binormal flow
, this information has been translated into the fact that all small and regular perturbations at time @xmath107 of a self - similar solution @xmath80 still yield , after evolving by the binormal flow , a singularity at time @xmath90 .
finally , in @xcite we give a geometrical description of the curves at the singularity time by getting a control of the evolution of weighted norms for equation .
we prove the stability of the selfsimilar dynamics of small pertubations of a given selfsimilar solution , and in particular the fact that the angle of @xmath80 is recovered at time @xmath90 .
[ sec : point ]    this section is devoted to a short presentation of the point vortex system .
the reader may find the subsequent results as well as many additional details in the surveys @xcite and in references quoted therein .
the point vortex system arises as an asymptotic motion law for point singularities in two - dimensional incompressible fluids , which are governed by the incompressible euler equations , or superfluids , governed by the gross - pitaevskii equation .
in contrast with the three - dimensional case , the persistence of point vortices and the validity of the point vortex model have been established rigorously for well - prepared data , at least up to the first collision time between the vortices ( see @xcite for the euler equations and , e.g. , @xcite for the gross - pitaevskii equation ) .
system possesses an hamiltonian structure , since it has the form @xmath108 with the hamiltonian @xmath109 defined by @xmath110 as a consequence , we have the conservation of @xmath109 @xmath111 moreover , the point @xmath112 and the angular momentum @xmath113 are preserved in time .
if @xmath114 , we define the constant center of vorticity @xmath115 it follows that the quantity @xmath116 is constant as well .
a direct consequence of the previous conservation laws is that , in case of circulations @xmath117 all having the same sign , no collision between the vortices can occur in finite time and the @xmath51-vortex system admits a unique and global solution .
it is well - known that the point vortex system admits particular solutions that keep the geometric shape of the polygon formed by the vortex positions . to describe these solutions
we shall adopt the following definitions from , e.g. , @xcite : we say that the configuration @xmath118 is    @xmath119 a fixed equilibrium if @xmath120 , @xmath121 ;    @xmath119 rigidly translating if , for all @xmath39 , there exists @xmath122 such that @xmath123 , @xmath121 ;    @xmath119 a relative equilibrium if there exists some @xmath124 and for all @xmath39 , there exists @xmath125 such that @xmath126 , @xmath121 ;    @xmath119 a self - similar ( or homographic ) motion if there exists some @xmath124 and for all @xmath39 , there exists @xmath127 , with @xmath128 , such that @xmath129 , @xmath121 .
note that in the first three cases both the shape and the size of the polygon formed by the points are preserved , since the motion is a translation in the second case and a rotation with angular velocity @xmath130 in the second case . in the case of homographic motion the configuration at time @xmath39 is obtained from the initial one by a rotation and a dilation .
more precisely , it must satisfy @xmath131 , where the reals @xmath132 and @xmath133 are determined in terms of @xmath134 . when @xmath135 , which actually corresponds to the case @xmath136 , the configuration shrinks and collapses into the center of vorticity @xmath137 at time @xmath132
. otherwise we have @xmath138 , i.e. @xmath139 and the configuration expands in time .
for @xmath140 the distance @xmath141 remains constant therefore the solution is global .
the motion is a uniform rotation about the center of vorticity if @xmath142 , and a rigid uniform translation otherwise .
for @xmath143 the motion is integrable and has been widely investigated , see e.g. @xcite .
an important part of the analysis was initiated in 1877 by grbli @xcite in his phd thesis
. in particular grbli noticed that the @xmath144-vortex system can be entirely formulated in terms of the three distances between the vortices .
the motion can then be analyzed qualitatively through the use of trilinear coordinates and phase diagrams , see the work of aref @xcite .
there exists a large variety of regimes : fixed equilibria ( if @xmath145 ) , rigidly translating equilateral triangles ( if @xmath146 and @xmath147 ) , uniformly rotating equilateral triangles ( if @xmath148 and @xmath147 ) , collinear rotating or fixed configurations . also , self - similar ( shrinking or expanding ) collapsing configurations exist @xcite .
it turns out that the conditions @xmath149 and @xmath145 are both necessary and sufficient to obtain a self - similar expanding or shrinking motion , and this provides an effective and simple way to construct them explicitly . on the other hand ,
the linear stability of such motions has been investigated in , e.g. , @xcite .
we shall come back to these collapses in section [ subsec : filaments - collapse ] , where we will use them to construct collapsing filament solutions .
for @xmath150 the @xmath51-vortex problem is not integrable in general , but it still exhibits some remarkable solutions .
first well - known relative equilibria are given by the uniformly rotating configuration of @xmath51 identical vortices placed on the same line in a particular way , or , when @xmath51 is odd , by @xmath151 identical vortices and a central vortex of arbitrary circulation .
other relative equilibria are obtained by setting one vortex with same circulation @xmath152 at each vertex of a regular @xmath51 - polygon .
the motion is then a uniform rotation with constant angular velocity @xmath153 , where @xmath154 denotes the size of the polygon .
the problem of stability of these @xmath51-polygons was raised by thomson ( lord kelvin ) in the nineteenth century and has attracted much attention since then .
the full answer to thomson s question  that the regular @xmath51-polygon is stable if and only if @xmath155  was finally recently provided by kurakin and yudovitch @xcite .
one can get other uniformly rotating relative equilibria by adding to a regular @xmath51-polygon configuration one point of arbitrary circulation @xmath156 at the center of the polygon , in which case the angular velocity is @xmath157 . in particular , choosing @xmath158 one obtains a fixed equilibrium solution .
the stability of centered @xmath51-polygons has been proved to hold by cabral and schmidt @xcite for all @xmath51 provided the circulation @xmath156 lies in a suitable interval depending on @xmath51 .
in particular , the range of stability includes negative values of @xmath156 for @xmath159 .    finally , we mention that other relative equilibria can be constructed in the form of concentric rings of polygons with identical vortices
. the polygons may be not regular , and the rings may have different circulations ( heterogeneous rings ) .
relative equilibria of identical two - vortex or three - vortex rings have been determined by aref , newton , stremler , tokieda and vainchtein @xcite , and oneil @xcite constructed relative equilibria of heterogeneous three - vortex rings .
the existence of collapsing solutions for @xmath150 is a difficult issue . given a set of circulations such that @xmath160 for all @xmath161 , the set of initial configurations leading to a collapse in finite time has zero lebesgue measure in @xmath162 @xcite .
on the other hand , in general it is not known whether self - similar collapses exist .
necessary conditions for such motions are @xmath149 and @xmath163 , but , in contrast with the case @xmath143 , there are not sufficient .
nevertheless , some specific cases have been explored : four and five - vortex collapses were studied by novikov and sedov @xcite and collapses of two - vortex rings were constructed in @xcite .
collapsing configurations for infinite point vortex lattices are constructed by oneil in @xcite .
finally , @xcite exhibits self - similar collapses of heterogeneous three - vortex rings .
the objective of this paragraph is to review known existence results concerning the system , which have been established by klein , majda and damodaran @xcite and kenig , ponce and vega @xcite .
we also mention the work by zhakarov @xcite .
we recall the system supplemented by initial data @xmath164 : @xmath165        the hamiltonian @xmath167 the mean angular momentum @xmath168 and the mean center of vorticity @xmath169 they are the three - dimensional analogs of the notions of hamiltonian , angular momentum and center of vorticity for point vortices , which have been defined in section [ sec : point ] .
there is also conservation of the quantity @xmath170 which can be interpreted as a mean momentum .
nevertheless , the previous quantities may be not well - defined , not even formally .
actually , for general configurations of exactly parallel vortex filaments there are infinite . in the next section
we will bypass this difficulty by the use of renormalized quantities .
first rigorous results on vortex filaments were obtained by klein , majda and damodaran @xcite for pairs of filaments @xmath173 it may be convenient to introduce the new variables @xmath174 , @xmath175 and @xmath176 , @xmath177 .
then @xmath178    in @xcite ( see also @xcite ) only the case of identical vortex core parameters @xmath179 is considered . then for identical circulations
@xmath180 we get @xmath181 so can be decoupled into two equations for @xmath182 and @xmath14 .
the solutions have the general wave - like form @xmath183 where @xmath182 is any solution to the linear schrdinger equation , and where the parameters @xmath184 , @xmath185 and @xmath134 satisfy a consistency equality . on the other hand , for opposite circulations we have @xmath186 . by section
[ sec : point ] , the exactly parallel solution is given by a uniformly translating vortex pair . for nearly parallel filaments one looks for solutions with the same symmetry features , i.e. @xmath187 for all @xmath188 .
the equations then yield a coupled system of equations for the real variables @xmath189 and @xmath190 .    from a mathematical point of view
, one can also consider the case when @xmath191 .
it follows that @xmath181 so the equations are decoupled @xmath192 for identical circulations one retrieves the previous co - rotating filament pair . in the case of opposite circulations
, @xmath14 satisfies the linear schrdinger equation .
the linear stability of system , with @xmath179 , around the exactly parallel solution to the point vortex system is analyzed in @xcite .
linear instability occurs when @xmath193 , while linear stability holds for @xmath194 .
moreover , numerical computations predict global existence in the first case , and self - similar collapse in finite time in the second case .
so , in contrast with the @xmath50-dimensional setting ( pairs of vortex points ) , finite time collapses of two nearly parallel filaments might happen .
following zhakarov @xcite , klein , majda and damodaran suggested that such collapses should be well described by a class of self - similar solutions to the system .
also the equations could maybe provide a class of self - similar collapses . to our knowledge
, such constructions have not been rigorously achieved yet .
the next decisive results regarding were accomplished by kenig , ponce and vega @xcite in 2003 .
the article @xcite is presented in the survey @xcite . in @xcite ,
existence of vortex filaments in the form of @xmath195-perturbations of the exactly parallel solution @xmath25 is investigated with the ansatz @xmath196 note that , thanks to the sobolev embedding @xmath197 , the ansatz guarantees that the filaments are well - separated as long as the quantity @xmath198 is sufficiently small with respect to the distance between the point vortices @xmath25 . as long as this remains true ,
the @xmath199 solve a system of schrdinger equations with potentials that are lipschitz functions in the @xmath199 : @xmath200 this makes it possible in @xcite to obtain local well - posedness for for any @xmath51 , for any set of circulations @xmath117 , and for sufficiently small @xmath201 , and at least up to times of order @xmath202 , where @xmath203 is the first collision time between the point vortices .    on the other hand , kenig , ponce and vega @xcite obtained global existence for sufficiently small @xmath201 in the two following special cases : @xmath140 and @xmath194 , or @xmath143 and @xmath204 is the uniformly rotating equilateral triangle solution ( see section [ sec : point ] ) .
the proof of @xcite is based on the use of a suitable notion of energy .
we recall that for filaments given by the ansatz the quantities defined in  [ para : conserved ] do not make sense .
this is the reason why @xcite introduces the renormalized quantities @xmath205 note that in the framework of we have @xmath206 when @xmath207 .
moreover , in view of the properties of the point vortex system , the previous quantities are still formally preserved in time provided @xmath208 for all @xmath209 .
now , in the cases under consideration in @xcite the distances @xmath213 are constant in time and all the same .
therefore it turns out that @xmath214 is constant . on the other hand , for circulations having all the same sign it was noticed in @xcite that the sobolev embedding combined with the convexity inequality @xmath215 for @xmath216 $ ] imply coercivity for the energy : @xmath217 as long as the vortex filaments @xmath18 are not too far from the straight filaments @xmath218 .
finally , it can be easily seen that @xmath219 therefore in the cases of small @xmath195-perturbations considered in @xcite the energy is and remains small for all time , hence the vortex filaments remain well - separated for all time and global existence follows .
we stress that the vortex filaments constructed in this way remain uniformly close to the straight filaments for all time .
to conclude this section , we mention that lions and majda @xcite introduced and proved the global existence of `` very weak '' solutions to for any @xmath166 , identical circulations and identical vortex core parameters .
such solutions satisfy a weak formulation of with suitable test functions , there are @xmath220-periodic with respect to @xmath24 , they belong to @xmath221 and they have finite energy : @xmath222 .
actually , such a definition does not exclude the possibility of collisions , since the only information is that @xmath223 moreover , uniqueness in this class is not known .
we present now the results obtained recently in @xcite . in all the following
we will take identical vortex core parameters @xmath224 we start with a natural remark that should in part motivate the kind of perturbations we shall consider then . as we have seen in the previous sections , the dynamics of both systems and is complicated when @xmath51 becomes large , and in fact additional symmetry conditions are needed . in this paragraph , we shall first describe a local in time result that extends the one in @xcite to energy - type spaces .
we will turn then to the case of four filaments for which global results can be obtained without requiring too many symmetries on the perturbations . finally , for any @xmath16 we will present a global existence result for dilation - rotation - type perturbations of the regular n - polygon exactly parallel configuration . in this latter case
the perturbations , at any height @xmath24 , have a regular n - polygon shape .
moreover , traveling waves will be displayed in this setting .
we shall complete this subsection with another class of simple perturbations .    for a positive @xmath134
we define the energy @xmath225 the motivation for this definition will become clear in the next paragraphs
. recurrent tools in @xcite , which are partially inspired by @xcite ( in particular see and ) , are the following facts ( see lemmas 2.1-.2.3 in @xcite ) .    * if @xmath226 has small energy @xmath227 , then @xmath226 is close to @xmath228 , @xmath229 * if @xmath226 is small in @xmath230 norm and if @xmath39 small enough , @xmath231 * if @xmath232 then we can compare the energies : @xmath233 * if @xmath226 has small energy @xmath227 and @xmath234 is small in @xmath195 , then the energy @xmath235 is finite .
more precisely we have , for absolute numerical constants @xmath236 , @xmath237and @xmath238      as recalled in
[ subsec : results - filaments - before ] , local existence was proved in @xcite for for any @xmath166 and small @xmath195-perturbations @xmath239 .
the relevant energy functional in that setting is @xmath240 which has been defined in .
we assume next that all the circulations have the same sign , for example @xmath241 for all @xmath209 .
then the energy @xmath242 satisfies the properties listed above for each function @xmath243 .
it is then natural to consider the problem of perturbations with small energy as a single assumption .
on the one hand for small initial energy we obtain that @xmath244 is not too far from @xmath245 and that @xmath246 . on the other hand for @xmath247 small in @xmath195
it is easy to see that @xmath246 .
therefore the energy smallness assumption is weaker than the @xmath195 smallness assumption in general .
for example , it allows for a larger geometric class of perturbations , namely the small rotations .
indeed , take a rotation and translation type perturbation of the square configuration , @xmath248 with @xmath249 and @xmath250 .
it follows that @xmath251 while @xmath252 the idea to use the energy space rather than @xmath195 is also reinforced by the fact that in the setting of , that we shall see later to be related in some cases to the gross - pitaevskii equation , the @xmath253-norm of the solutions might grow in time while the energy remains controllable .
_ for an initial configuration @xmath256 with small energy , there exists @xmath257 and a unique solution @xmath258,h^1({\mathbb{r}}))^n$ ] to the system with @xmath259 and for @xmath260 sufficiently small such that @xmath261 _ the proof is based on finding a find a fixed point in the banach space @xmath262,h^1\right)^n,\quad \sup_{0\leq t\leq t } \|w(t)\|_{h^1 } \leq \frac{d}{4}\right\}\ ] ] for the operator @xmath263 defined by @xmath264 then the solution is given by @xmath265 notice here that we extend @xmath199 locally from a time @xmath132 not by a fixed point for perturbations of the initial data directly , but by a fixed point argument for small @xmath195 perturbations @xmath266 of the linear evolutions of the initial data .
we must use crucially the fact that the deviation @xmath267 can be upper - bounded in @xmath268 in terms of the energy at the initial time @xmath269 .
this is insured from the previous study of the gross - pitaevskii equation ( see lemma 3 in @xcite ) .
we recall the short proof : the fourier transform of @xmath267 can be written as @xmath270 , so the @xmath253 norm is bounded by @xmath271 and the @xmath230 norm is bounded by @xmath272 , i.e. @xmath273    as a consequence of the local in time result we obtain that the solution @xmath274 to exists as long as the energy @xmath275 remains small .
indeed note that on the one hand the norm @xmath276 can grow exponentially , but it can not blow up as long as the energy is sufficiently small . on the other hand ,
as long as the energy remains small , the filaments @xmath277 remain close the the straight ones @xmath25 , so no collapse occurs for .
[ [ n4-local - and - global - results - around - the - square - configuration ] ] @xmath278 , local and global results around the square configuration ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^        _ if @xmath284 is small enough , there exists an absolute constant @xmath285 , and there exists a time @xmath260 , with @xmath286 such that there exists a unique corresponding solution @xmath287 to on @xmath288 $ ] , satisfying @xmath289 , with @xmath290,h^1({\mathbb{r}})\right)$ ] , and such that @xmath291 , \quad \sigma\in { \mathbb{r}}.\ ] ] moreover , if the initial perturbation is parallelogram - shaped , namely @xmath292 then the solution @xmath287 is globally defined . _      the proof goes as follows .
in view of the local existence argument exposed in the previous subsection , the extension of a solution is ensured by the control of the energy . in this particular
setting of the square , direct computations lead to the formula @xmath293 if @xmath294 is a solution of then @xmath295 is also a solution .
so if the initial perturbation is a parallelogram like the one presented in figure [ parallelogram ] , it will remain so at later times , hence @xmath296 and global existence follows . on the other hand , for a perturbation without symmetry conditions the growth of @xmath297 up to time @xmath260
is controlled by a lengthy computation based crucially on the particular properties of the underlying square configuration @xmath279 .    finally , let us notice that one could try the same approach for other configurations @xmath279 .
explicit computations give for instance @xmath298 for @xmath143 and @xmath279 at the ends and the middle of the segment , and @xmath299 for @xmath300 and @xmath279 a regular hexagon .
nevertheless , these quantities have no reason to be conserved , unless the perturbations retain the same shape as @xmath279 , which enters precisely the framework of the next paragraph .    [
[ ngeq-2-global - results - for - regular - polygon - type - configurations ] ] @xmath16 , global results for regular polygon - type configurations ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^    in order to get global results for a large number @xmath51 of filaments , in @xcite symmetry conditions are imposed both on the straight filaments configuration and on the perturbations .
more precisely , we let @xmath279 be the regular @xmath51-polygon configuration , with or without its center , rotating with constant velocity @xmath134 and centered at the origin .
we consider filaments @xmath287 with equal circulations @xmath280 and of the type @xmath301 so in particular for any time @xmath39 and any height @xmath24 , the points @xmath302 form the same polygon as @xmath118 up to a rotation or / and dilation , see figure [ polygon ] .
a straightforward computation shows that if @xmath287 is a solution of then @xmath182 is a solution of @xmath304 eq . is an hamiltonian equation , with hamiltonian given by @xmath305 in our context , as we expect that @xmath287 are small nearly parallel perturbations of @xmath279 , we have @xmath306 , so that is formally similar to the already mentioned gross - pitaevskii equation @xmath307 with corresponding hamiltonian given by @xmath308 this formal comparison turns out to be valid : as we have reminded at the beginning of this subsection , when @xmath306 the energies @xmath309 and @xmath310 are comparable .
so our objective is now to solve globally the cauchy problem for the equation in the energy space , in the same spirit as previous works on , see @xcite .
_ for an initial data
@xmath313 with @xmath279 a regular polygon configuration , with or without its center , rotating with constant positive speed @xmath134 , and @xmath314 small , has a unique global solution of type such that @xmath315 and @xmath316 .
in particular , if @xmath317 then for all time @xmath318 , so the filaments @xmath287 remain nearly parallel . _    the proof is based on the transposition of the arguments presented in  [ local ] to the setting of .
we notice that @xmath319 since @xmath320 is conserved it follows that the corresponding local existence result for can be iterated and global existence is achieved .    in the third part of @xcite subsonic
traveling waves for are constructed , still under the condition @xmath311 .
more precisely , for @xmath321 sufficiently close to @xmath322 there exist solutions of of the shape @xmath323 with @xmath324 a smooth function of small energy , of even increasing modulus , exponentially increasing to @xmath228 as @xmath24 tends to @xmath325 .
moreover , @xmath326    these traveling waves are the equivalents objects of the grey solitons for the 1-d gross - pitaevskii equation .
the proof of the existence follows the approach in @xcite and @xcite .
the equation for the profile @xmath327 @xmath328 is a little more complicated than the one for the gross - pitaevskii equation which can be solved explicitly .
it is integrated in @xcite using the smallness assumption on @xmath329 .
as long as the energy is small , the modulus of @xmath330 stays close to @xmath228 and the nonlinearity in enters the frameworks of @xcite ( see also @xcite ) , so these traveling waves are orbitally stable .
also , the results in @xcite are valid and insure that there are no non - trivial supersonic traveling waves . finally , by reusing an argument from @xcite , we can transform these traveling waves in the following way .
system is galilean invariant , which means that for any real @xmath331 and any solution @xmath287 , the family @xmath332 is also a solution . by choosing @xmath333
we get as another solution of @xmath334 which represents a stationary @xmath335-twisted @xmath51-helix filament configuration with some localized perturbation traveling in time on each of its filaments .      as noticed in @xcite ,
if the perturbations are considered of the shifted form @xmath336 for any @xmath279 with @xmath117 all the same , it follows that @xmath337 must solve the linear schrdiger equation . for an initial data in @xmath338 , by using the dispersion inequality for the linear schrdinger equation it follows that the filaments remains separate globaly in time and the perturbations spread along the straight configuration @xmath279 . by considering less regular initial data one can get examples of perturbations @xmath337 decaying at infinity that lead to a @xmath268 dispersive blow - up for the linear schrdinger equation . for instance the homogeneous data @xmath339 with @xmath340 yields a self - similar linear schrdinger solution , smooth for positive times ( @xcite ) .
so this solution leads to solutions of blowing - up in @xmath268 in finite time at height @xmath341 .
recently an example of initial data in @xmath253 but not in @xmath338 that provides dispersive blow - up was given in @xcite .
more precisely , the solution with initial data @xmath342 with @xmath343 blows - up in finite time at one point .
this makes a second example of solutions of that blow up in finite time at a certain height but for which no collision occur .      in the last part of this paper
we describe configurations of nearly parallel filaments evolving towards collision in finite time .
most of them are new results .
they are based on perturbations of type of exactly parallel filament configurations @xmath279 .
therefore the collapse for the filaments @xmath287 solutions of is linked to solutions of , with modulus initially close to one , that vanish at least at one point in finite time .
so a pointwise control of solutions of is needed , which is quite unusual in the study of the schrdinger equation .
let us first notice that if @xmath344 leads to a collision in finite time , the shifted perturbations introduced in  [ shift ] , @xmath345 with @xmath346 in @xmath195 for instance , yield a collapse of the same kind .
so collapses are not isolated phenomena .
[ [ gaussian - collapses - about - a - stationary - regular - polygon - configuration ] ] gaussian collapses about a stationary regular polygon configuration ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^    we start by recalling the single collapse situation described in @xcite .
we let @xmath279 be the stationary regular @xmath51-polygon configuration , with circulation @xmath280 in the @xmath51 vertices of the polygon and circulation @xmath347 in its center ( see  [ section : vortexpoints ] ) .
note that this implies @xmath16 .
since the angular velocity is @xmath348 , it follows that @xmath182 is a solution of the linear schrdinger equation .
the evolution of a real gaussian @xmath349 by the linear schrdinger equation can be computed explicitly @xmath350 therefore we are insured that the non - vanishing initial condition @xmath351 yields a solution @xmath287 for the system , @xmath352 with @xmath353 , such that all filament collide together at time @xmath354 at @xmath355 .
figure [ gaussian - collapse ] displays such initial perturbations for @xmath140 around the stationary configuration @xmath356 with center at @xmath357 .      as a new observation , we can exhibit a similar scenario of collision for special perturbations of the previous data , namely for all initial data of type @xmath359 with @xmath346 small enough in @xmath338 and such that @xmath360 this is due to the fact that @xmath361 is then a solution of the system . in view of the dispersion inequality and the explicit formula for a linear schrdinger solution
, we have @xmath362 therefore we are insured that at initial time the filaments @xmath287 are separated and they collide at time @xmath354 at @xmath341 .
[ [ self - similar - collapses - about - a - stationary - regular - polygon - configuration ] ] self - similar collapses about a stationary regular polygon configuration ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^    again we consider @xmath279 to be the stationary regular polygon configuration , with circulations @xmath280 in the vertices of the polygon and circulation @xmath347 in its center .
this time we take advantage of the explicit self - similar solution of the linear schrdinger equation exhibited by cazenave and weissler @xcite .
the initial data considered there is @xmath363 with @xmath340 . by combining ( 3.2 ) , proposition 3.3 . and corollary 3.4 .
b ) of @xcite it follows that @xmath364 in particular we obtain the existence of two times @xmath365 such that @xmath366 therefore we consider as initial data the non - vanishing function @xmath367 it yields as a solution for @xmath368 which vanishes at time @xmath369 at @xmath341 .
moreover , proposition 3.7 . in @xcite
insures that @xmath370 belongs to some @xmath371 space , so we have indeed @xmath318 .
the purpose of this paragraph is to investigate the behavior of vortex filaments around a self - similar collapsing solution to the three - vortex problem .
we consider the one constructed in , e.g. , @xcite or @xcite .
the initial configuration is @xmath372 the sufficient collapse conditions @xmath163 and @xmath149 are both satisfied .
then if we denote by @xmath373 the corresponding center of vorticity , the configuration satisfies @xmath374 where @xmath375 the solution is explicitly given by @xmath376    as already mentioned , since the exact parallel solution @xmath204 collapses in finite time then any shifted perturbations of the form @xmath377 , for all @xmath378 , with @xmath379 , leads to collision at time @xmath380 ( see figure [ triangle - collapse ] ) .
we next look for other kinds of less trivial perturbations around the triangle collapse . as we did before in section [ subsec : filaments - symmetric ] , we look for a filament solution under the form @xmath381    from now on we will assume that @xmath382 then the equation for @xmath182 is @xmath383 so finally @xmath384 in the case of an equilateral uniformly rotating triangle we would have @xmath385 real and constant and we would retrieve eq . .
we rewrite as @xmath398 and observe that the discriminant in the numerator is negative for @xmath399 and positive for @xmath400 .
we are led to the study of different cases which exhibit different kinds of motion . from now on @xmath401 will denote a positive constant depending only on @xmath380 and @xmath77 , which can possibly change from one line to another .
we have @xmath402 .
it follows that @xmath403 and @xmath404 after finding @xmath405 in , and taking into account we obtain that the filament solution constructed this way satisfies : @xmath406 if @xmath407 , this means that a blow - up of the filament solution at each level @xmath24 , without collapse , takes place at time @xmath408 ( strictly before the occurrence of the three - vortex collapse if @xmath409 and exactly at the same time if @xmath410 ) . if @xmath411 , no blow - up nor collapse occurs for the filaments at the time @xmath412 of the three - vortex collapse .
actually the modulus of the filaments remain regular up to @xmath412 and only the angular velocity becomes singular at time @xmath380 .
we have @xmath420 .
then @xmath417 but @xmath421 ; therefore , @xmath422 is strictly contained in @xmath423 .
we conclude that the filament solution evolves toward the following self - similar collision in finite time : it exists up to time @xmath424 , collapses at each level @xmath24 at time @xmath425 and satisfies @xmath426 in particular the collision between the filaments takes place before the collision between the point vortices .      in the case of a uniformly rotating polygon ( see  [ subsec : filaments - symmetric ] ) we have @xmath428 is constant in time , real , so that the analog of is @xmath429 thus the corresponding filament solution is given by @xmath430 for some @xmath431 and @xmath432 .
it blows up at time @xmath412 but does not collide .
f. bthuel , p. gravejat and j .- c .
saut , _ existence and properties of traveling waves for the gross - pitaevskii equation _ , in `` stationary and time dependent gross - pitaevskii equations '' , a. farina and j .- c .
saut editors , contem . math . * 473 * 55104 , american mathematical society , providence , r.i . ,