## ABSTRACTS

*Non-unimodal Gorenstein sequences and Green theorem*

Jeaman Ahn (Kongju National University, Korea)

**Abstract**: We study consequences, for a standard graded algebra, of extremal behavior in Green's Hyperplane Restriction Theorem. First, we extend his Theorem 4 from the case of a plane curve to the case of a hypersurface in a linear space. Second, assuming a certain Lefschetz condition, we give a connection to extremal behavior in Macaulay's theorem. We apply these results to show that (1,19,17,19,1) is not a Gorenstein sequence, and as a result we classify the sequences of the form (1,a,a-2,a,1) that are Gorenstein sequences.

* *

Jiweon Ahn (Chungnam National University, Korea)

Topological stability of expansive measures

**Abstract**: In this talk, we extend the concepts of shadowable measure and topological stable measure from homeomorphisms to flows, and prove that any expansive measure with shadowing property is topological stable for flows.

**Differential stability of a class of convex optimal control problems**

Duong Thi Viet An (College of Sciences, Thai Nguyen University, Vietnam)

Abstract: A parametric constrained convex optimal control problem, where the initial state is perturbed and the linear state equation contains a noise, is considered in this paper. Formulas for computing the subdifferential and the singular subdifferential of the optimal value function at a given parameter are obtained by means of some recent results on differential stability in mathematical programming. The computation procedures and illustrative examples are presented.

Joint work with J.-C. Yao and N. D. Yen.

**Convergence analysis of a proximal point algorithm for minimizing differences of functions**

Nguyen Thai An (Thua Thien Hue College of Education, Vietnam)

**Abstract:** Several optimization schemes have been known for convex optimization problems. However, numerical algorithms for solving nonconvex optimization problems are still underdeveloped. A significant progress to go beyond convexity was made by considering the class of functions representable as differences of convex functions. In this talk, we introduce a generalized proximal point algorithm to minimize the difference of a nonconvex function and a convex function. We also present convergence results of this algorithm under the main assumption that the objective function satisfies the Kurdyka – Łojasiewicz property.

**Decay rates of solutions to some $\alpha$-models in fluid mechanics**

Cung The Anh (Hanoi National University of Education)

**Abstract**: We present recent results on time decay rates of solutions to some alpha-models in fluid mechanics, including Navier-Stokes-Voigt equations, Navier-Stokes-alpha equations and some MHD-alpha models on the whole space. By combining the recent theory of decay characterization of Bjorland-Niche-Schonbek, the Fourier Splitting Method introduced by Schonbek and inductive arguments, we get both upper and lower bounds of time decay rates of the solutions in Sobolev spaces and the results obtained seem to be optimal in many cases. This is joint work with Pham Thi Trang.

**Mann-extragradient method for unrelated variational inequalities and fixed point problems**

Pham Ngoc Anh (Posts and Telecommunications Institute of Technology, Vietnam)

**Abstract**: This paper proposes a new hybrid variant of Mann and extragradient iteration methods for finding a common solution of a system of unrelated variational inequalities and fixed point problems corresponding to different feasible domains in a real Hilbert space. We present an algorithmic scheme that combine the idea of the extragradient method and the Mann iteration method as a hybrid variant. Then, the iterative point is modified by projecting a given initial point on intersect of suitable convex sets to get a strong convergence property under certain assumptions by suitable choice parameters. Finally, a numerical example is developed to illustrate the behavior of the new algorithm with respect to existing algorithm.

**On solution mapping of equilibrium problems**

Tran Thi Hoang Anh (Hai Phong University, Vietnam)

**Abstract**: In this paper, we consider the solution mapping of equilibrium problems in a real Hilbert space, where the cost bifunction is convex forward to the second variable. By using the property that a point belongs to the solution set of the equilibrium problems if and only if it is a fixed point of the solution mapping, we obtain the contractiveness, nonexpansiveness and strictly pseudo-contractiveness of the solution mapping under some monotone assumptions of the bifunctions.

**Vortex Patches of Serfati**

Hantaek Bae (Ulsan National Institute of Science and Technology (UNIST), Korea)

**Abstract**: In 1993, two proofs of the persistence of regularity of the boundary of a classical vortex patch for the 2D Euler equations were published, one by Chemin and the other by Bertozzi-Constantin. In fact, Chemin proved a more general result, showing that vorticity initially having discontinuities only in directions normal to a family of vector fields continue to be so characterized by the time-evolved vector fields. A different four-page elementary proof of the regularity of a vortex patch boundary was published in 1994 by Serfati, employing only one vector field to describe the discontinuities in the initial data. In this talk, we discuss Serfati's proof along with a natural extension of it to a family of vector fields that reproduces the 1995 result of Chemin.

**Short time regualrity to unsteady shear thickening incompressible fluids**

Hyeong-Ohk Bae (Ajou University, Korea)

**Abstract**: We address the existence of strong solutions to a system of equations of motion of an incompressible non-Newtonian fluid. Our aim is to prove the short-time existence of strong solutions for the case of shear thickening viscosity, which corresponds to the power law $\nu ({\rm{D}}) = \left| {\rm{D}} \right|^{q - 2} (2 < q < + \infty )$. In particular, we find that global strong solutions exist whenever $q > 2.23 \cdots $ . The results are obtained by attening the boundary and by using the difference quotient method. Near theboundary, we use weighted estimates in the normal direction.

Joint work with J\;org Wolf

**Nonconvex quadratic program over a generalized second-order cone and linear equalities**

Nguyen Van Bong (Tay Nguyen University, Vietnam)

**Abstratc:** In this talk we present a solution method for a generalized trust region subproblem over a generalized second-order cone with linear equality constraints. The problem will first be reduced to a quadratic program over one quadratic constraint (QP1QC) with lower dimension. The semidefinite relaxation technique together with the matrix rank-one decomposition procedure will then be applied to propose an algorithm for solving the resulting QP1QC. Optimal solutions of the original problem are then recovered from the solutions of the resulting QP1QC. Necessary and sufficient conditions on the boundedness and attainment will also be presented.

**Dynamical behavior of population in random environment**

Nguyen Huu Du (Vietnam Institute of Advanced Study in Mathematics (VIASM))

**Abstract:** In this talk, we deal with the dynamic behavior of of population described by a differential euations perturbed by noise

\begin{equation*}

\begin{cases} dx = x a_1(t,\xi(t),x,y)dt + b_1(t,\xi(t),x,y)dw_1 \\

dy = y a_2(t,\xi(t),x,y)dt + b_2(t,\xi(t),x,y)dw_2

\end{cases}

\end{equation*}

where, $(\xi(t))$ is a Markov process valued in a finite set; $W_1,W_2$ are two Brownian motions and $ a_i,\; b_i, i=1,2 $ are functions defined on $[0,\infty)\times \mathbb R_+^2$ to $\R$.

This equation can be used to describe the evolution of eco-systems as well as the development of a financial markets under the random environment. The Markov noise $\xi(t)$ can be considered as a factor which switches environment conditions meanwhile $W_1,W_2$ are unpredictable perturbations. Knowing the long term behavior of the quantities $(x(t),y(t))$ of population plays an important role in making a policy to investigate, protect and control them.

We are interested in the description of the $\omega-$ limit set of each solution, the attractor. Also, we give sufficient and almost necessary conditions to the existence of stationary distribution of these systems and its stability.

\vskip0.2cm

\begin{thebibliography}{10}

\bibitem{8} Du N. H, Dang N. H and Dieu N.T.; On stability in distribution of stochastic differential delay equations with Markovian switching, \emph{Systems and Control Letters} {\bf 65}(1)(2013).

\bibitem{10} Du, N. H.; Dang, N. H. and Yin, G.; Existence of Stationary Distributions for Kolmogorov Systems of Competitive Type under Telegraph Noise, \emph{J. Differential Equations}, {\bf257}(2014).

\bibitem{11} Du, N. H.; Dang, N. H.; Asymptotic behavior of kolmogorov systems with predator-prey type in random environment, \emph{Communications on Pure and Applied Analysis} , No 6{\bf 13}(2014)

