
COMSOL Multiphysics Modeling Workshop 
Abstract: COMSOL will hold a free multiphysics modeling workshop on Wednesday, February 10.
See http://www.comsol.com/events/cmmw/9291/
for details. 
Yuri A. Antipov (Louisiana State University) 
Supercavitating flow in multiply connected domains 
Abstract: Mathematical models of cavitation in fluids and quick and accurate numerical predictions are
essential at different stages in the design process and the evaluation of performance and cavitation
patterns. A question of particular interest is how to extend the traditional hodograph method used
for simply connected flows to more complicated cavitation models. These models are nonlinear and
include flows in multiply connected Riemann surfaces. We present two approaches for the
construction of a conformal map from a canonical parametric domain into an nconnected Riemann
surface of supercavitating flow. The first approach works when n is not greater than 3, and the
canonical domain is the exterior of n slits along the real axis. The map is given by quadratures and
expressed through the solutions of two RiemannHilbert problems on a symmetric hyperelliptic
Riemann surface. The second method is applicable for any n, and the parametric domain is the
exterior of n circles. To reconstruct the map, it is required to solve two RiemannHilbert problems
for piecewise meromorphic, Gautomorphic functions (G is a Schottky group). This method leads to
a seriesform solution and does not need the solution to a Jacobi inversion problem (for the first
method, it cannot be bypassed). 
Joel D. Avrin (University of North Carolina  Charlotte) 
The spectrallyhyperviscous NavierStokes equations 
Abstract: We regularize the 3D NavierStokes equations with hyperviscosity of
degree alpha, but applied only to the high wavenumbers past a cutoff m;
for now we are on a periodic box. Attractor estimates stay within the
LandauLifschitz degreesoffreedom estimates even for very large m. An
inertial manifold exists for m large enough whenever alpha is at or
above 3/2. Galerkinconvergence and inviscidlimit results are optimized
for the high wavenumbers; the latter case is defined to mean that nu
goes to zero while the spectral hyperviscous term stays fixed.
Computational studies over many runs produce parameter choices that
facilitate closetoparallel agreement (over a goodsized portion of the
inertial range) with the Kolmogorov energyspectrum power law for high
(up to 10^{7}) Reynolds numbers.

Claude Bardos (Université de Paris VI (Pierre et Marie Curie)) 
Instabilities and energy conservation for the Euler equation 
Abstract: As an introduction to the workshop I will describe some basic old and new results about the Euler equation for incompressible inviscid fluids. I will focus one what can be learned from the example of the shear flow in 2d and 3d and one what are the consequences of the recent breakthroughs made first by Sheffer Shnirleman and then by De Lellis and Székelyhidi. 
J. Thomas Beale (Duke University) 
Numerical methods for interfaces and regularizing effects in difference equations 
Abstract: Keywords: NavierStokes flow, Stokes flow, boundary integral,
stiff equations, fractional stepping, immersed interface,
immersed boundary, semigroups of operators,
finite difference methods, parabolic equations, diffusion,
regularity, stability, Lstable, Astable, maximum norm
Abstract: We will discuss two related projects. Work with A. Layton has the goal
of designing a secondorder accurate numerical method for viscous fluid
flow with a moving elastic interface with zero thickness, the original
problem for which Peskin introduced the immersed boundary method. We
will discuss some of the background for such numerical
methods. In our approach, we decompose the velocity in
the NavierStokes equations at each time into a part determined by the
(equilibrium) Stokes equations, with the interfacial force, and a
"regular" remainder which can be calculated without special treatment
at the interface. For the "Stokes" part we use the immersed interface
method or boundary integrals; for the regular part we use the
semiLagrangian method to
advance in time. Simple test problems indicate secondorder accuracy
despite a firstorder truncation error near the interface, as has come
to be expected with certain interfacial methods. We will describe
analytical results which partially justify this expectation. For a
fully discrete parabolic equation, we have proved a
regularizing effect: If we solve a nonhomogeneous heat equation with a
finite difference method, with Lstable temporal discretization, using
large time steps, then the solution and its first differences are
bounded uniformly by the maximum of the nonhomogeneity, and the second
differences are almost bounded. The proof uses the point of view of
analytic semigroups of operators. 
Animikh Biswas (University of North Carolina  Charlotte) 
Spatial analyticity for the NavierStokes equations 
Abstract: Joint work with C. Foias.
We augment the (3d) NavierStokes system with an equation
governing the space analyticity
radius of the solutions and identify a suitable domain where
this equation is wellposed. This
allows us to study the maximal analyticity radius of the
(regular) solutions. We also obtain certain estimates of the analyticity radius of the
solution on the entire regularity interval. 
Diego Córdoba (Consejo Superior de Investigaciones Científicas (CSIC)) 
Active scalars convected by 2D incompressible nonlocal flow 
Abstract: Keywords: Darcy´s law, surface quasigeostrophic equation.
Abstract: Recent work with collaborators has been focused on understanding the
different features regarding wellposedness and regularity issues of the incompressible porous media and the surface quasigeostrophic equation. In this talk we will discuss solutions with infinite energy and contour dynamics of patches. 
Gregory L. Eyink (Johns Hopkins University) 
Vorticity & turbulence 
Abstract: One of the most characteristic features of turbulence in threedimensional incompressible fluids is enhanced energy dissipation.
Most attempts to explain this phenomenon appeal to the remarkable Lagrangian properties of vorticity for inviscid flows. I review some of the ideas that have been proposed, including vortex stretching, vortex
reconnection and crossstream vortex transport, especially in light
of recent work which suggests nonuniqueness of Lagrangian trajectories
in the limit of zero viscosity. 
Alessio Figalli (University of Texas) 
Variational models for incompressible Euler equations 
Abstract: Keywords: Incompressible Euler equations, Arnold
distance, Relaxation
Abstract: According to Arnold's interpretation, the Euler equations for
incompressible fluids can be seen as a geodesic equation in the space of
measure preserving diffeomorphism. Hence, one can look for solutions by
minimizing the geodesic action functional with fixed endpoints. Since this
problem is in general illposed, Brenier introduced at the end of the 80's
a relaxed version of Arnold's approach. The aim of the talk is to describe
some recent results on this problem.

