12.07.2015 Views

Schedule-at-a-Glance

Schedule-at-a-Glance

Schedule-at-a-Glance

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

19 PRIMA 2013 Abstractscritical slope u x = 1. We show th<strong>at</strong>, for a fixed rel<strong>at</strong>ionof the asymptote <strong>at</strong> x = ±∞, there exists a unique travelingwave solution. Furthermore, such traveling wavesolutions are local <strong>at</strong>tractors. Nearby solutions approachthe traveling wave asymptotically as t → ∞. This is ajoint work with Graziano Guerra, see [3].[1] D. Amadori and W. Shen, Front tracking approxim<strong>at</strong>ionsfor slow erosion, Discrete Contin. Dyn. Syst., 32(2012), no. 5, 1481–1502.[2] R. M. Colombo, G. Guerra, and W. Shen, Lipschitzsemigroup for an integro–differential equ<strong>at</strong>ion for slowerosion, Quart. Appl. M<strong>at</strong>h., 70 (2012), 539–578.[3] G. Guerra, and W. Shen, Existence and Stability ofTraveling Waves for an Integro-differential Equ<strong>at</strong>ion forSlow Erosion Preprint, 2013.[4] W. Shen and T.Y. Zhang, Erosion profile by a globalmodel for granular flow, Arch. R<strong>at</strong>ion. Mech. Anal., 204(2012), no. 3, 837–879.On the existence of Meyer type transonicflows and a degener<strong>at</strong>e change type equ<strong>at</strong>ionZhouping XinThe Chinese University of Hong Kong, Hong Kong, Chinazpxin@ims.cuhk.edu.hkHistorically, two types of smooth steady compressibleirrot<strong>at</strong>ional transonic flows were conjectured for 2-dimensional de Laval nozzles: Taylor type and Meyertype. However, it has known since Lipman Bers th<strong>at</strong> Taylortype transonic flows may not exist in general, whilethe existence of Meyer type transonic flows with suitablephysical boundary condition has been a long standingopen problem. Such a flow is governed by a quasilinearequ<strong>at</strong>ion which changes type and becomes degener<strong>at</strong>eupon crossing sonic st<strong>at</strong>e where the flow may havesingularities. In this talk, I will report some progress onstudies of such problems. First, by investig<strong>at</strong>ing the propertiesstructure of the sonic curve, in particular its exceptionalpoints, for C 2 -smooth transonic flows in a generalnozzle, we show the instability of Taylor type flowsand Meyer type flows with non-empty exceptional points.Then we identify a class of de Laval nozzles and suitablephysical boundary conditions such th<strong>at</strong> Meyer type transonicflow exists with sonic curve everywhere exceptional.Some global properties of such a solution and rel<strong>at</strong>ed openproblems will be discussed.Weakly nonlinear geometric optics for hyperbolicsystems of conserv<strong>at</strong>ion lawsYongqian ZhangFudan University, Chinayongqianz@fudan.edu.cnIn this talk I will present a new approach to analyze thevalid<strong>at</strong>ion of weakly nonlinear geometric optics for entropysolutions of nonlinear hyperbolic systems of conserv<strong>at</strong>ionlaws whose eigenvalues are allowed to have constantmultiplicity and corresponding characteristic fieldsto be linearly degener<strong>at</strong>e. The approach is based on ourcareful construction of more accur<strong>at</strong>e auxiliary approxim<strong>at</strong>ionto weakly nonlinear geometric optics, the propertiesof wave front-tracking approxim<strong>at</strong>e solutions, the behaviorof solutions to the approxim<strong>at</strong>e asymptotic equ<strong>at</strong>ions,and the standard semigroup estim<strong>at</strong>es. This is ajoint work with Guiqiang Chen and Wei Xiang of Universityof Oxford.Special Session 9Inverse ProblemsInverse sc<strong>at</strong>tering problems in wave propag<strong>at</strong>ionGang BaoZhejiang University, China and Michigan St<strong>at</strong>e University,USAdrbaogang@gmail.comRecent progress of our research group on inverse sc<strong>at</strong>teringproblems in wave propag<strong>at</strong>ion will be reported. Issueson uniqueness/stability and numerical solution for the inverseproblems will be discussed.Multi-scale full waveform inversion for seismicimagingMichael P. LamoureuxUniversity of Calgary, Canadamikel@ucalgary.caThe seismic imaging problem entails recovering an imageof the earth’s subsurface from d<strong>at</strong>a th<strong>at</strong> is recorded onthe surface of the earth, determined by the propag<strong>at</strong>ion ofseismic (vibr<strong>at</strong>ional) waves through the body of the earth.The 2D or 3D acoustic wave equ<strong>at</strong>ion is commonly usedas a simplified m<strong>at</strong>hem<strong>at</strong>ical model for this seismic wavepropag<strong>at</strong>ion. The full waveform inverse problem aims todeduce the physical parameters of the (acoustic) mediumof propag<strong>at</strong>ion from recorded d<strong>at</strong>a of impulsive waves th<strong>at</strong>are transmitted or reflected through the medium, andthus form an image of the subsurface.In this study, we demonstr<strong>at</strong>e a numerical algorithmth<strong>at</strong> uses factoriz<strong>at</strong>ion in the PDE solver of the 2D acousticwave model, a multi-scale approach to the inverse solution,and a projection-based lineariz<strong>at</strong>ion search for thesolution to the inverse problem. The multi-scale approachis used to decrease the rank of the inverse problem, thusdecreasing the ill-posedness and under-determinedness ofthe solution. With a few examples, we show the robustproperties of the inversion algorithm, a fast numericalconvergence r<strong>at</strong>e, and the advantages of multi-scaling.Joint with Gary F. Margrave, Vladimir ZubovOn the inverse problems for the coupled continuumpipe flow model for flows in karstaquifersShuai LuFudan University, Chinaslu@fudan.edu.cnIn this talk, we investig<strong>at</strong>e a coupled continuum pipe flow(CCPF) model which describes the fluid flows in karstaquifers. After generalizing the well-posedness of the forwardproblem to the anisotropic exchange r<strong>at</strong>e case whichis a space-dependent variable, we present the uniquenessof this parameter by measuring the Cauchy d<strong>at</strong>a. Finally,some regulariz<strong>at</strong>ion schemes are provided to solveone proposed inverse problem.A he<strong>at</strong> source reconstruction formula fromsingle internal measurements using a familyof null controlsAxel OssesUniversidad de Chile, Chileaxosses@dim.uchile.clWe consider the inverse problem of determining the sp<strong>at</strong>ialdependence f(x) of the source term in a he<strong>at</strong> equ<strong>at</strong>ionu t − γ∆u = f(x)σ(t) in Ω × (0, T ) assuming σ(t) known,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!