\bibitem{12} Hieu N. T., Du N. H., Auger P. and Dang N. H.; Dynamical behavior of a stochastic sirs epidemic model, \emph{Math. Model. Nat. Phenom.}, no. 2 {\bf 10}(2015).

\bibitem{13} Du, N. H.; Dang, N. H. and Yin, G.; Conditions for permanence and ergodicity of certain stochastic predator-prey models, \emph{Journal of Applied Probability} no.1 {\bf 53}(2016).

\bibitem{14} Dieu, N.T.; Du, N. H.; Dang, N. H. and Yin, G.; Protection Zones for Survival of Species in Random Environment, {\it SIAM J. Appl. Math.} {\bf76} (2016), no. 4.

\bibitem{15} Dieu, N.T.; Du, N. H.; Long-time behavior of an SIR model with perturbed disease transmission coefficient, Discrete and continuous dynamical systems, no. 10, {\bf 21}(2016).

\bibitem{15} Dieu, N.T.; Du, N. H.; Dang, N. H. and Yin, G.; Classification of Asymptotic Behavior in a Stochastic SIR Model, {\it SIAM J. Appl. Dyn. Syst.}, no. 2, {\bf 15} (2016).

\bibitem{16} Nguyen Huu Du , Nguyen Ngoc Nhu, Permanence and extinction of certain stochastic SIR models perturbed by a complex type of noises, {\it Applied Mathematics Letters}, {\bf 64} (2017).

\end{thebibliography}}

**Entropy of continuous maps with shadowing properties**

Bowon Kang (Chungnam National University Korea)

**Abstract:** Shadowing properties was developed intensively in recent years and became a significant part of the qualitative theory of dynamical systems containing a lot of interesting results. Blank introduced the notion of average shadowing property and proved that certain kinds of perturbed hyperbolic systems have the average shadowing property. In this talk, we introduce the notion of strong average shadowing property in continuous maps and discuss some relations between the entropy and strong average shadowing property. This is joint work with Hyunhee Lee.

**The infinite differentiability of the speed for excited random walks**

Pham Cong Dan (Duy Tan university, Vietnam)

**Abstract**: In this talk, we represent the excited random walks (ERW). Some open questions on the monotonicity and regularity of the speed of ERWs are discussed. We prove that the speed of the excited random walk is infinitely differentiable with respect to the bias parameter in $(0,1)$ for the dimension $d\ge 2$.

**Pullback attractor for differential evolution inclusions with delays**

Nguyen Van Dac (Thuy Loi University, Vietnam)

**Abstract**: In this talk, we will analyze the existence of pullback attractor for non-autonomous differential inclusions with delays in Banach spaces by using measures of noncompactness. The obtained results can be applied to control systems driven by semilinear partial differential equations and multivalued feedbacks.

This is joint work with Tran Dinh Ke.

*Extragradient-proximal methods for split equilibrium and fixed point problems in Hilbert spaces*

Bui Van Dinh (Le Quy Don Technical University, Vietnam)

Abstract: In this talk, we present two new extragradient-proximal algorithms for solving split equilibrium and fixed point problems (SEFPP) in real Hilbert spaces in which the first equilibrium bifunction is pseudomonotone, the second one is monotone and the fixed point mappings are nonexpansive. By using the extragradient method incorporated with the proximal point algorithm and cutting techniques, we obtain algorithms for solving (SEFPP). Under certain conditions on parameters, the iteration sequences generated by the proposed algorithms are proved to be weakly and strongly convergent to a solution of (SEFPP). Our results improve and extend the previous results given in the literature.

\noindent{\bf Keywords.} {\small Split equilibrium problem; Split fixed point problem Nonexpansive mapping; Weak and strong convergence; Pseudomonotonicity}

\noindent{\bf 2010 Mathematics Subject Classification.} { \small 47H09, 47J25, 65K10, 65K15, 90C99 }

\vslip0.2cm

\noindent

Joint work with Dang Xuan Son and Tran Viet Anh.

**Classification of asymptotic behavior of the stochastic SIR epidemic models**

Nguyen Thanh Dieu (Vinh University)

**Abstract:** This talk we derive asymptotic behavior of the stochastic SIR epidemic systems. The talk gives sufficient conditions that are very close to the necessary conditions for the permanence. In addition, the talk develops ergodicity of the underlying system

by characterizing the support of a unique invariant probability measure. It is proved that the transition probabilities converge in

total variation norm to the invariant measure. Our result gives a precise characterization of the support of the invariant set.

Rates of convergence are also ascertained. It is shown that the rate is not too far from the exponential in that the convergence speed is of the form of a polynomial of any order.

\vskip0.2cm

\noindent

This is joint work with N. H. Du, N. H. Dang and G. Yin

**Mathematical Challenges of classical and quantum synchronization**

Seung Yeal Ha (Seoul National University, Korea)

**Abstract**: Synchronization of oscillators denotes a phenomenon for the adjustment of rhythms among weakly coupled oscillators, and one of collective modes appearing in oscillatory complex systems such as ensembles of Josepson junctions array, pacemaker cells and reies etc. In this talk, I will briefly report the recent progress for synchronization and discuss some challenging open problems arising from synchronization via the Kuramoto and Lohe models.

**On the structure of Nori's fundamental group scheme**

Phung Ho Hai (Institute of Mathematics, VAST)

**Abstract**: Let $X/k$ be a proper, connected scheme, where $k$ is a perfect field of characteristic $p>0$. M. Nori defined in the 70s a pro-finite affine group scheme associated to $X$ by applying Tannakian duality to the category of essentially finite vector bundles on $X$, which was introduced by himself. This group scheme is more general that the \'etale fundamental group scheme

introduced by A. Grothendieck. P. Deligne calls it the true fundamental group of a proper scheme. This group scheme contains two parts, an \'etale part and a local part. The \'etale part gives back Grothendieck's \'etale fundamental group. In the joint works with H. Esnault and with J.P. dos Santos, we study the relationship between this two parts. In turns out that, when $X$ is a curve of degree larger than 1, the two part are really entangled with each other..

**Some results about error bounds and weak sharp minima in the vector case**

Truong Xuan Duc Ha (Institute of Mathematics, VAST, Hanoi, Vietnam)

**Abstract:** The concepts of error bounds and weak sharp minima play an important role in optimality conditions, subdifferential calculus, stability and convergence of numerical methods. Numerous characterizations of the error bound property have been established in terms of various derivative-like objects either in the primal space (directional derivatives, slopes,etc) or in the dual space (subdifferentials, normal cones). In this talk, we present some results about slope, error bounds and weak sharp minima in the vector case.

** Classification of string solutions for the self-dual Einstein-Maxwell-Higgs model**

Jongmin Han (Kyung Hee University, Korea)

**Abstract:** In this talk, we are concerned with an elliptic system arising from the Einstein-Maxwell-Higgs model which describes electromagnetic dynamics coupled with gravitational fields in space-time. Reducing this system to a single equation and setting up the radial ansatz, we classify solutions into three cases: topological solutions, nontopological solutions of type I, and nontopological solutions of type II. There are two important constants: $a>0$ representing the gravitational constant and $N\ge0$ representing the total vortex number. When $0\le aN<2$, we give a complete classification of all possible solutions and prove the uniqueness of solutions to a given decay rate. We also prove the multiple existence of solutions to a given decay rate for the case $aN \ge 2$. These improve previously known results.

**Partner orbits and action differences on compact factors of the hyperbolic plane**

Huynh Minh Hien (Quy Nhon University, Vietnam)

**Abstract**: In this report, we consider the geodesic flow on compact factors of the hyperbolic plane. We present the existence of the periodic partner orbit for a given periodic orbit with a small-angle self-crossing in configuration space and an estimate for the action difference between the orbit pair. An inductive argument to deal with higher-order encounters is also introduced.

**Gromov-Witten invariants associated to rational curves on hypersurfaces**

Dang Tuan Hiep (NCTS, Taiwan & University of Dalat, Vietnam)

**Abstract**: This talk is to present some formulae for Gromov-Witten invariants associated to rational curves on hypersurfaces. I will define what Gromov-Witten invariants are, then focus on concrete examples coming from enumerative geometry of lines and conics. Some relations between the Gromov-Witten invariants and geometric ones are discussed. If time permits, I will talk about a joint work in progress with Professor Bumsig Kim.