Tobias Grafke (RuhrUniversität Bochum) 
High resolution simulations of the incompressible 3D Euler equations: A lagrangian perspective 
Abstract: Reacting to various new forms of lagrangian and local geometric
criteria for finite time blowup of the threedimensional
incompressible Euler equations (J. Deng, T. Hou and X. Yu
(2005), P. Constantin (2001)) numerical simulations are carried
out. High resolution is achieved by utilizing an adaptive mesh
refinement technique. Lagrangian tracer particles are injected
into the flow to analyze the evolution of both vortex lines and
the inverse flowmap. Preliminary results regarding relevant
blowup criteria are presented. 
Thomas Yizhao Hou (California Institute of Technology) 
On the singularity formation of a 3D model for Incompressible Euler and NavierStokes equations 
Abstract: Keywords: 3D incompressible NavierStokes equations,
finite time blowup, and global regularity,
and stabilizing effect of convection.
Abstract: We study the singularity formation of a recntly proposed 3D model
for the incompressible Euler and NavierStokes equations. This
3D model is derived from the axisymmetric NavierStokes equations
with swirl using a set of new variables. The model preserves
almost all the properties of the full 3D Euler or NavierStokes
equations except for the convection term which is neglected. If we add the convection term back to our model, we would recover the
full NavierStokes equations. We will present numerical evidence
which supports that the 3D model may develop a potential finite time singularity. We will also analyze the mechanism that leads to these singular events in the new 3D model and how the convection term in the full Euler and NavierStokes equations destroys such a mechanism, thus preventing the singularity from forming in a finite time. Finally, we prove rigorously that the 3D model develops finite time singularities for a large class of initial data with finite energy and appropriate bounadry conditions. This work may shed interesting light into the stabilizing effect of convection for 3D incompressible Euler and NavierStokes equations.

Mark Iwen (University of Minnesota) 
Interpolation with sparsity assumptions: From syphilis testing to sparse Fourier transforms 
Abstract: I will briefly discuss combinatorial group testing methods and their relationship to compressed sensing problems. As a result of this discussion, we will be able to develop a simple and efficient sparse Fourier transform method by group testing the Fourier spectrum of any periodic function of interest. Most importantly, we will see that the developed sparse Fourier transform method allows us to recover the Fourier transform of frequency sparse functions faster than a standard fast Fourier transform. New and improved error guarantees for the method will be presented, and potential future improvements discussed. 
Gautam Iyer (Stanford University) 
Stochastic Lagrangian particle systems for the NavierStokes and
Burgers equations 
Abstract: I will introduce an exact stochastic representation for certain
nonlinear transport equations (e.g. 3DNavierStokes, Burgers)
based on noisy Lagrangian paths, and use this to construct a
(stochastic) particle system for the NavierStokes equations. On any
fixed time interval, this particle system converges to the
NavierStokes equations as the number of particles goes to infinity.
Curiously, a similar system for the (viscous) Burgers equations
shocks in finite time, and solutions can not be continued past these
shocks using classical methods. I will describe a resetting
procedure by which these shocks can (surprisingly!) be avoided, and
thus obtain convergence to the viscous Burgers equations on long
time intervals. 
Robert M. Kerr (University of Warwick) 
The role of circulation in the collapse of ideal fluids 
Abstract: Keywords: Euler equations, quantum fluids
Abstract: Circulation is an often neglected conservation law in
developing
the mathematics of ideal fluids, meaning the classical 3D
Euler
equations and the quantum defocussing GrossPitaevskii
equations.
Recent Euler calculations demonstrated that the numerics
must conserve
circulation and when this is satisfied, it appears that
circulation
controls the growth of enstrophy in a manner consistent
with a
finitetime singularity of these equations.
In a quantum fluid the circulation, that is defects in
phase,
is inherently conserved. These equations allow
reconnection without
dissipation and without singularities.
Nonetheless, when compared with NavierStokes reconnection
there are
strong similarities, at least for a new NavierStokes
initial
condition which considers the role of circulation more
carefully.
Following reconnection in GP, waves form on vortex lines,
vortex
rings detach, and an inertial subrange develops, all in a
manner that
could explain experimental observations of the decay of
vortex line
length, a proxy for kinetic energy, despite the absence of
viscosity. 
Robert M. Kerr (University of Warwick) 
Dynamical constraints for 3D Euler and possible blowup 
Abstract: Coauthor Miguel D. Bustamante (UCD Dublin).
While characterization of singular behaviour of simulations of the Euler
equations using the localized spatiotemporal growth of the vorticity
modulus would be preferred, because numerical simulations are discrete,
this approach cannot reliably follow its position and value
at times and positions very close to the potential singularity.
With this paradigm in mind, the natural alternative is methods that
identify possible singular evolution in terms of global quantities
determined over suitablydefined areas and volumes of the dynamical system.
This poster presents methods based on the conservation of integrals
defined on symmetry planes of a commonly used class of initial
conditions. These are:
(i) strong tools designed to validate any numerical simulation,
irrespective of the conclusions on the potentially singular behaviour, and
(ii) sharp inequalities and exact results to estimate more precisely the
vorticity growth exponents in a blowup scenario. 
Ondřej Kreml (Charles University in Prague) 
Steady flow of the second grade fluid past an obstacle

