[ Abstract ]
We show that 1-D Burgers equation is globally uncontrollable with control acting at two endpoints. Then we establish the global controllability of the 2-D Burgers equation. Finally we show that for 2-D Navier-Stokes system the problem of global exact controllability is solvable for the dense set of the initial data with a control acting on part of the boundary.

[ Abstract ]
秋から、少しお休みしていますので、替わりにまとめて集会をします。
12月25日午後から27日午後3時くらいまでです。詳細はURL:
https://www.ms.u-tokyo.ac.jp/activity/meeting061225.htm
をご覧下さい。織田孝幸

[ Abstract ]
We discuss properties of a GOY type model for the inviscid fluid equations. We prove that the forced system has a unique equilibrium which a an exponential global attractor. Every solution blows up in H^5/6 in finite time . After this time, all solutions stay in H^s, s<5/6, and "turbulent" dissipation occurs. Onsager's conjecture is confirmed for the model system.

This is joint work with Alexey Cheskidov and Natasa Pavlovic.

[ Abstract ]
Given a field $k$ and a (pro)finite group $G$, consider the
following weak version of the regular inverse Galois problem:
(WRIGP/$G$/$k$) \\textit{there exists a smooth geometrically
irreducible curve $X_{G}/k$ and a Galois extension $E/k(X_{G})$
regular over $k$ with group $G$.} (the regular inverse Galois
problem (RIGP/$G$/$k$) corresponding to the case
$X_{G}=\\mathbb{P}^{1}_{k}$). A standard descent argument shows that
for a finite group $G$ the (WRIGP/$G$/$k$) can be deduced from the
(RIGP/$G$/$k((T))$). For
profinite groups $G$, the (WRIGP/$G$/$k((T))$) has been proved for
lots of fields (including the cyclotomic closure of characteristic $0$
fields) but the descent argument no longer works.\\\\
\\indent Let $p\\geq 2$ be a prime, then a profinite group
$G$ is said to be \\textit{$p$-obstructed} if it fits in a profinite group extension
$$1\\rightarrow K\\rightarrow G\\rightarrow G_{0}\\rightarrow 1$$
with $G_{0}$ a finite group and $K\\twoheadrightarrow
\\mathbb{Z}_{p}$. Typical examples of such profinite groups $G$ are
universal $p$-Frattini covers of finite $p$-perfect groups or
pronilpotent projective groups.\\\\
\\indent I will show that the (WRIGP/$G$/$k$) - even under
its weaker formulation: (WWRIGP/$G$/$k$) \\textit{there exists a
smooth geometrically irreducible curve $X_{G}/k$ and a Galois
extension $E/k(X_{G}).\\overline{k}$ with group $G$ and field of
moduli $k$.} - fails for the whole class of $p$-obstructed profinite
groups $G$ and any field $k$ which is either a finitely generated
field of characteristic $0$ or a finite field of characteristic
$\\not= p$.\\\\
\\indent The proof uses a profinite generalization of the cohomological obstruction
for a G-cover to be defined over its field of moduli and an analysis of the constrainsts
imposed on a smooth geometrically irreducible curve $X$ by a degree $p^{n}$
cyclic G-cover $X_{n}\\rightarrow X$, constrainsts which are too rigid to allow the
existence of projective systems $(X_{n}\\rightarrow
X_{G})_{n\\geq 0}$ of degree $p^{n}$ cyclic G-covers
defined over $k$. I will also discuss other implicsations of these constrainsts
for the (RIGP).

[ Abstract ]
We study the homological properties of the space $K$ of (framed) long knots in $\\R^n$, $n>3$, in particular its Poisson algebra structures.
We had known two kinds of Poisson structures, both of which are based on the action of little disks operad. One definition is via the action on the space $K$. Another comes from the action of chains of little disks on the Hochschild complex of an operad, which appears as $E^1$-term of certain spectral sequence converging to $H_* (K)$. The main result is that these two Poisson structures are the same.
We compute the first non-trivial example of the Poisson bracket. We show that this gives a first example of the homology class of $K$ which does not directly correspond to any chord diagrams.