**Regularity of complex Monge-Ampere equation**

Pham Hoang Hiep (Hanoi Institute of Mathematics-VAST)

**Abstract**: In this talk, we will present an overview of regularity and stability results for the complex Monge-Amp\`ere equations on compact K\"ahler manifolds.

**Zero $f$-mean curvature surfaces of revolution in the Lorentzian product $\Bbb G^2\times\Bbb R_1.$**

Doan The Hieu (College of education, Hue University, Vietnam)

**Abstract:** “We classify (spacelike or timelike) surfaces of revolution with zero $f$-mean curvature in $\Bbb G^2\times\Bbb R_1.$ It is proved that an $f$-maximal surface of revolution is either a vertical plane or a spacelike $f$-Catenoid. For the timelike case, a timelike $f$-minimal surface is either a vertical plane containing $z$-axis, the cylinder $x^2+y^2=1,$ or a timelike $f$-Catenoid. Spacelike and timelike $f$-Catenoids are new examples of $f$-minimal surfaces in $\Bbb G^2\times \Bbb R_1.$”.

**Rank-one solutions to systems of linear matrix equations and application to filter design problem**

Le Thanh Hieu (Quy Nhon University, Vietnam)

**Abstract**: This talk aims at presenting some necessary conditions and sufficient conditions for the existence of rank-one solutions to general systems of linear matrix equations. Conditions for the existence of low-rank solutions to such systems are also derived by using the facts on rank-one solutions.

\vskip0.2cm

\noindent

A numerical method for solving such a system is based on the generalized Levenberg Marquardt method for solving the least squares problem. This method is then applied to solve a low pass filter design problem as an illustration of such rank-one solutions.

**Balancing domain decomposition by constraints and perturbation**

Nguyen Trung Hieu (Duy Tan University, Vietnam)

**Abstract**: In this talk, we present a perturbed formulation of the BDDC method. We prove that the perturbed BDDC has the same polylogarithmic bound for the condition number as the standard formulation. Two types of properly scaled zero-order perturbations are considered: one uses a mass matrix and the other uses a Robin-type boundary condition, i.e, a mass matrix on the interface. With perturbation, the well-posedness of the local Neumann problems and the global coarse problem is automatically guaranteed and coarse degrees of freedom can be defined only for convergence purposes but not well-posedness. This allows a much simpler implementation as no complicated corner selection algorithm is needed. Minimal coarse spaces using only face or edge constraints can also be considered. They are very useful in extreme scale calculations where the coarse problem is usually the bottleneck that can jeopardize scalability. The perturbation also adds extra robustness as the perturbed formulation works even when the constraints fail to eliminate a small number of subdomain rigid body modes from the standard BDDC space. This is extremely important when solving problems on unstructured meshes partitioned by automatic graph partitioners since arbitrary disconnected subdomains are possible. Numerical results are provided to support the theoretical findings.

**Transformatio of Gibbs measures**

Soonjo Hong (National Institute for Mathematical Sciences, Korea)

**Abstract:** Gibbs states in thermodynamics are expressed as Gibbs measures on shift spaces. We apply the study of the transition classes of factor maps to investigate how Gibbs properties are lost and preserved under factor maps from shifts of finite type.

**Arithmetically Cohen-Macaulay sheaves on the double plane**

Sukmoon Huh (Sungkyunkwan University, Korea)

**Abstract:** A classical question is to ask if a general homogeneous polynomial can be written as a determinant of linear forms, and the positive answer for cubic polynomials in four variables was given about 150 years ago. But the negative answer for bigger number of variables can be easily given, due to the singularities of determinantal hypersurfaces. But the question is still open for a suitable power of polynoimals. In algebraic geometry, this question is translated to vanishing of certain cohomologies of some vector bundles on a hypersurface defined by the given polynomial.

\vskip0.2cm

\noindent

A weaker condition of vanishing enables us to define a new category of sheaves, called the arithmetically Cohen-Macaulay (for short, aCM) sheaves. They are locally Cohen-Macaulay and with no intermediate cohomology. They are expected to measure the complexity of the base variety and play a role of building blocks for the derived categories of coherent sheaves. In this talk, we report our recent result on the classification of aCM sheaves on quadric surfaces. This is joint work with Edoardo Ballico (Trento), Francesco Malaspina (Torino), Joan Pons-Llopis (Kyoto).

** **

**Sensitivity Analysis of an Optimization Problem under Nonlinear Perturbations **

Duong Thi Kim Huyen (Institute of Mathematics, VAST)

**Abstract**: We analyze the stability of the Karush-Kuhn-Tucker (KKT) point set map of a $C^2$-smooth parametric optimization problem with one $C^2$-smooth functional constraint under nonlinear perturbations by using a coderivative analysis of composite constraint functions of Levy and Mordukhovich [\textit{Math. Program.,} 99 (2004), pp.~311--327] and several related results. We not only give necessary and sufficient conditions for the local Lipschitz-like property of the KKT point set map, but also sufficient conditions for its Robinson stability. The obtained results lead us to new insights into the preceding deep results of Levy and Mordukhovich and of Qui [\textit{J. Optim. Theory Appl.,} 161 (2014), pp.~398--429; \textit{J. Glob. Optim.,} 65 (2016), pp.~615--635].

joint work with Jen-Chih Yao and Nguyen Dong Yen.

** **

**On the stability and solution sensitivity of a consumer problem**

Vu Thi Huong (Institute of Mathematics, VAST)

**Abstrac**: Various stability properties and a result on solution sensitivity of a consumer problem are obtained in this paper. Focusing on some nice features of the budget map, we are able to establish the continuity and the locally Lipschitz continuity of the indirect utility function, as well as the Lipschitz-H\"older continuity of the demand map under a minimal set of assumptions. The recent work of Penot [J. Nonlinear Convex Anal. 15 (2014), 1071--1085] is our starting point, while an implicit function theorem of Borwein [J. Optim. Theory Appl. 48 (1986), 9--52] and a theorem of Yen [Applied Math. Optim. 31 (1995), 245--255] on solution sensitivity of parametric variational inequalities are the main tools in our proofs.

* *

**Some of results relating to limit theorems for extended random summation of m-dependent random variables**

Le Truong Giang (University of Finance and Marketing, Vietnam)

Abstract: In this note, using the moving average technique, the weak laws of large numbers for random sums of stationary m-dependent random variables are established with the rate of convergence.

\vskip0.2cm

\noindent

Joint work with Tran Loc Hung and Nguyen Tan Nhut*.*

** **

** **

**Measure-preservation criteria for a certain class of 1-Lipschitz functions on $\mathbb{Z}_p$ in Mahler's expansion**

Sangtae Jeong (Inha University, Korea)

**Abstract**: In this talk, we formulate a conjecture for measure-preservation criteria of 1-Lipschitz functions defined on the ring $\Zp$ of $p$-adic integers in terms of Mahler's expansion. We then provide evidence for this conjecture when $p=3$, and verify that it also holds for a wider class of 1-Lipschitz functions that are everywhere differentiable on $\mathbb{Z}_p$, which we call $\mathbb{B}$-functions in the sense of Anashin. This is joint work with Chunlan Li.

** **

*The linear differential equations with complex constant coefficients and Schroedinger equations *

Soon-Mo Jung (Hongik University, Korea)

**Abstract**: We investigate some properties of approximate solutions for the second-order inhomogeneous linear differential equations, $y^{"}(x) + \alpha y^{′}(x) + \beta y(x) = r(x)$, with complex constant coefficients. Moreover, as an application of our results, we will prove the Hyers-Ulam stability of the time independent Schroedinger equations.

**Exponential sum and weight enumerators of linear codes**

Dongseok Ka (Chungnam National University, Korea)

**Abstract**: In this talk, we present results on the weight enumerators of linear codes in two parts. We first mention the complete weight enumerators of a class of linear codes $\mathcal{C}_{D}$ using exponential sum. Next, we compute weight enumerators of punctured linear codes of $\mathcal{C}_{D}$. This talk is based on a joint work with J. Ahn and C. Li.

**Linear and nonlinear metric regularity and optimality conditions**

Phan Quoc Khanh (International University, VNU-HCM)

**Abstract:** We propose a general nonlinear model of regularity including a functional regularity modulus instead of a linear modulas and a distance-like instead of a metric. Sufficient conditions for this regularity property are established based on the induction theorem instead of the Ekeland variational principle (EVP) used in most of the recent contributions to the topic. Moreover, the equivalence of our induction theorem and the EVP is proved. Next, we apply this general nonregularity condition to obtain nonclassical Karuch-Kuhn-Tucker (KKT) optimality conditions in nonsmooth optimization. Imposing the special case of directional Holder metric subregularity and using the Studniarski derivative we get higher orders of such KKT conditions. Moreover, assuming directional linear metric subregularity and using contingent-type derivatives we demonstrate nonclassical higher-order KKT conditions with additional complementarity slackness.

**Representations of quadratic forms**

Myung-Hwan Kim (Seoul National University, Korea)

**Abstract**: The 11th problem, among the famous 23 problems of Hilbert, asks to determine, for two quadratic forms given, whether one represents the other. In the core of this problem lies the Local-Global Principle. In this survey talk, recent developments in two interesting topics on the principle will be introduced. One topic is about universal vs regular forms while the other is about Hsia-Kitaoka-Kneser type theorems and their generalization.

**Shadowing and Inverse shadowing in Group actions**

Sang Jin Kim (Chungnam national university, Korea)

**Abstract**: Recently, Sergei Pilyugin extended a concept of inverse shadowing from homeomorphisms to group actions, and prove a reductive inverse shadowing theorem by using the tube condition which replaces the notion of topologically Anosov action. In this talk, we show that any finitely generated group action on a compact manifold has the inverse shadowing property if it is topologically stable, but the converse is not true in general. Moreover we investigate some relationship between continuous shadowing and continuous inverse shadowing in group actions. This is a joint work with Meihua Dong.

** **

**Varieties of minimal rational tangents on Veronese double cones**

Hosung Kim (National Institute for Mathematical Sciences, Korea)

**Abstract: **A rational curve $C$ in a nonsingular variety $X$ is standard if under the normalization $f : \mathbb P^1\rightarrow C\subset X$, the vector bundle $f^*T(X)$ decomposes as $\mathcal O(2)\oplus \mathcal O(1)^p\oplus \mathcal O^q$ for some nonnegative integers satisfying $p + q = \dim X-1$. For a Fano manifold $X$ of Picard number one and a general point $x\in X$, a general rational curve of minimal degree through $x$ is standard. It has been asked whether all rational curves of minimal degree through a general point $x$ are standard. In this talk, we will give a negative answer to this question.

This is a joint work with Jun-Muk Hwang.

** **

**Defining ideals of Rees algebras and special fiber rings**

Youngsu Kim (University of California Riverside)

**Abstract: **Rees algebras have been studied intensively in both commutative algebra and algebraic geometry. One of the questions that has not been well understood is their defining ideals. For instance, generating degrees of defining ideals of Rees algebras of homogeneous ideals in $k[x,y]$, where k is a field, is not known in general. In this talk, we present a result on defining ideals of Rees algebras of certain codimension 2 perfect ideals. This is joint work with Vivek Mukundan.

**Note on a difference between the approximate solution and accurate solution to SDDE**

Young-Ho Kim (Changwon National University, Korea)

**Abstract**: In this talk, we introduce some basic examples for differential delay equation and stochastic differential equation relevant to this topic. Also we deal with some difference or convergence theorem for some approximate solutions of the stochastic differential delay equation and apply these results to some asymptotic behavior of the solution of the delay equation.

**Geometric structure of phase tropical hypersurfaces **

Young Rock Kim (Hankuk University of Foreign Studies, Korea)

**Abstract**: First, we define phase tropical hypersurfaces in terms of a degeneration data of smooth complex algebraic hypersurfaces in $(\mathbb{C}^*)^n$. Next, we prove that complex hyperplanes are diffeomorphic to their degeneration called phase tropical hyperplanes. More generally, using Mikhalkin's decomposition of smooth algebraic hypersurfaces into pairs-of-pants, we show that phase tropical hypersurfaces with smooth tropicalization, possess naturally a smooth differentiable structure. Moreover, we prove that phase tropical hypersurfaces arising from this way possess a natural symplectic structure.

**Converse Lyapunov theorems via impulsive variational systems**

Namjip Koo (Chungnam National University, Korea)

**Abstract**: In this talk we develop useful relations which estimate the difference between the solutions of nonlinear impulsive differential equations with different initial values.

Then we obtain converse Lyapunov theorems of Massera's type for the nonlinear impulsive equations by employing the $t_\infty$-similarity of the associated impulsive variational equations and relations. This is joint work with Sung Kyu Choi.

**Incremental gradient method forr Karcher mean on symmetric cones**

Sangho Kum (Chungbuk National University, Korea)

**Abstract**: We deal with the minimization problem for computing Karcher mean on a symmetric cone. The objective of this minimization problem consists of the sum of squares of the Riemannian distances with many given points in a symmetric cone.

Moreover, the problem can be reduced to a bound constrained minimization problem. These motivate us to adapt an incremental gradient method. So we propose an incremental gradient method and establish its global convergence properties exploiting the Lipschitz continuity of the gradient of the Riemannian distance function.

**The cone property of parabolic partial differential equations**

Minkyu Kwak (Chonnam National University, Korea)

Abstract: The cone property is essential in the proof of existence of an inertial manifold.

We discuss this property and some extension to a certain class of parabolic equation with gradient in nonlinearity term

**Regularity of the structure sheaves and Castelnuovo normality of smooth varieties**

Sijong Kwak (Korea Advanced Institute of Science and Technology, Korea)

**Abstract**: In this talk, I'd like to report some recent result on the regularities and Castelnuovo normality of smooth varieties. In addition, some counterexamples of Eisenbud-Goto conjecture for singular varieties due to Mccullough and Peeva will be introduced with some computations.

**Dynamics of $\beta$-transformations and unique expansions over ternary alphabets**

DoYong Kwon (Chonnam National University, Korea)

Abstract: Let $\beta>1$ and $A$ be a finite alphabet of real numbers. After investigating dynamics of $\beta$-transformations, unique expansions over $A$ in base $\beta$ are considered. A real number $G_A$ called the generalized golden ratio is a border of situation of unique expansions. If $\beta<G_A$ then there are only trivial unique expansions in base $\beta$, while we have non-trivial unique expansions in base $\beta$ whenever $\beta>G_A$. For a given alphabet $A=\{a_1,a_2,a_3\}$ with $a_1<a_2<a_3$, we give a complete characterization of the generalized golden ratio $G_A$ effectively and algorithmically.

**Cross theorems for separately (.,W)-meromorphic functions**

Lien Vuong Lam (Pham Van Dong University, Viet Nam)

**Abstract**: In this talk, we show that Rothstein's theorem holds for $(F, W)$-meromorphic functions with $F$ is a sequentially complete locally convex space. We also prove that a meromorphic function on a Riemann domain $D$ over a separable Banach $E$ with values in a sequentially complete locally convex space can be extended meromorphically to the envelope of holomorphy $\widehat D$ of $D.$ Using these results, in the remaining parts, we give a version of Kazarian's theorem for the class of separately $(\cdot, W)$-meromorphic functions with values in a sequentially complete locally convex space and generalize cross theorem with pluripolar singularities of Jarnicki and Pflug for separately $(\cdot, W)$-meromorphic functions with values in a Fr\'{e}chet space.

\vkip0.2cm

\noindent

Joint work with Thai Thuan Quang.

**On robust semi-infinite multiobjective optimization problems**

Gue Myung Lee (Pukyong National University, Korea)

**Abstract**: In this talk, we consider a semi-infinite multiobjective optimization problemwith more than two differentiable objective functions and uncertain constraint functions,which is called a robust semi-infinite multiobjective optimization problem and give its robust counterpart (RSIMP) of the problem, which is regarded as the worst case of the uncertain semi-infinite multiobjective optimization problem. We prove a necessary optimality theorem for a weakly robust efficient solution of (RSIMP), and then give a sufficient optimality theorem for a weakly robust efficient solution of (RSIMP). We formulate a Wolfe type dual problem of (RSIMP) and give duality results which hold between (RSIMP) and its dual problem.

**Dynamics beyond hyperbolicity**

Keonhee Lee (Chungnam National University, Korea)

**Abstract**: Hyperbolic dynamical systems are nowadays fairly well understood from the topological and ergodic point of view. In this talk, we discuss some recent and ongoing works on the dynamics beyond hyperbolicity. In the first part, we will provide a characterization of robustly shadowable chain transitive sets for $C^1$-vector fields on compact smooth manifolds. In the second part, we extend the concepts of topological stability and pseudo-orbit tracing property from homeomorphisms to Borel measures, and prove that every expansive measure with the pseudo-orbit tracing property is topologically stable. This represents a measurable version of the stability theorem by Peter Walters. The first part is joint work with M. Reza and the second part is joint work with C.A. Morales.

**Lyapunov stable homoclinic classes with shadowing for flows**

Manseob Lee (Mokwon University, Korea)

**Abstract**: Let $M$ be a closed smooth manifold with ${\rm dim} M\geq3$ and let $d$ be the distance on $M$ induced from a Riemannian metric $\|\cdot\|$ on the tangent bundle $TM,$ and denote by $\mathfrak{X}(M)$ the set of $C^1$-vector fields on $M$ endowed with the $C^1$-topology. Then every $X\in\mathfrak{X}(M)$ generates a $C^1$-flow $X_t : M\times \R \to M.$ In this talks, we show that for $C^1$ generic $X\in\mathfrak{X}(M)$, if a bi-Lyapunov stable homoclinic class $H_X(\gamma)$ is shadowing then $H_X(\gamma)\cap Sing(X)=\emptyset$ and $H_X(\gamma)$ is hyperbolic, for some hyperbolic periodic orbit $\gamma.$ Moreover, if a bi-Lyapunov stable homoclinic class $H_X(\gamma)$ is homogeneous then it is hyperbolic.

**Lifting problem for commuting subnormals**

Sang Hoon Lee (Chungnam National University, Korea)

**Abstract**: The Lifting Problem for Commuting Subnormals (LPCS) asks for necessary and sufficient conditions for a pair of subnormal operators on a Hilbert space to admit commuting normal extensions. This is an old problem in operator theory. There are many known examples of commuting pairs of subnormal operators which admit no lifting. Also many sufficient conditions for the existence of a lifting have been found. In 1978, A. Lubin addressed a concrete problem about the LPCS: Does the subnormality for the sum of commuting subnormal operators guarantee the existence of commuting normal extensions ? In this talk we give an answer to this question. It is joint work with W. Y. Lee and J. Yoon.

**Transitive sets of discrete dynamical systems**

Seunghee Lee (National Institute for Mathematical Sciences, Korea)

**Abstract**: Let $f$ be a diffeomorphism of a compact $C^\infty$ manifold $M$, and let $\Lambda\subset M$ be a transitive set of $f$. In this talk, we prove that if a diffeomorphism $f$ belongs to the $C^1$ interior of the set of $\Lambda$-topologically stable diffeomorphisms then $\Lambda$ is hyperbolic.

**On rational maps from a hypersurface section of a Fano 3-fold and its double cover**

Yongnam Lee (Mathematical Sciences, KAIST, Korea)

**Abstract**: In this talk, we treat dominant rational maps from a very general element in hypersurface sections of a smooth Fano 3-fold and its double cover to smooth projective surfaces. The method of our study combines the classification of algebraic surfaces and smooth Fano 3-folds, Hodge theory, and the deformation theory. This is a joint work with Gian Pietro Pirola.

**Gradient projection methods for Wasserstein barycenters of Gaussian measures**

Yongdo Lim (Sungkyunkwan University, Korea)

Abstract: We are concerned with optimization methods for the Wasserstein least squares problem of Gaussian measures. Based on its equivalent form on the convex cone of positive definite matrices of fixed size and the strict convexity of the variance function, we present gradient projection methods and convergence analysis from Lipschitz continuity of the gradient function.

**Castelnuovo-Mumford regularity and Hilbert coefficients of parameter ideals**

Cao Huy Linh (College of Education, Hue University, Vietnam)

**Abstract**: Let $(A,{\frak m})$ be a noetherian local ring of dimension $d$. The ring $A$ is called almost Cohen-Macaulay if $\depth(A) \geq d - 1$. In this talk, we will prove the non-positivity of the Hilbert coefficients of parameter ideals of the almost Cohen-Macaulay ring. We will also give a bound for the regularity of associated graded rings in terms of Hilbert coefficients of parameter ideals.

**Minimal time function associated with a collection of sets in normed spaces**

Nguyen Van Luong (Hong Duc University, Vietnam)

**Abstract**: In this talk, I will first introduce the concept of minimal time function associated with a collection of sets in normed spaces. I then present various properties of this function: lower semicontinuity, convexity, Lipschitzianity, and subdifferential calculus.

**Polynomial decay of mild solutions to two-term time fractional differential equations**

Vu Trong Luong (Tay Bac University, Vietnam)

**Abstract**: We present recent results on the existence of mild solutions with explicit decay rate of polynomial type for a class of two-term time fractional differential equations with nonlocal initial conditions.

**New criteria for robust finite-time stabilization of linear singular systems with interval time-varying delay**

Nguyen H. Muoi (Institute of Mathematics, VAST, Vietnam)

**Abstract**: Finite-time stabilization involves finding state feedback controllers which robustly stabilize the closed-loop system in the finite-time sense. This paper deals with robust finite-time stabilization of linear singular systems with interval time-varying delay. Based on the singular value decomposition method and using an extended Jensen inequality lemma, we provide new sufficient conditions for robust finite-time stabilization. The proposed conditions expressed in terms of linear matrix inequalities allow us to construct state feedback controllers which robustly finite-time stabilize the closed-loop system. A numerical example is given to illustrate the efficiency of the proposed methods.

Joint work with Vu Ngoc Phat.

**Inverse problems with nonnegative and sparse solutions: Algorithms and application to phase retrieve problem**

Pham Quy Muoi (University of Education – The University of Danang, Vietnam)

**Abstract:** In this paper, we study the gradient-type method and the semismooth Newton method for minimization problems in regularization of inverse problems with nonnegative and sparse solutions. We propose a special penalty functional, which makes regularized minimization problems having nonnegative and sparse minimizers and then applied the algorithms for solving the problem. Here, the strongly convergence of the gradient-type method and the local superlinear convergence of the semismooth Newton method are proved. Then, we use these algorithms for phase retrieve problem. Finally, we illustrate the efficiency of the algorithms for phase retrieve problem by a numerical example.

\vskip0.2cm

\noindent

Joint work with Dinh Nho H\`ao, Cuong Dang and Dongliang.

**Quasinonexpansive mappings involving pseudomonotone bifunctions**

Le Dung Muu (Institute of Mathematics, VAST)

**Abstract**: We present new quasi-nonexpansive mappings involving pseudomonotone bifunctions defined on convex sets in real Hilbert space. We investigate some properties concerning their fixed point sets. Some applications to equilibrium problems are discussed.

**Shadowing properties in the Julia set of one dimensional expanding maps**

Young Woo Nam (Hongik University, Korea)

**Abstract:** The Julia set of rational map, f on the Riemann sphere is a compact and completely invariant set under f. An expanding map on the neighborhood of Julia set on the Riemann sphere is called hyperbolic map. In this talk, we see that if f is hyperbolic on the Julia set, then it has various shadowing properties according to the results of the shadowing of non invertible maps on the compact metric space. Later, we see that some non-hyperbolic rational maps which have shadowing property in the Julia set. Some open problems and further topics would be suggested.

**Bohl-Perron type stability theorems for linear singular difference equations**

Ngo Thi Thanh Nga (Thang Long University, Vietnam)

**Abstract**: In this report, we analyze the solution properties of linear singular system of difference equations of the form

\begin{equation}\label{ee2.3.1}

E_n y(n+1)= A_n y(n)+q_n, \qquad n\in N, n \geq n_0,

\end{equation}

where $E_n, A_n $ are real or complex matrices of size $d\times d$, $q_n$ are $d$-dimensional vectors, $n_0$ is a given integer.

%and $N(n_0)$ denotes the set of integers that are greater than or equal to a given integer $n_0$.

The homogeneous system associated with (\ref{ee2.3.1}) is

\begin{equation}\label{ee2.3.2}

E_n x(n +1)= A_n x(n),\qquad n\in N, n \geq n_0.

\end{equation}

We aim to extend Bohl-Perron type theorems which are well known in the theory of ordinary differential equations and difference equations to singular difference equations. Namely, we characterize the relation between the exponential stability (uniform stability) of homogeneous equation (\ref{ee2.3.2}) and the solution properties of nonhomogenous equation (\ref{ee2.3.1}).

\vskip0.2cm

\noindent

Joint work with Vu Hoang Linh

**Optimal control of the 3D Navier-Stokes-Voigt equations**

Tran Minh Nguyet (Thang Long University, Vietnam)

**Abstract:** We consider an optimal control problem for the 3D Navier-Stokes- Voigt equations in bounded domains, where the time needed to reach a desired state plays an essential role. We first prove the existence of optimal solutions, and then establish the first-order necessary optimality conditions, and the second-order sufficient optimality conditions.

**Lightening the assumption for Pontryagin principles in infinite horizon and discrete time**

Ngo Thoi Nhan (University Paris 1 Pantheon Sorbonne and Hue College of Economics)

**Abstract:** In the infinite-horizon and discrete-time framework, there are many existing results on maximum principles of Pontryagin for optimal control problems with dynamical system governed by a difference equation or a difference inequation. The general method is to translate the optimal control problem into a static optimization problem, then use an appropriate multiplier rule for such problem. However, many existing multiplier rules require the Lipschitzian conditions to use Clarke’s calculus, while others require the smoothness or at least, the Fréchet differentiability and the continuity on a neighborhood of the optimal solution of the functions issued in the problem. Besides, for the optimal control problems in the presence of constraints for the input controls, the linear independence of the differentials of the functions in these constraints was used to assure that the multipliers with respect to the criterion and the dynamical system are not simultaneously zero. In this work, we establish maximum principles of Pontryagin under assumptions, which are weaker than those of existing results by avoiding several assumptions of continuity, of Fréchet differentiability and of linear independence.

**On the topological entropy of nonautonomous systems**

Le Duc Nhien (Hanoi University of Science – VNU)

**Abstract:** We extend the concept topological entropy to nonautonomous linear systems. Next, we give an estimation of the topological entropy for the class of bounded linear equation in finite dimensional dimension. Finally, we investigate the invariant properties of the topological entropy under transformations such as topological conjugacy, topological equivalence and kinematically similar.

\vskip0.2cm

\noindent

This is joint work with Le Huy Tien.

*Data assimilation in heat conduction*

Nguyen Thi Ngoc Oanh (College of Science, Thainguyen University, Vietnam)

**Abstract:** We study the problems of reconstructing the initial condition in parabolic equations from the observation at the final time, from interior integral observations, and from boundary observations. We reformulate these inverse problems as variational problems of minimizing appropriate misfit functionals. We prove that these functionals are Fréchet differentiable and derive a formula for their gradient via adjoint problems. The direct problems are first discretized in space variables by the finite difference method and the variational problems are correspondingly discretized. To solve the problems numerically, we further

discretize them in time by the splitting method. It is proved that the completely discretized functionals are Fréchet differentiable and the formulas for their gradient are derived via discrete adjoint problems. The problems are then solved by the conjugate gradient method and tested on computer. As a by-product of the variational method based on Lanczos algorithm, we suggest a simple method to approximate the degree of ill-posedness.

\vskip0.2cm

\noindent

This is joint work with Dinh Nho Hào.

**Measure expansiveness of Semi-flows with positive entropy**

Jumi Oh (Sungkyunkwan University, Korea)

**Abstract:** In this talk, we study the measure expansiveness of semi-flows on a compact metric space which has positive measure-theoretical entropy.

**Hyperbolicity of a type of limit shadowing**

Junmi Park (Mokwon University, Korea)

**Abstract**: In 2013, it is introduced the exponential limit shadowing property and showed that $\Omega$-stability implies the exponential limit shadowing property. In this talk, we study the relation between the exponential limit shadowing property and hyperbolic structure of a system. More precisely, let $M$ be a compact smooth manifold with a metric $d$ and let $f:M\to M$ be a diffeomorphism. We show that if $f$ is in the $C^1$ interior of the set of diffeomorphisms satisfying the exponential limit shadowing property then it is Anosov. Moreover, $C^1$ generically, $f$ has the exponential limit shadowing property the it is Anosov. This is joint work with Manseob Lee.

**Function spaces for the incompressible flows**

Jaiok Roh (Hallym University, Korea)

**Abstract**: The function spaces for the incompressible flows are very important. In this talk, we will see the interesting properties for the function spaces we will use for the incompressible flows in different physical domains.

**Spectral monodromy of small non-selfadjoint perturbations of nearly integrable Hamiltonians**

Phan Quang Sang (Vietnam National University of Agriculture)

**Abstract**: We work with small non-selfadjoint perturbations of a selfadjoint quantum Hamiltonian with two degrees of freedom, assuming that the principal symbol of the selfadjoint part is (classically) a nearly integrable system, together with a globally non-degenerate condition. We define a monodromy directly from the spectrum of such an operator, in the semiclassical limit. Moreover, this spectral monodromy allows to detect the topological modifcation on the dynamics of the nearly integrable system. It can be identifed with the monodromy for KAM invariant tori of the nearly integrable system.**Keywords**: Hamiltonian systems, non-selfadjoint, asymptotic spectral, pseudo-diferential operators, KAM theory.

**An optimal control problem of the 3D viscous Camassa-Holm equations**

Dang Thanh Son (Telecommunications University, Vietnam)

**Abstract**: In this paper we study an optimal control problem of the three dimensional viscous Camassa-Holm equations in bounded domains. We prove the existence of optimal solutions and then establish the first-order necessary and second-order sufficient optimality conditions. This is joint work with Cung The Anh.

**On the existence of Pareto solutions for semi-algebraic vector optimization problems**

Pham Tien Son (University of Dalat, Vietnam)

**Abstract**: We are interested in the existence of Pareto solutions to the vector optimization problem

$$\text{\rm Min}_{\,\mathbb{R}^m_+} \{f(x) \,|\, x\in \mathbb{R}^n\},$$

where $f\colon\mathbb{R}^n\to \mathbb{R}^m$ be a $C^1$ semi-algebraic map.

By using the so-called {\em tangency variety} of $f$ we first construct a semi-algebraic set of dimension at most $m - 1$ containing the set of Pareto values of the problem. Then we establish connections between Palais--Smale conditions, $M$-tameness, and properness for the map $f$. Based on these results, we provide some sufficient conditions for the existence of Pareto solutions of the problem. We also introduce a generic class of polynomial vector optimization problems, which have at least one Pareto solution.

This is joint work with Do Sang Kim and Nguyen Van Tuyen.

**Solution existence for quadratic programs in banach spaces**

Nguyen Nang Tam (Hanoi Pedagogical University 2, Vietnam)

**Abstract:** In this talk we discuss quadratic programs in Banach spaces and propose sufficient conditions for the solution existence of convex quadratic programs under finitely many convex quadratic constraint in reflexive Banach spaces

\vskip0.2cm

\noindent {\bf Key words.} \ quadratic program in Banach spaces, solution existence, Legendre form, recession cone.

\vskip0.2cm

\begin{thebibliography}{99}

\bibitem{Bona} J. Fr\'{e}d\'{e}ric Bonnans, Alexander Shapiro, \textit{Perturbation Analysis of Optimization Problems}, Springer (2000).

\bibitem{Dong} V. V. Dong, N. N. Tam, {\it On the Solution Existence of Convex Quadratic Programming Problems in Hilbert Spaces}, Taiwanese Journal of Mathematics, DOI:10.11650/tjm.xx.20xx.6936

\bibitem{Luo}

Z.-Q. Luo and S. Zhang, {\it On Extensions of the Frank-Wolfe Theorems}, Computational Optimization and Applications 13 (1999), 87--110.

\bibitem{Kim}\ D. S. Kim, N. N. Tam, and N. D. Yen, {\it Solution existence and stability of quadratic of quadratically constrained convex quadratic programs}, Optim. Lett. 6 (2012), pp. 363--373..}

\end{thebibliography

**Quasi-equilibrium problems and fixed point theorems of the sum of lower and upper semicontinuous mappings**

Nguyen Xuan Tan (IMH-VAST)

**Abstract**: We first formulate generalized quasi-equilibrium problems concerning multivalued mappings and give some sufficient conditions to the existence of their solutions. In particular, we establish several results on the existence of solutions to fixed points of the sum of l.s.c and u.s.c mappings.

These generalize some well-known fixed point theorems obtained by previous authors as Ky Fan, F. E. Browder and Ky Fan, X. Wu, L. J. Lin, and Z. T. Yu etc.

Lastly, we apply the obtained results to quasi-equilibrium problems of types I, II and mixed quasi-equilibrium problems of these two types.

**Weak expansive measures for flows**

Nguyen Ngoc Thach (Chungnam National University, Korea)

**Abstract**: Recently, Carrasco-Olivera and Morales extended a concept of expansive measure from homeomorphisms to flows by using Borel orbit-vanishing measures, and proved that there were no measure-expansive flows on closed surfaces. In this talk, we introduce a concept of weak expansive measure for flows which is really weaker than that of expansive measure, and show that there is a weak measure-expansive flow on a closed surface. Moreover, we prove that for any flow $\phi$ on a compact metric space $X$, the set of $\phi$-orbit-vanishing measures is dense in the set of all Borel probability measures on $X$ with weak*-topology. The result is applied to characterize the set of weak measure-expansive flows using the notion of countably expansive flows. This is a joint work with K. Lee.

**Optimality conditions for nonsmooth vector problems in normed space via generalized Hadamard directional derivatives**

Phan Nhat Tinh (University of Hue, Faculty of Sciences, Vietnam)

**Abstract**: By introducing the concepts of generalized Hadamard directional derivatives, we establish first and second order optimality conditions for nonsmooth vector problems with set constraint in normed spaces. Our results generalize, sharpen and strengthen some recent known ones. Illustrative numerical examples are also given.

**Invariant manifolds for dynamic systems with dominated splitting**

Le Huy Tien (Hanoi University of Science – VNU)

**Abstract**: On time scale with bounded graininess, we prove the existence and smoothness of invariant manifolds for linear dynamic systems with dominated splitting.

Joint work with Le Duc Nhien

**Feedback control of the 3D Navier-Stokes- $\alpha$ equations by finite determining parameters**

Vu Manh Toi (Thuyloi University)

**Abstract:** We study the stabilization of solutions to the 3D Navier-Stokes-$\alpha$ equations by finite-dimensional feedback control scheme introduced recently by Azouani and Titi in [{\it Evol. Equ. Control Theory} 3 (2014), 579- 594]. The designed feedback control scheme is based on the finite number of determining parameters (degrees of freedom), namely, finite number of determining Fourier modes, determining nodes, and determining finite volume elements. This is joint work with Cung The Anh.

**On the location of eigenvalues of matrix polynomials**

Le Cong Trinh (Quy Nhơn University)

**Abstract**: Let $\mathbb C^{n\times n}$ denote the set of all $n\times n$ matrices whose entries in $\mathbb C$. For a \textit{matrix polynomial} we mean the matrix-valued function in one complex variable of the form

\begin{equation*}\label{mp}

P(z)= A_m z^m + \cdots + A_1 z + A_0,

\end{equation*}

where $A_i\in \mathbb C^{n\times n}$ for all $i=0,\cdots,m$. If $A_m\not =0$, $P(z)$ is called a matrix polynomial of \textit{degree} $m$. When $A_m=I$, the identity matrix, the matrix polynomial $P(z)$ is called \textit{monic}.

A number $\lambda \in \mathbb C$ is called an \textit{eigenvalue} of the matrix polynomial $P(z)$, if there exists a nonzero vector $x\in \mathbb C^n$ such that $P(\lambda)x=0$. Then the vector $x$ is called, as usual, an \textit{eigenvector} associated to the eigenvalue $\lambda$. Note that each finite eigenvalue of $P(z)$ is a solution of the the \textit{characteristic polynomial} $\det(P(z))$.

The \textit{polynomial eigenvalue problem (PEP)} is to find an eigenvalue $\lambda$ and a non-zero vector $x\in \mathbb C^n$ such that $P(\lambda)x = 0$. For $m=1$, (PEP) is actually the \textit{generalized eigenvalue problem (GEP)}

$$ Ax = \lambda Bx,$$

and, in addition, if $A_1=I$, we have the standard eigenvalue problem

$$ Ax = \lambda x.$$

For $m=2$ we have the \textit{quadratic eigenvalue problem (QEP)}.

(QEP), and more generally (PEP), plays an important role in applications to science and engineering. We refer to \cite{TM} for a survey on applications of (QEP). Moreover, we refer to the book of I. Gohberg, P. Lancaster and L. Rodman \cite{GLR} for a theory of matrix polynomials.

Computing eigenvalues of matrix polynomials (even computing zeros of univariate polynomials and eigenvalues of scalar matrices) is a hard problem. Therefore, it is useful to find the location of these eigenvalues. Note that, if $A_m$ is singular, then $P(z)$ has an infinite eigenvalue, and if $A_0$ is singular then $0$ is an eigenvalue of $P(z)$.

Therefore, in order to find an upper bound and a lower bound for $|\lambda|$, \textit{we always assume $A_m$ and $A_0$ to be non-singular}

In \cite{HT}, N.J. Higham and F. Tisseur have given some bounds for eigenvalues of matrix polynomials based on the norm of their coefficient matrices. Continuing the idea of N.J. Higham and F. Tisseur, in this talk we establish some other bounds for the module of eigenvalues of the matrix polynomial $P(z)$, generalize some known results on the location of zeros of univariate polynomials given in \cite{D, DG, DW, JLR, MR, SiSh}, and compare these bounds to those given by N.J. Higham and F. Tisseur.

Joint work with Nguyen Tran Duc and Du Thi Hoa Binh

\begin{thebibliography}{99}

\bibitem{D} M. Dehmer, On the location of zeros of complex polynomials, \textit{J. Inequal. Pure Appl. Math.} \textbf{7}(1), Art. 26, 2006.

\bibitem{DG} B. Datt and N. K. Govil, On the location of the zeros of a polynomial,\textit{ J. Approx. Theory} \textbf{24} (1978), 78-82.

\bibitem{DW} G. Dirr and H. K. Wimmer, An Eneström-Kakeya theorem for hermitian polynomial matrices, \textit{IEEE Trans. Automat. Control } \textbf{52} (2007), 2151–2153.

\bibitem{GLR} I. Gohberg, P. Lancaster and L. Rodman, \textit{Matrix Polynomials}, Academic Press, New York, 1982.

\bibitem{HT} N.J. Higham and F. Tisseur, Bounds for eigenvalues of Matrix Polynomials, \textit{Linear Algebra and Its Applications} \textbf{358} (2003), 5-22.

\bibitem{JLR} A. Joyal, G. Labelle and Q. I. Rahman, On the location of zeros of polynomials, \textit{Cand. Math. Bull.} \textbf{10} (1967), 53-63.

\bibitem{MR} G.V. Milovanović and Th. M. Rassias, \textit{Inequalities for polynomial zeros}, In: Survey on Classical Inequalities (Th. M. Rassias, ed.), Mathematics and Its Applications, Vol. 517, pp. 165–202, Kluwer, Dordrecht, 2000.

\bibitem{SiSh} G. Singh and W. M. Shah, On the Location of Zeros of Polynomials, Amer. J. Comp. Math. \textbf{1} (1)(2011), 1-10.

\bibitem{TM} F. Tisseur and K. Meerbergen, The quadratic eigenvalue problem,

\textit{SIAM Review}, \textbf{43}(2)(2001), 235–286.

\end{thebibliography}

**Numerical solution for a class of structured strangeness-free differential-algebraic equations by linear multistep methods**

Nguyen Duy Truong (Tran Quoc Tuan University, Vietnam)

**Abstract**: It is known that when we apply a linear multistep method to nonlinear strangeness-free differential-algebraic equations (DAEs), the strict stability of the second characteristic polynomial is required for the method stability. In this report we present and analyze implicit and half-explicit linear multistep methods for a class of structured strangeness-free DAEs. By applying the methods to reformulated DAEs, the methods have the same convergent order and stability property as applied to ordinary differential equations. That is, the strict stability of the second characteristic polynomial is relaxed. Numerical experiments are given to confirm the theoretical results.

\vskip0.2cm

\noindent

Joint work with Vu Hoang Linh.

** **

**Lipschitz stability for inverse conductivity problem**

Dang Anh Tuan (Hanoi University of Science – VNU)

**Abstract**: In a seminal paper A. P. Calderon considered the elliptic Dirichlet problem

\begin{align}

div(\gamma \nabla u)&=0, \text{ in } \Omega,\label{eq0.1}\\

u&=\varphi, \text{ on } \partial\Omega,\label{eq0.2}

\end{align}

where $\Omega$ is a bounded connected open set in $\mathbb R^n, n\ge 2,$ the function $\gamma$ (called conductivity) is bounded measurable and satisfies the ellipticity condition

$$0<\lambda \le \gamma \le \lambda^{-1} \text{ a.e. in } \Omega,$$

for some positive $\lambda\in\mathbb R, \varphi\in H^{1/2}(\partial\Omega).$ There is a unique weak solution $u\in H^1(\Omega).$ The Dirichlet-Neumann (DN) map associated to the Dirichlet boundary value problem \eqref{eq0.1}-\eqref{eq0.2} is defined by

\begin{align*}

\Lambda_\gamma: H^{1/2}(\partial\Omega)&\to H^{-1/2}(\partial\Omega),\notag\\

\varphi&\mapsto \gamma \nabla u\cdot\nu\Big|_{\partial\Omega},

\end{align*}

where $\nu$ denotes the exterior unit normal to $\partial\Omega.$ Calderon studied the inverse problem as follows: determining $\gamma$ when $\Lambda_\gamma$ is known.\\

In 1988 Alessandrini proved a logarithm stability theorem for the dimension $n\ge 3.$ After a long time, in 2001, Madache showed that the logarithm stability is the best and Barcelo et. al. showed the logarithm stability in the plane. In 2005, Alessandrini and Vessella considered piecewise contant conductivities and proved a Lipschitz stability theorem for this case. Rondi showed the contant in the Lipschitz stability theorem grows exponentially with the number of domain. In 2011, Beretta and Francini showed the Lipschitz stability for complex piecewise constant conductivies. In 2014, Gaburro and Sincich showed the Lipschitz stability for anisotropic conductivities.\\

In this talk, we consider the case as Gaburro and Sincich did with a weaker assumption on anisotropic conductivities.

joint work with Nguyen Anh Tu

**Stochastic dynamic delay equation on time scale**

Le Anh Tuan (Ha Noi University of Industry)

**Abstract:** The stochastic differential/difference delay equations have come to play an important role in describing the evolution of eco-systems in random environment, in which the future state depends not only on the present state but also on its history.

Therefore, their qualitative and quantitative properties have received much attention from many research.

\vskip0.2cm

\noindent

In order to unify the theory of differential and difference equations into a single set-up, the theory of analysis on time scales has received much attention from many research groups. While the deterministic dynamic equations on time scales have been

investigated for a long history, as far as we know,we can only refer to very few papers: M. Bohner, O. M. Stanzhytskyi and A. O. Bratochkina, with “Stochastic dynamic equations on general time scales”; N. H. Du and N. T. Dieu, with ” Stochastic dynamic equation on time scale”; N. H. Du, N.T. Dieu, L. A. Tuan, with “Exponential P-stability of stochastic -dynamic equations on disconnected sets”, which contributed to the stochastic dynamics on time scales. Moreover, there is no work

dealing with the stochastic dynamic delay equations.

\vskip0.2cm

\noindent

Motivated by the aforementioned reasons, the aim of this paper is to consider the existence, uniqueness and uniformly exponential p-stability of the solution for stochastic dynamic delay equations on time scales. This work can be considered as aunification and generalization of stochastic difference and stochastic differential delay equations.

**Special $L$-values of Drinfeld modules and applications**

Ngo Dac Tuan (CNRS and University of Caen Normandy, France)

**Abstract**: In this talk, I will discuss a formula for special $L$-values of Drinfeld modules which gives function field analogues of the class number formula. In the genus 0 case, I will recall important results in this direction due to Taelman and several generalizations due to Fang and Anglès-Pellarin-Tavares Ribeiro. Then I will report recent results in the higher genus case. If times permits, I will give arithmetic applications for Drinfeld-Hayes modules. This is a joint work with B. Anglès and F. Tavares Ribeiro.

** **

**Strong Second-Order Karush-Kuhn-Tucker Optimality Conditions for Vector Optimization**

Nguyen Van Tuyen (Hanoi Pedagogical University No. 2, Vietnam)

**Abstract**. This talk focuses on vector optimization problems with constraints, where objective functions and constrained functions are Fréchet differentiable, and whose gradient mapping is locally Lipschitz on an open set. By using the second-order symmetric subdifferential and the second-order tangent set, we introduce two new types of the Abadie second-order regularity conditions. Then we establish some strong second-order Karush-Kuhn-Tucker necessary optimality conditions for a Geoffrion properly (an) efficient solution to this problem. Examples are given to illustrate the obtained results.

**Affine variational inequalities on normed spaces**

Nguyen Dong Yen(Institute of Mathematics) and Xiaoqi Yang (The Hong Kong Polytechnic University, Hong Kong)

**Abstract**: This paper studies infinite-dimensional affine variational inequalities (AVIs) on normed spaces. It is shown that infinite-dimensional quadratic programming problems and infinite-dimen\-sio\-nal linear fractional vector optimization problems can be studied by using AVIs. We present two basic facts about infinite-dimensional AVIs: the Lagrange multiplier rule and the solution set decomposition.

**AMS Subject Classifications**: 49J40, 49J50, 49K40, 90C20, 90C29.**Keywords and Phrases**: Infinite-dimensional affine variational inequality, Infinite-dimensional quadratic programming, Infinite-dimensional linear fractional vector optimization, Generalized polyhedral convex set, Solution set.**Related Topics**: Variational Analysis, Optimization Theory.

**Ellipsoidal BGK model for polyatomic particles**

Seok-Bae Yun (Sungkyunkwan University, Korea)

**Abstract**: In this talk, we present our recent results on the polyatomic ellipsoidal BGK model, which is a relaxation type kinetic model describing the time evolution of phase space distribution of polyatomic particles.

**Decomposition of factor codes**

Jisang Yoo (Seoul National University, Korea)

**Abstract:** It is well known that equilibrium states (e.g. measure of maximal entropy, g-measures) on mixing subshifts of finite type are unique as long as the potential function is sufficiently regular. We study generalizations of this result relative to factor maps. We prove and apply a new structure result for factor maps between symbolic dynamical systems to analyze relative equilibrium states. This enables us to give a positive answer to an open problem posed by M. Boyle and K. Petersen: are measures of maximal relative entropy over any Markov measure unique?.

** **

**Regularity and Multisecant lines of finite schemes**

Youngho Woo (National Institute for Mathematical Sciences, Korea)

**Abstract**: For a nondegenerate finite subscheme Z in a projective space, let reg(Z) and l(Z) be respectively the regularity of Z and the largest integer l such that there exists an l-secant line to Z. It is always true that reg(Z) >= l(Z). In this talk, we show that if reg(Z) is big enough then is reg(Z) = l(Z). This is a joint work with E. Park and W. Lee

** **