Abstract: This is a
joint work
with Pawel Konieczny. We study the steady flow of a second
grade fluid
past an obstacle in 3D. Arising equations can be split into a
transport
equation and an Oseen equation for the velocity. We use the
theory of
fundamental solutions to the Oseen equation in weighted
Lebesgue spaces
together with results of Herbert Koch to prove the existence of
a wake
region behind the obstacle, i.e. a region where the solution
decays
slower to the prescribed velocity at infinity.

Ondřej Kreml (Charles University in Prague) 
Steady flow of a second grade fluid past an obstacle 
Abstract: Non blowup of the NavierStokes equations in a rotating frame with spatially almost periodic large data is considered. The Coriolis force appears in almost all of the models of oceanography and meteorology dealing with largescale phenomena. To consider such a problem, FM space is used, i.e. Fourier preimage of the space of all finite Radon measures with no point mass at the origin proposed by Giga, Inui, Mahalov and Matsui in 2005. Non blowup is proven by means of techniques of fast singular oscillating limits and bootstrapping from a globalintime unique solution to the extended 2DNavierStokes equations.We study the steady flow of a second grade fluid past an obstacle in 3D. Arising equations can be split into a transport equation and the Oseen equation for the velocity. We use the theory of fundamental solutions to the Oseen equation in weighted Lebesgue spaces together with results of Herbert Koch [1] to prove the existence of a wake region behind the obstacle, i.e. a region where the solution decays slower to the prescribed velocity at infinity. This is a joint work with Pawel Konieczny.
[1] H. Koch, Partial differential equations and singular integrals Dispersive nonlinear problems in mathematical physics, Quad. Mat. 15 (2004), 59122. 
Igor Kukavica (University of Southern California) 
On the partial regularity for solutions of the NavierStokes
system 
Abstract: A classical result of Caffarelli, Kohn, and Nirenberg states
that the one dimensional Hausdorff measure of singularities
of a suitable weak solution of the NavierStokes system is
zero. We present a short proof of the partial regularity
result which allows the force to belong to a singular Morrey
space. We also provide a new upper bound for the fractal
dimension of the singular set. 
Robert J. Lang (Robert J. Lang Origami) 
IMA Public Lecture: From flapping birds to space telescopes: the math of origami 
Abstract: The principles of origami, the centuriesold Japanese art of paperfolding, can be used to solve a wide range of folding problems, from how to compress an airbag into a steering wheel to how to design complex folding telescopes. These mathbased origami concepts are used in product development, architecture, and designs seen all around us. For example, the University of Minnesota's Weisman Art Museum is an origamiinspired structure. The speaker is an artist and a consultant who applies origami principles to engineering problems.

Zhiwu Lin (Georgia Institute of Technology) 
Two puzzles about Couette flows: Sommerfeld paradox and nonlinear inviscid damping 
Abstract: Keywords: Couette flow, Sommerfeld paradox, inviscid damping
Abstract: Couette flows are shear flows with a linear velocity profile. First, They are known to be linearly stable for any Reynolds number, but become turbulent for large Reynolds numbers (Sommerfeld, 1908). With Charles Y. Li, we proposed an explanation of this paradox by constructing unstable shear flows arbitrarily close to Couette flows, for both inviscid and slightly viscous cases. Such unstable shears are possible seeds for the turbulent behaviors near Couette flows, as also supported by numerical work. Second, starting from the work of Orr in 1907, the vertical velocity of the linearized Euler equations at Couette flows is known to decay in time. Such inviscid damping is open in the nonlinear level. With Chongchun Zeng, we constructed nonparallel steady flows arbitrarily near Couette flows in H^{1} norm of vorticity. Therefore, the nonlinear inviscid damping is not true in (vorticity) H^{1} norm. Moreover, we showed that in (vorticity) H^{2} neighborhood of Couette flows, the only steady structures (including traveling waves) are stable shear flows. This suggests that the long time dynamics near Couette flows in (vorticity) H^{2} space might be much simpler. We also obtained similar results for the problem of nonlinear Landau damping in 1D electrostatic plasmas.