[ Abstract ]
Suppose $F$ is an embedded closed surface in $R^4$.
We call $F$ a pseudo-ribbon surface link
if its projection is an immersion of $F$ into $R^3$
whose self-intersection set $\\Gamma(F)$ consists of disjointly embedded circles.
H. Aiso classified pseudo-ribbon sphere-knots ($F$ is a sphere.)
when $\\Gamma(F)$ consists of less than 6 circles.
We classify pseudo-ribbon sphere-links
when $F$ is two spheres and $\\Gamma(F)$ consists of less than 7 circles.

[ Abstract ]
与えられた境界を持つ極小部分集合に特異点が必然的に現れることは
今までによく知られている現象である。幾何学的測度論は、それらの特異点
を許容する存在定理の枠組みを提供する為に発展してきた。こうして
現れる部分集合の幾何学的特徴付けを、写像の持つエネルギー関数の最小化というJ.Douglas
の方法論を発展させることによって試みる。また特異点周辺の面積密度の
単調性公式についても言及したい。

[ Abstract ]
与えられた境界を持つ極小部分集合に特異点が必然的に現れることは今までによく知られている現象である.幾何学的測度論は,それらの特異点を許容する存在定理の枠組みを提供する為に発展してきた.こうして現れる部分集合の幾何学的特徴付けを,写像の持つエネルギー関数の最小化というJ.Douglas の方法論を発展させることによって試みる.また特異点周辺の面積密度の単調性公式についても言及したい.

[ Abstract ]
Computational approaches to evolutionary geometric partial differential equations such as anisotropic motion by mean curvature and surface diffusion are reviewed. We consider methods based on graph, parametric , level set and phase field descriptions of the surface. We also discuss the approximation of partial differential equations which hold on the evolving surfaces. Numerical results will be presented along with some approximation results.

[ Abstract ]
Thom (residual) polynomials in characteristic classes are used in
the analysis of geometry of functional spaces. They serve as a
tool in description of classes Poincar\\'e dual to subvarieties of
functions of prescribed types. We give explicit universal
expressions for residual polynomials in spaces of functions on
complex curves having isolated singularities and
multisingularities, in terms of few characteristic classes. These
expressions lead to a partial explicit description of a
stratification of Hurwitz spaces.

[ Abstract ]
In these lectures we discuss the formulation, approximation and applications of partial differential equations on stationary and evolving surfaces. Partial differential equations on surfaces occur in many applications. For example, traditionally they arise naturally in fluid dynamics, materials science, pattern formation on biological organisms and more recently in the mathematics of images. We will derive the conservation law on evolving surfaces and formulate a number of equations.

We propose a surface finite element method (SFEM) for the numerical solution of parabolic partial differential equations on hypersurfaces $\\Gamma$ in $\\mathbb R^{n+1}$. The key idea is based on the approximation of $\\Gamma$ by a polyhedral surface $\\Gamma_h$ consisting of a union of simplices (triangles for $n=2$, intervals for $n=1$) with vertices on $\\Gamma$. A finite element space of functions is then defined by taking the continuous functions on $\\Gamma_h$ which are linear affine on each simplex of the polygonal surface. We use surface gradients to define weak forms of elliptic operators and naturally generate weak formulations of elliptic and parabolic equations on $\\Gamma$. Our finite element method is applied to weak forms of the equations. The computation of the mass and element stiffness matrices are simple and straightforward. We give an example of error bounds in the case of semi-discretization in space for a fourth order linear problem. We extend this approach to pdes on evolving surfaces. We define an Eulerian level set method for partial differential equations on surfaces. The key idea is based on formulating the partial differential equation on all level set surfaces of a prescribed function $\\Phi$ whose zero level set is $\\Gamma$. We use Eulerian surface gradients to define weak forms
of elliptic operators which naturally generate weak formulations
of Eulerian elliptic and parabolic equations. This results in a degenerate equation formulated in anisotropic Sobolev spaces based on the level set function $\\Phi$. The resulting equation is then solved in one space dimension higher but can be solved on a fixed finite element grid.

Numerical experiments are described for several linear and Nonlinear partial differential equations. In particular the power of the method is demonstrated by employing it to solve highly nonlinear second and fourth order problems such as surface Allen-Cahn and Cahn-Hilliard equations and surface level set equations for geodesic mean curvature flow. In particular we show how surface level set and phase field models can be used to compute the motion of curves on surfaces. This is joint work with G. Dziuk(Freiburg).