Helena Nussenzveig Judith Lopes (State University of Campinas (UNICAMP)) 
On helical flows with little regularity: global
existence and vanishing viscosity 
Abstract: Keywords: Helical flow, swirl, vortex stretching, energy method, Delort type symmetrization
Abstract: Helical flows are flows which are covariant with respect to translation along helices. In recent work, B. Ettinger and E. Titi established global existence and uniqueness of helical flow solutions of the incompressible 3D Euler equations with bounded vorticity and no "helical swirl" (the component of velocity along helices). In earlier work, A. Mahalov, E. Titi and S. Leibovich had established wellposedness, in H^{1}, of viscous helical flows (solutions of the NavierStokes equations) with no restriction on helical swirl. Absence of helical swirl prevents vortex stretching, but, although a conserved quantity for Euler, it is not conserved by the NavierStokes evolution. In both sets of results, the fluid domain was a bounded, smooth, helical subset of R^{3}.
In this talk we will review these results and discuss the problem of taking the vanishing viscosity limit of helical flows with small, with respect to viscosity, helical swirl. We work with bounded domain flows, assuming Navier boundary conditions, but we discuss the fullspace problem as well. Our results assume that the flow has finite enstrophy. We also discuss an alternative way to obtain global existence of helical solutions of the 3D Euler equations, without helical swirl, with vorticity only in L^{p}, p>3/2.
The collaborators involved are Anne Bronzi, Quansen Jiu, Milton Lopes Filho and Dongjuan Niu.

Evelyn Manalo Lunasin (University of Arizona) 
Spectral scaling of the twodimensional NavierStokesα and Lerayα model of turbulence 
Abstract: The NavierStokesα model of turbulence is a
mollification of the NavierStokes equations in which the
vorticity is advected and stretched by a smoothed velocity
field. The smoothing is performed by filtering the velocity
field over spatial scales of size smaller than α. The
statistical properties of the smoothed velocity field are
expected to match those of NavierStokes turbulence for scales
larger than α.
For wavenumbers k such that kα»1,
corresponding to spatial scales smaller than α, there
are three candidate power laws for the energy spectrum,
corresponding to three possible characteristic time scales in
the model equations. The three
possibilities depend on whether the
time scale of an eddy of size k^{1} is determined by
(ku_{k})^{1}, (kv_{k})^{1}, or (k√
(u_{k},
v_{k}) )^{1}, where u_{_k} and
v_{k} are the
components of the filtered velocity field u and unfiltered
velocity field v, respectively, for wavenumber k.
Determining the actual
scaling requires resolved numerical simulations.
We measure the scaling of the energy spectra from
highresolution simulations of the twodimensional
NavierStokesα model, in the limit as
α→∞. The energy spectrum of
the smoothed
velocity field scales as k^{7} in the direct enstrophy
cascade regime, consistent with the dynamics dominated by the
time scale given by (k v_{k})^{1}. We are
thus able to
deduce that the dynamics of the dominant cascading
conserved quantity, namely the enstrophy of the rough velocity
v, determines the power law for small scales.
For the twodimensional Lerayα model, the time scale
given by (k√ (u_{k},
v_{k}) )^{1} is understood to
characterize the dynamics of the conserved enstrophy. Indeed,
our numerical simulation of this model gives a k^{5}
power
law in the enstrophy inertial subrange. This result supports
our claim regarding the characteristic time scale of the
twodimensional NSα model for wavenumbers kα»1.

Yasunori Maekawa (Kobe University) 
Three dimensional stability of the Burgers vortex 
Abstract: This is a joint work with Thierry Gallay. Burgers vortices are explicit
stationary solutions of the NavierStokes equations which are often used
to describe the vortex tubes observed in numerical simulations of
threedimensional turbulence. In this model, the velocity field is a
twodimensional perturbation of a linear straining flow with axial
symmetry. The only free parameter is the Reynolds number Re =
Γ/ν, where Γ is the total circulation of the vortex and
ν is the kinematic viscosity. We will show that the Burgers vortex is
asymptotically stable with respect to general threedimensional
perturbations, for all values of the Reynolds number. 
Alex Mahalov (Arizona State University) 
Multiscale nesting and high performance computing simulations
of limited area atmospheric environments 
Abstract: Keywords: 3D NavierStokes equations,
multiscale
atmospheric dynamics and turbulence, high resolution
simulations.
Abstract: High resolution multiscale simulations of limited area atmospheric environments are one of the major frontiers of atmospheric sciences and environmental sustainability. The latest developments in high performance computing technologies represent an opportunity to advance and improve real time atmospheric characterization and forecasting over limited areas. Among the new capabilities required are improved physics based subgrid parameterizations and one or twoway nesting to integrate models of disparate scales. We present high resolution horizontally
and vertically nested mesoscale/microscale simulations for effective resolution of multiscale atmospheric physics phenomena in regional atmospheres (A. Mahalov and M. Moustaoui, Journal of Computational Physics, vol. 228, p. 12941311, 2009). 
Nader Masmoudi (New York University) 
Existence results for some micromacro models of polymeric flows 
Abstract: Keywords: existence results, weak solutions, strong solutions, micromacro models.
Abstract: Systems coupling fluids and polymers
are of great interest in many branches of applied physics, chemistry
and biology. There are many models to describe them.
We will present here several existence results of weak or strong solutions. In particular we will consider the FENE, the Doi
and FENEP models. 
Anna L Mazzucato (Pennsylvania State University) 
Harmonic analysis methods for incompressible fluids 
Abstract: I will discuss applications of harmonic analysis to the study
of incompressible fluid flow. In particular, I will introduce
LittlewoodPaley frequency decompositions and define Besov and related
function spaces.
I will then show how to construct socalled mild solutions to the
NavierStokes equations in these spaces. 
Hideyuki Miura (Osaka University) 
On vorticity directions near singularities for
the 3D NavierStokes flows 
Abstract: This is a joint work with Yoshikazu Giga.
We give a geometric nonblow up criterion on the direction of the vorticity
for the 3D NavierStokes flow. We prove that under a restriction on
behavior in time (type I condition) the solution does not blow up if the
vorticity direction is uniformly continuous in the region where vorticity
is large.

Romain Nguyen van yen (École Normale Supérieure) 
Energy dissipation in the inviscid limit of a 2D dipolewall
collision 
Abstract: The behavior of solutions to the NavierStokes equations with noslip
boundary conditions when the viscosity goes to zero
has been a long standing mathematical problem since its formulation by
Prandtl.
The main difficulty lies in the possible production of extreme velocity
gradients near boundaries.
We have undertaken a series of numerical experiments using a Fourier
mode expansion of the solution along with a volume penalization method
to impose the noslip condition.
The results support a scenario in which the energy dissipation rate
remains strictly positive in the inviscid limit, due to a boundary layer
of tickness orders of magnitude smaller than the classical Re^{1/2}
estimate.
When the initial condition is a Gaussian noise, a wavelet analysis of
the vorticity field after some time suggests that it has organized into
"dissipative structures", that are recycled by detachment from the
boundary but visit the whole domain.
Some implications for modeling of boundary layer detachment phenomena
are briefly discussed. 
Romain Nguyen van yen (École Normale Supérieure) 
Dissipative structures in the inviscid limit of 2D wallbounded
turbulence 
Abstract: The behavior of solutions to the NavierStokes equations with noslip
boundary conditions when the viscosity goes to zero
has been a long standing mathematical problem since its formulation by
Prandtl.
The main difficulty lies in the possible production of extreme velocity
gradients near boundaries.
We have undertaken a series of numerical experiments using a Fourier
mode expansion of the solution along with a volume penalization method
to impose the noslip condition.
The results support a scenario in which the energy dissipation rate
remains strictly positive in the inviscid limit, due to a boundary layer
of tickness orders of magnitude smaller than the classical Re^{1/2}
estimate.
When the initial condition is a Gaussian noise, a wavelet analysis of
the vorticity field after some time suggests that it has organized into
"dissipative structures", that are recycled by detachment from the
boundary but visit the whole domain.
Some implications for modeling of boundary layer detachment phenomena
are briefly discussed. 
Monika Nitsche (University of New Mexico) 
On the limiting behaviour of regularizations
of the Euler Equations with vortex sheet initial data

Abstract: Keywords: vortex sheet motion, vortex blob method, Euleralpha model
Abstract: The vortex sheet is a mathematical model for a shear layer
in which the layer is approximated by a surface. Vortex
sheet evolution has been shown to approximate the motion
of shear layers well, both in the case of free layers and
of separated flows at sharp edges.
Generally, the evolving sheets develop singularities
in finite time. To approximate the fluid past this time,
the motion is regularized and the sheet defined as the
limit of zero regularization. However, besides weak existence
results in special cases, very little is
known about this limit. In particular, it is not known whether
the limit is unique or whether it depends on the regularization.
I will discuss several regularizing mechanisms, including physical
ones such as fluid viscosity, and purely numerical ones such
as the vortex blob and the Euleralpha methods. I will show
results for a model problem and discuss some of the unanswered
questions of interest. 
Dongjuan Niu (Capital Normal University) 
Axisymmetric Eulerα equations without
swirl: Existence, uniqueness, and radon measure valued
solutions 
Abstract: The global existence of weak solutions for the
threedimensional
axisymmetric Euleralpha (also known as Lagrangianaveraged
Eulerα) equations, without swirl, is established, whenever
the initial unfiltered velocity v_{0} satisfies
curlv_{0}/r is a
finite Randon measure with compact support. Furthermore, the
global existence and uniqueness, is also
established in this case provided that curlv_{0}/r belongs to
L^{p}_{c}(R^{3}) with p>3/2. It is worth mention that
no such results are known to be available, so far, for the
threedimensional Euler equations of ideal incompressible
flows.

Koji Ohkitani (University of Sheffield) 
Nonlocal Burgers equations and generalized HopfCole transforms 
Abstract: Keywords: maximum principle, blowup, nonlocality
Abstract: We consider nonlocal versions of Burgers equations in a preliminary attempt to
1) generalize HopfCole transforms for incompressible flows, and 2) to assess
the effect of nonlocality on the breakdown of maximum principle leading
to blowup.
It is wellknown that by the ForsythFlorinHopfCole transform 1D Burgers
equation is integrable through a HamiltonJacobilike equation for
the velocity potential. In higher spatial dimensions, on top of a potential
component, there appears a solenoidal component. For the former, a similar
method of solution works for multidimensional Burgers equation. To treat the
latter, we recast e.g. 2D incompressible NavierStokes equations as a nonlocal
HamiltonJacobilike equation using the stream function. This form apparently
exhibits nontrivial cancellations of nonlinear terms, known as nonlinearity
depletion.
On this basis, we propose a nonlocal model equation in 1D and study its
behavior numerically. It is shown that this model is equivalent to another
model equation which is known to blow up. We derive a HopfColelike transform
to recast the model as close as a heat diffusion equation, but with an
additional dangerous term. Attempts are made to explore possible transforms
for the 2D NavierStokes equations. Time permitting, we may describe yet
another model (joint work with M. Dowker) where a nonlocal term, mimicking the
pressure, leads apparently to blowup in finite time.