[ Abstract ]
In these lectures we discuss the formulation, approximation and applications of partial differential equations on stationary and evolving surfaces. Partial differential equations on surfaces occur in many applications. For example, traditionally they arise naturally in fluid dynamics, materials science, pattern formation on biological organisms and more recently in the mathematics of images. We will derive the conservation law on evolving surfaces and formulate a number of equations.

We propose a surface finite element method (SFEM) for the numerical solution of parabolic partial differential equations on hypersurfaces $\\Gamma$ in $\\mathbb R^{n+1}$. The key idea is based on the approximation of $\\Gamma$ by a polyhedral surface $\\Gamma_h$ consisting of a union of simplices (triangles for $n=2$, intervals for $n=1$) with vertices on $\\Gamma$. A finite element space of functions is then defined by taking the continuous functions on $\\Gamma_h$ which are linear affine on each simplex of the polygonal surface. We use surface gradients to define weak forms of elliptic operators and naturally generate weak formulations of elliptic and parabolic equations on $\\Gamma$. Our finite element method is applied to weak forms of the equations. The computation of the mass and element stiffness matrices are simple and straightforward. We give an example of error bounds in the case of semi-discretization in space for a fourth order linear problem. We extend this approach to pdes on evolving surfaces. We define an Eulerian level set method for partial differential equations on surfaces. The key idea is based on formulating the partial differential equation on all level set surfaces of a prescribed function $\\Phi$ whose zero level set is $\\Gamma$. We use Eulerian surface gradients to define weak forms
of elliptic operators which naturally generate weak formulations
of Eulerian elliptic and parabolic equations. This results in a degenerate equation formulated in anisotropic Sobolev spaces based on the level set function $\\Phi$. The resulting equation is then solved in one space dimension higher but can be solved on a fixed finite element grid.

Numerical experiments are described for several linear and Nonlinear partial differential equations. In particular the power of the method is demonstrated by employing it to solve highly nonlinear second and fourth order problems such as surface Allen-Cahn and Cahn-Hilliard equations and surface level set equations for geodesic mean curvature flow. In particular we show how surface level set and phase field models can be used to compute the motion of curves on surfaces. This is joint work with G. Dziuk(Freiburg).

[ Abstract ]
Chondrules are small particles of silicate material of the order of a few millimeters in radius, and are the main component of chondritic meteorite.

In this paper, we present a model of the growth starting from a seed crystal at the location of an outer part of pure melt droplet into spherical single crystal corresponding to a chondrule. The formation of rims surrounding a chondrule during solidification is simulated by using the phase field model in three dimensions. Our results display a well developed rim structure when we choose the initial temperature of a melt droplet more than the melting point under the condition of larger supercooling. Furthermore, we show that the size of a droplet plays an important role in the formation of rims during solidification.

[ Abstract ]
The telegraph process {X(t), t>0}, has been introduced (see Goldstein, 1951) as an alternative model to the Brownian motion B(t). This process describes a motion of a particle on the real line which alternates its velocity, at Poissonian times, from +v to -v. The density of the distribution of the position of the particle at time t solves the hyperbolic differential equation called telegraph equation and hence the name of the process. Contrary to B(t) the process X(t) has finite variation and continuous and differentiable paths. At the same time it is mathematically challenging to handle.

In this talk we will discuss inference problems for the estimation of the intensity of the Poisson process, either homogeneous and non homogeneous, from continuous and discrete time observations of X(t). We further discuss estimation problems for the geometric telegraph process S(t) = S(0) * exp{m - 0.5 * s^2) * t + s X(t)} where m is a known constant and s>0 and the intensity of the underlying Poisson process are two parameter of interest to be estimated. The geometric telegraph process has been recently introduced in Mathematical Finance to describe the dynamics of assets as an alternative to the usual geometric Brownian motion.

For discrete time observations we consider the "high frequency" approach, which means that data are collected at n+1 equidistant time points Ti=i * Dn, i=0,1,..., n, n*Dn = T, T fixed and such that Dn shrinks to 0 as n increases.

The process X(t) in non Markovian, non stationary and not ergodic thus we use approximation arguments to derive estimators. Given the complexity of the equations involved only estimators on the standard telegraph process can be studied analytically. We will also present a Monte Carlo study on the performance of the estimators for small sample size, i.e. Dn not shrinking to 0.