Koji Ohkitani (University of Sheffield) 
Numerical study of sectional curvature and Jacobi field
in incompressible Euler equations 
Abstract: We study some of the key quantities arising in the Arnold's theory (1966)
of the incompressible Euler equations both in two and three dimensions.
The sectional curvatures for the TaylorGreen vortex and ABC flows
initial conditions are calculated exactly in three dimensions.
We trace the time evolution of the Jacobi fields by direct numerical
simulations and, in particular, see how the sectional curvatures get more and
more negative in time. The spatial structure of the the Jacobi fields is
compared with the vorticity fields by visualizations.
The Jacobi fields are found to grow exponentially in time for the flows with
negative sectional curvatures.
In two dimensions, a family of initial data proposed by Arnold (1966)
is considered. The sectional curvature is observed to change its sign quickly
even if it starts from a positive value. The Jacobi field is shown to be
correlated with the passive scalar gradient in spatial structure.
On the basis of Rouchon's expression (1984) for the sectional curvature
(in physical space), the origin of negative curvature is investigated.
It is found that a 'potential' $alpha_{bm{xi}}$ appearing in the
definition of covariant time derivative plays an important role,
in that a rapid growth in its gradient makes a major contribution to
the negative curvature. 
Samuel Segun Okoya (Obafemi Awolowo University) 
Effects of variable viscosity and viscous dissipation on the
disappearance of criticality of a reactive thirdgrade fluid in a slab 
Abstract: We study the disappearance of criticality of a reactive fully
developed flow of an
incompressible, thermodynamically compatible fluid of grade
three with
viscous heating and heat generation between two horizontal flat
plates, where the
top is moving with uniform speed and the bottom plate is fixed
in the presence of
imposed pressure gradient. This is a natural continuation of
earlier work on
rectilinear shear flows. The governing coupled ordinary
differential equations
are transformed into dimensionless forms using an appropriate
transformation
and then solved numerically for thermal transition
(disappearance of criticality)
using Maple based shooting method. Attention is focused upon
the disappearance of
criticality of the solution set for various values of the
physical parameters and
the numerical computations are presented graphically
to show salient features of the solution set. 
Natasa Pavlovic (University of Texas) 
The quintic NLS as the mean field limit of a Boson gas with
threebody interactions 
Abstract: Keywords: GrossPitaevskii hierarchy
Abstract: In this talk we will discuss joint work with Thomas Chen on the
dynamics of a boson gas with threebody interactions in dimensions d=1,2. We prove that in the limit as the particle number N tends to infinity, the
BBGKY hierarchy of kparticle marginals converges to a limiting
GrossPitaevskii (GP) hierarchy for which we prove existence and uniqueness of solutions. For factorized initial data, the solutions of the GP hierarchy are shown to be determined by solutions of a quintic nonlinear Schrodinger equation.
Time permitting, we will briefly describe our new approach for studying
wellposedness of the Cauchy problem for focusing and defocusing GP
hierarchy.

Robert Pego (Carnegie Mellon University) 
Pressure boundary conditions, projection methods and
finiteelement computations 
Abstract: Keywords: Timedependent incompressible viscous flow, stable discretization, time splitting, Stokes pressure, Leray projection.
Abstract: How to properly specify boundary conditions for pressure for
noslip incompressible viscous flow has been a longstanding issue
in analysis and computation. A recent analytical resolution of
this issue is based on a local wellposedness theorem for an
extended NavierStokes dynamics, in which the zerodivergence
condition is replaced by a pressure formula that involves the
commutator of the Laplacian and Leray projection operators.
I'll indicate progress on some related analytical questions
(domains with corners, MHD), but will focus on improvements in
numerical schemes that involve projection methods in time and
finite elements in space. We find schemes that involve simple
kinds of finite elements (Lagrange of equal order for velocity
and pressure, including piecewiselinear, for example) that are
stable in tests with large time steps at low Reynolds number,
with up to 3rdorder accuracy in time for both velocity and
pressure. Notably, these schemes do not include projection
methods that update the pressure from previous steps. 
Stephen Carl Preston (University of Colorado) 
Geometric aspects of hydrodynamic blowup 
Abstract: The geometric approach to hydrodynamics was developed by Arnold
to study Lagrangian stability of ideal fluids. It identifies a
Lagrangian fluid flow with a geodesic on the Riemannian
manifold of volumepreserving diffeomorphisms. The curvature of
this manifold is typically negative but sometimes positive, and
positivity leads to conjugate points (where initially close
geodesics spread apart and come together again).
In this talk we suppose a fluid in ^{3} satisfies a
pointwise version of the BealeKatoMajda criterion for blowup
at a finite time T. I will describe a theorem which states
that either the geodesic experiences an infinite sequence of
consecutive conjugate pairs approaching the blowup time, or the
deformation tensor has a fairly special form at the blowup
time. The first possibility suggests that one could "see"
blowup geometrically in a weak space, such as the space of
L^{2} measurepreserving transformations.

Christian Seis (Rheinische FriedrichWilhelmsUniversität Bonn) 
Crossover in coarsenig rates in demixing binary viscous fluids 
Abstract: We consider the demixing process of a binary mixture of two
liquids after a temperature quench. In viscous liquids, the
demixing is mediated by diffusion and convection. The typical
particle size grows as a function of time t, a
phenomenon called coarsening. Simple scaling arguments based on
the assumption of statistical selfsimilarity of the domain
morphology suggest the coarsening rate: from ∼
t^{1/3}
for diffusionmediated to ∼ t for flowmediated.
In joint works with Yann Brenier, Felix Otto, and Dejan
Slepcev, we derive the crossover of both scaling regimes in
form of timeaveraged upper bounds. The mathematical model is a
CahnHilliard equation with convection term, where the fluid
velocity is determined by a Stokes equation. The analysis
follows closely a method proposed by Kohn and Otto, which is
based on the gradient flow structure of the evolution.

Misha Shvartsman (University of St. Thomas) 
Alternate powers in radial dependencies for Serrin's swirling vortex solutions

Abstract: Joint work with Doug Dokken and Kurt Scholz.
In this work we consider a modification of the model developed by J. Serrin where velocity, in spherical coordinates, decreases in proportion to the reciprocal of the distance from the vortex line.
Serrin’s model has three distinct solutions, depending on the kinematic viscosity and the value of a “pressure” parameter. These are: downdraft core with radial outflow, downdraft core with a
compensating radial inflow, and updraft core with radial inflow (singlecell vortex). Recent studies, based on radar data of selected severe weather events show that the ratio of natural log of vorticity
and natural log of grid spacing have a linear relationship, suggesting a fractallike phenomenon with a constant ratio. In two of the cases the ratio is close to 0.6. We have attempted Serrin’s approach seeking solution with the assumption that the velocity decreases in proportion to the reciprocal of the distance to the power 0.6. This ansatz leads to a substantially more complicated boundaryvalue problem for sixth order system of nonlinear differential equations. However, the spherical variable has not been eliminated from the righthand side of the system That contradicts the original
assumption that the velocity would be represented by ratio of a function of the angle with the vortex line to the corresponding reciprocal of the distance to the power not equal to one. We discuss some
specific cases of the system and applications of a shooting method. Also dependence on the radial variable is studied as small variations in the solutions would indicate that our system
is essentially independent of the parameter.

Roman Shvydkoy (University of Illinois) 
On stationary anomalous solutions to the Euler equations 
Abstract: Keywords: Energy conservation, Onsager conjecture, turbulence, Besov spaces.
Abstract: In this talk we will discuss a possibility of constructing solutions to the forced stationary Euler equations with limit regularity.
The problem is motivated by finding vector fields that enjoy the properties of a turbulent flow, i.e. anomalous energy dissipation,
smooth forcing, and regularity 1/3 in a certain Besov norm. The timedependent version of this problem is known as the Onsager conjecture.
We will exhibit a number of conditions which rule out existence of such solutions. Those include, for instance, conditions on the singularity set. An example of a field with smoothness 1/3, but integrability 18/11, which is Onsagersupercritical will
be presented.

Leslie M. Smith (University of Wisconsin) 
New PDE reduced models for rotating stratified flows 
Abstract: Keywords: Boussinesq equations, wavevortical interactions, quasigeostrophic approximation,
intermediate models
Abstract: Starting from the rotating Boussinesq equations, we show
how to derive a hierarchy of new models intermediate
between the quasigeostrophic (QG) approximation and
the full equations. The new PDEs progressively include
more effects of inertiagravity waves. We explain how to
derive the new models in two ways: (i) by eigenmode projection,
and (ii) directly in physical space. We illustrate how the
new reduced PDEs can be used to identify the nonlinear interactions primarily responsible for observed nonQG phenomena, such as
cyclone/anticyclone asymmetry in geophysical flows.
A wavesonly model gives insight into the growth of
horizontal shear flows. Simulations of the models highlight
the practical implications of underresolving wavemode
interactions in numerical calculations.

László Székelyhidi Jr. (Rheinische FriedrichWilhelmsUniversität Bonn) 
Weak and measurevalued solutions of the Euler
equations 
Abstract: Keywords: weak solutions, turbulence, hprinciple
Abstract: In 1993 V. Scheffer produced a nontrivial weak solution of the 2D incompressible Euler equations
with compact support in spacetime. Subsequently A.Shnirelman gave different constructions
for solutions with (i) compact support in time and (ii) strictly decreasing energy. Such "wild" solutions
seemingly contradict the idea of an evolution equation. In this
talk we will discuss a recent approach to such constructions in joint work with Camillo De Lellis. Moreover,
we show that the underlying phenomenon has a striking similarity to the hprinciple, a well known
phenomenon of flexibility in underdetermined geometric problems. In such situations the underlying
PDE seems to represent no constraint at all, the only restrictions on the space of solutions come from
topology. We look at the Euler equations in this light and show that there are indeed nontrivial restrictions
arising from the initial data. 
Cristina U. Thomas (3M) 
Mathematics at work in industrial research and development laboratories

Abstract: This seminar will focus on the life of a Mathematician in a research and
development laboratory in an industrial setting. It will describe a series
of applications of advanced mathematics without going into the details of
the Math utilized in each application. It will give an idea of the
challenges of problem solving or/and product development faced. It will
also describe job functions and opportunities as a Mathematician in a
Diversified Manufacturing Company. 
Edriss Saleh Titi (University of California) 
Inviscid regularization of hydrodynamics equations and analytical subgrid scale models of turbulence 
Abstract: No Abstract 
Noel J. Walkington (Carnegie Mellon University) 
Numerical approximation of complex fluids: compactness properties and open questions 
Abstract: Keywords: Complex Fluids, Complactness
Abstract: A classical result of P. Lax states that ``a (linear) numerical
scheme converges if and only if it is stable and consist''. For nonlinear
problems this statement needs to augmented to include a compactness hypotheses
sufficient to guarantee convergence of the nonlinear terms. This talk will
focus on the development of numerical schemes for parabolic equations that are
stable and inherit compactness properties of the underlying partial
differential equations. I will present a discrete analog of the classical
LionsAubin compactness theorem and use it to establish convergence of
numerical schemes for fluids transporting membranes, and the Ericksen Leslie
equations for (nematic) liquid crystals. The talk will finish with some open
problems that arise in the numerical simulation of this class of problems. 
Jiahong Wu (Oklahoma State University) 
The surface quasigeostrophic equation 
Abstract: Keywords: fractional Laplace, global regularity, the surface quasigeostrophic equation
Abstract:Fundamental mathematical issues concerning the
surface quasigeostrophic (SQG) equation have recently
attracted the attention of many researchers and important
progress has been made. This talk focuses on the existence,
uniqueness and regularity of solutions to the SQG equation
and covers both the inviscid and dissipative cases. We will
summarize some existing work and report very recent
numerical and theoretical results. 
Sijue Wu (University of Michigan) 
Wellposedness of the two and three dimensional full water wave problem 
Abstract: Keywords: water wave problem
Abstract: We consider the question of global in time existence and uniqueness of solutions of the infinite depth full water wave problem. We show that the nature of the nonlinearity of the water wave equation is essentially of cubic and higher orders. For any initial data that is small in its kinetic energy and height, we show that the 2D full water wave equation is uniquely solvable almost globally in time. And for any initial interface that is small in its steepness and velocity, we show that the 3D full water wave equation is uniquely solvable globally in time.

Chunjing Xie (University of Michigan) 
Classical solutions of 2D rotating shallow water equations 
Abstract: We will discuss the classical solutions of two dimensional inviscid rotating shallow water equations with small initial data. The global existence and asymptotic behavior are obtained when the initial data has zero relative vorticity, where rotating shallow water system can be transformed to a symmetric quasilinear KleinGordon system. We also give the lower bound for the lifespan of classical solutions with general initial data. This is a joint work with Bin Cheng.

Zhouping Xin (Chinese University of Hong Kong) 
Zero viscosity limit for incompressible NavierStokes
equations 
Abstract: Keywords: Viscous boundary layers, Prandtl's boundary layer system,
Navierslip bounadry conditions, incompressible NavierStokes system.
Abstract: In this talk, I will discuss some issues and recent results related to the viscous boundary layer theory. In particular, I will present a global existence result on classical soluition to the 2dimensional unsteady Prandtl's boundary system; some convergence results on viscous solutions when the viscosity becomes small. Both nonslip and Naviertype slip boundary conditions will be studied.

Zhouping Xin (Chinese University of Hong Kong) 
On fluidrigid body interaction problem 
Abstract: We study the motion of a rigid body immersed in an incompressible ideal (or viscous) fluids. We first establish an existence of global (in time) existence of weak solution with natural far field condition for 2dimensional Euler system. Then for viscous case, we prove that the corresponding generalized Stokes operator is the infinitesimal generator of an analytic semigroup on some appropriate spaces so that we can obtain local existence of strong solutions in such spaces. 
Xiaofeng Yang (University of South Carolina) 
A phasefield model and its numerical approximation
for twophase incompressible flows with different densities and viscosities 
Abstract: Modeling and numerical approximation of twophase incompressible flows
with different densities and viscosities are considered using the diffusive
phasefield model. A physically consistent phasefield model that admits
an energy law is proposed, and several energy stable, efficient and accurate
time discretization schemes for the coupled nonlinear phasefield model
are constructed and analyzed. Ample numerical experiments are carried
out to validate the correctness of these schemes and their accuracy for
problems with large density and viscosity ratios.

Tsuyoshi Yoneda (University of Minnesota) 
Non blowup of the NavierStokes equations in a rotating frame with spatially almost periodic large data 
Abstract: Non blowup of the NavierStokes equations in a rotating frame with spatially almost periodic large data is considered. The Coriolis force appears in almost all of the models of oceanography and meteorology dealing with largescale phenomena. To consider such a problem, FM space is used, i.e. Fourier preimage of the space of all finite Radon measures with no point mass at the origin proposed by Giga, Inui, Mahalov and Matsui in 2005. Non blowup is proven by means of techniques of fast singular oscillating limits and bootstrapping from a globalintime unique solution to the extended 2DNavierStokes equations. 