• 沒有找到結果。

2012 Workshop on Nonlinear Analysis and Optimization

N/A
N/A
Protected

Academic year: 2022

Share "2012 Workshop on Nonlinear Analysis and Optimization"

Copied!
25
0
0

加載中.... (立即查看全文)

全文

(1)

2012 Workshop on Nonlinear Analysis and Optimization

Department of Mathematics National Taiwan Normal University

November 28-30, 2012

Sponsored by

College of Science, National Taiwan Normal University Mathematics Research Promotion Center, NSC

Organized by

Mau-Hsiang Shih and Jein-Shan Chen

(2)

Schedule of Programs

Place : M210, Mathematics Building

Table 1: November 28, Wednesday

Chair Speaker Title

09:00 M-H Shih W. Takahashi Nonlinear analytic methods for linear operators

09:40 in Banach spaces

09:40 M-H Shih S. Akashi Asymptotic behavior of the orbits of the dynamical systems

10:20 constructed from generalized Collatz-mappings

Tea Break

10:40 H-C Lai L-J Lin Bregman distance and related results on Banach spaces 11:20

11:20 H-C Lai G. M. Lee On mathematical programs with equilibrium constraints 12:00

Lunch Break

14:00 D-S Kim H-C Lai Multicriteria minimax programming problem in complex space 14:40

14:40 D-S Kim M. Hojo Fixed point theorems and convergence theorems for non-self

15:20 mappings in Hilbert spaces

Tea Break

(3)

Table 2: November 29, Thursday

Chair Speaker Title

09:00 J-S Chen M. S. Gowda Z-transformations in complementarity theory and

09:40 dynamical systems

09:40 J-S Chen C. B. Chua A barrier-based smoothing proximal point algorithm for 10:20 nonlinear complementarity problems over closed convex cones

Tea Break

10:40 G. M. Lee R-L Sheu Tightening a copositive relaxation for standard quadratic

11:20 optimization problems

11:20 G. M. Lee C-H Ko Optimal grasping manipulation for multifingered robots

12:00 using semismooth Newton method

Lunch Break

14:00 R-L Sheu P-W Chen A perfect match condition for point-set matching problems

14:40 using the optimal mass transport approach

14:40 R-L Sheu J-H Chen Optimal policies of non-cross-resistant chemotherapy on

15:20 a cancer model

Tea Break

15:40 S. Akashi B-S Tam Maximal exponents of polyhedral cones 16:20

16:20 S. Akashi D-S Kim Nonsmooth semi-infinite multiobjective optimization problems 17:00

(4)

Table 3: November 30, Friday

Chair Speaker Title

09:10 J-S Chen Y-G Liu Optimization and applications for some tomography 09:50

10:00 J-S Chen C-H Huang Equilibria of abstract economies for Φ-majorized mappings 10:40

10:50 J-S Chen S-H Wu Thomas’ Conjecture on Finite Distributive Lattices 11:30

(5)

Asymptotic behavior of the orbits of the dynamical systems constructed from generalized Collatz-mappings

Shigeo Akashi

Department of Information Sciences Faculty of Science and Technology

Tokyo University of Science

2641 Yamazaki, Noda-shi, Chiba-ken, Japan E-mail: akashi@is.noda.tus.ac.jp

Abstract. The Collatz conjecture is a conjecture in mathematics named after Lothar Collatz, who first proposed it in 1937, and several approaches to this problem, which are based on various research areas in mathematics such as number theory, probability theory and computation theory, are developed. Actually, fixed point theoretic methods have not appeared yet.

In this talk, we apply fixed point theory to Collatz conjecture, whiich remains to be solved. exactly speaking, we investigate asymptotic behavior of the orbits of the dynamical systems, which can be constructed from generalized Collatz mappings.

(6)

Optimal policies of non-cross-resistant chemotherapy on a cancer model

Jeng-Hui Chen

Department of Applied Mathematics National Chengchi University

Taipei 11605, Taiwan E-mail: jhchen@nccu.edu.tw

Abstract. Mathematical models can be applied to study the chemotherapies on tumor cells. Especially, in 1979, Goldie and Coldman proposed the first mathematical model to relate the drug sensitivity of tumors to their mutation rates. They used their model to explain why alternating non-cross-resistant chemotherapy is optimal with simulation approach (jointly with Guaduskas) and later provided a mathematical proof to their ear- lier simulation work.

However, Goldie and Coldmans analytical work on optimal treatments majorly fo- cuses on the process with symmetrical parameter settings. Little theoretical results on asymmetrical parameter settings are discussed. In this talk, we recast and restate Goldie, Coldman and Guaduskas model as a multi-stage optimization problem. When asymmet- rical parameter settings are assumed, conditions under which a treatment policy can be optimal are derived. In addition, by our approach, Goldie and Coldmans work can be treated as a special and henceforth an alternative proof can be obtained. Some numerical examples will also be included in this talk to illustrate our derived conditions and be used for further discussions.

(7)

A perfect match condition for point-set matching problems using the optimal mass transport approach

Peng-Wen Chen Department of Mathematics

National Taiwan University Taipei 10617, Taiwan

E-mail: pengwen@math.ntu.edu.tw

Abstract. We study the performance of optimal mass transport-based methods applied to point-set matching problems. The present study, which is based on the L2 mass trans- port cost, states that perfect matches always occur when the product of the point-set cardinality and the infinity norm of the curl of the non-rigid deformation field does not exceed some constant.

Let {xi}ni=1 and {yi = T (xi)}ni=1 be two point sets in Rd, where T is a transform with gradient symmetric-skew symmetric decomposition ∇T = TS+ TA. Then perfect match always occurs if the maximal ratio of the singular values between TA and TS is bounded above by C/n, where C = 2π in many cases.

This analytic result is justified by a numerical study of matching two sets of pul- monary vascular tree branch points whose displacement is caused by the lung volume changes in the same human subject. The nearly perfect match performance verifies the effectiveness of this mass transport-based approach.

Authors: Pengwen Chen, Ching-Long Lin, and I-Liang Chern

(8)

A barrier-based smoothing proximal point algorithm for nonlinear complementarity problems over closed convex cones

Chek-Beng Chua

Division of Mathematical Sciences School of Physical and Mathematical Sciences

Nanyang Technological University Singapore 637371, Singapore

E-mail: cbchua@ntu.edu.sg

Abstract. We present a new barrier-based method of constructing smoothing approxi- mations for the Euclidean projector onto closed convex cones. These smoothing approx- imations are used in a smoothing proximal point algorithm to solve monotone nonlinear complementarity problems (NCPs) over a convex cones via the normal map equation.

The smoothing approximations allow for the solution of the smoothed normal map equa- tions with Newton’s method, and do not require additional analytical properties of the Euclidean projector. The use of proximal terms in the algorithm adds stability to the solution of the smoothed normal map equation, and avoids numerical issues due to ill- conditioning at iterates near the boundary of the cones. We prove a sufficient condition on the barrier used that guarantees the convergence of the algorithm to a solution of the NCP. The sufficient condition is satisfied by all logarithmically homogeneous barri- ers. Preliminary numerical tests on semidefinite programming problems (SDPs) shows that our algorithm is comparable with the Newton-CG augmented Lagrangian algorithm (SDPNAL) proposed in [X. Y. Zhao, D. Sun, and K.-C.Toh, SIAM J. Optim. 20 (2010), 1737-1765].

(9)

Piecewise smooth Lyapunov function for a nonlinear dynamical system

Yan Gao

School of Management

University of Shanghai for Science and Technology Shanghai 200093, China

E-mail: gaoyan@usst.edu.cn

Abstract. In this talk, we concern with the viability for a control system. The stability and attraction for a nonlinear dynamical system with nonsmooth Lyapunov functions are studied. The previous results on stability and attraction with a max-type Lyapunov function are extended to the case where Lyapunov function is piecewise smooth. A condition, under which stability and attraction are guaranteed with a piecewise smooth Lyapunov function, is proposed. Taking two certain classes of piecewise smooth func- tions as Lyapunov functions, related conditions for stability and attraction are developed.

Keywords: Nonlinear dynamical system, stability, region of attraction, Lyapnov func- tions, nonsmooth analysis, piecewise smooth function.

(10)

Z-transformations in complementarity theory and dynamical systems

Seetharama Gowda

Department of Mathematics and Statistics University of Maryland, Baltimore County

Baltimore, MD 21250, USA E-mail: gowda@math.umbc.edu

Abstract. A square real matrix is a Z-matrix if all its off-diagonal entries are nonposi- tive. A generalization of this to a closed convex cone is a Z-transformation. Examples include Lyapunov and Stein transformations studied in continuous and discrete linear dynamical systems.

A linear complementarity problem is a problem in optimization that includes, e.g., primal-dual linear programs and bimatrix games. Generalizing this problem to cones, we get a cone (linear) complementarity problem, study of which is the complementar- ity theory. In this talk, we describe connections between complementarity theory and dynamical systems via Z-transformations.

(11)

Fixed point theorems and convergence theorems for non-self mappings in Hilbert spaces

Mayumi Hojo

Graduate School of Science and Technology Niigata University

Niigata 950-2181, Japan

E-mail:f07n013g@alumni.niigata-u.ac.jp

Abstract. Let H be a real Hilbert space and let C be a nonempty subset of H. Kocourek, Takahashi and Yao [5] introduced a broad class of nonlinear mappings in a Hilbert space which covers nonexpansive mappings, nonspreading mappings [7] and hybrid mappings [11]. A mapping T : C → H is said to be generalized hybrid if there exist α, β ∈ R such that

α kT x − T yk2+ (1 − α) kx − T xk2 ≤ β kT x − yk2+ (1 − β) kx − yk2

for all x, y ∈ C, where R is the set of real numbers. We call such a mapping an (α, β)- generalized hybrid mapping. They proved fixed point theorems and nonlinear ergodic theorems of Baillon’s type [1] for generalized hybrid mappings; see also Kohsaka and Takahashi [6] and Iemoto and Takahashi [3]. Very recently, Kawasaki and Takahashi [6]

introduced a more broad class of nonlinear mappings in a Hilbert space. A mapping T : C → H is said to be more generalized hybrid if there exist α, β, γ, δ, ε, ζ, η ∈ R such that

α kT x − T yk2+ β kx − T yk2+ γ kT x − yk2 + δ kx − yk2

+ ε kx − T xk2+ ζ ky − T yk2+ η k(x − T x) − (y − T y)k ≤ 0

for all x, y ∈ C. Such a mapping T is called an (α, β, γ, δ, ε, ζ, η)-widely more general- ized hybrid mapping. In particular, an (α, β, γ, δ, 0, 0, 0)-widely more generalized hybrid mapping is called an (α, β, γ, δ)-normal generalized hybrid mapping; see Takahashi, Wong and Yao [12]. An (α, β, γ, δ)-normal generalized hybrid mapping is a generalized hybrid mapping in the sense of Kocourek, Takahashi and Yao [5] if α + β = −γ − δ = 1 and ε = ζ = η = 0. A generalized hybrid mapping with a fixed point is quasi-nonexpansive.

However, a super hybrid mapping is not quasi-nonexpansive generally even if it has a fixed point.

In this talk, we first prove a fixed point theorem for normal generalized hybrid non-self mappings in a Hilbert space. In the proof, we show that widely more generalized hybrid

(12)

mappings are deduced from normal generalized hybrid non-self mappings and then we prove the fixed point theorem by using Kawasaki and Takahashi’s fixed point theorem for widely more generalized hybrid mappings [4]. Next, we prove a weak convergence theorem of Mann’s type [8] for widely more generalized hybrid non-self mappings in a Hilbert space. For the proof, we use the demi-closedness property for widely more gen- eralized hybrid mappings in a Hilbert space. Finally, using an idea of mean convergence by Shimizu and Takahashi [9] and [10], we prove a mean strong convergence theorem for widely more generalized hybrid mappings in a Hilbert space. This theorem general- izes Hojo and Takahashi’s mean convergence theorem [2] for generalized hybrid mappings.

Co-author: Wataru Takahashi.

References

[1] J. -B. Baillon, Un theoreme de type ergodique pour les contractions non lineaires dans un espace de Hilbert, C.R. Acad. Sci. Paris Ser. A-B 280 (1975), 1511–1514.

[2] M. Hojo, W. Takahashi, Weak and strong convergence theorems for generalized hybrid mappings in Hilbert spaces, Sci. Math. Jpn. 73 (2011), 31–40.

[3] S. Iemoto and W. Takahashi, Approximating fixed points of nonexpansive mappings and nonspread- ing mappings in a Hilbert space, Nonlinear Anal. 71 (2009), 2082–2089.

[4] T. Kawasaki, W. Takahashi, Existence and mean approximation of fixed points of generalized hybrid mappings in Hilbert space, J. Nonlinear Convex Anal. 13 (2012), 529–540.

[5] P. Kocourek, W. Takahashi and J.-C. Yao, Fixed point theorems and weak convergence theorems for

(13)

[10] T. Shimizu and W. Takahashi, Strong convergence to common fixed points of families of nonexpan- sive mappings, J. Math. Anal. Appl. 211 (1997), 71–83.

[11] W. Takahashi, Fixed point theorems for new nonlinear mappings in a Hilbert space, J. Nonlinea Convex Anal. 11 (2010), 79–88.

[12] W. Takahashi, N.-C. Wong and J.-C. Yao, Attractive point and weak convergence theorems for new generalized hybrid mappings in Hilbert spaces, J. Nonlinear Convex Anal. 13 (2012), to appear.

(14)

Equilibria of abstract economies for Φ-majorized mappings

Chien-Hao Huang Department of Mathematics National Taiwan Normal University

Taipei 11677, Taiwan E-mail: 898400016@ntnu.edu.tw

Abstract. An H-space is a topological space X, together with a family {ΓD} of some nonempty contractible subsets of X indexed by D ∈ hXi such that ΓD ⊂ ΓD0 whenever D ⊂ D0. An H-space X is called an l.c.-space, if X is an uniform space whose topology is induced by its uniformity U , and there is a base B consisting of symmetric entourages in U such that for each V ∈ B, the set V (E) := {y ∈ X | (x, y) ∈ V for some x ∈ E} is H-convex whenever E is H-convex. In this talk, we first introduce some basic definitions about the generalized games and abstract economies. Next, we establish a general fixed point theorem in l.c.-spaces by using a new KKM principle. Finally, we list some recent equilibrium existence theorems about abstract economies.

Keywords. l.c.-space, upper semicontinous, Φθ-majorized, equilibrium point.

2000 AMS subject classifications. 47H04, 52A99, 54H25, 58E35, 91A10.

(15)

Nonsmooth semi-infinite multiobjective optimization problems

Do Sang Kim

Department of Applied Mathematics Pukyong National University Busan 608-737, Republic of Korea

E-mail : dskim@pknu.ac.kr

Abstract. We employ some advanced tools of variational analysis and differentiation to establish necessary conditions for (weakly) efficient solutions of a nonsmooth semi- infinite multiobjective optimization problem (SIMOP for brevity). Sufficient conditions for (weakly) efficient solutions of a SIMOP are also provided by means of introducing the concepts of (strictly) generalized convex functions defined in terms of the limit- ing/Mordukhovich subdifferential of locally Lipschitz functions. In addition, we propose types of Wolfe and Mond-Weir dual problems for SIMOPs, and explore weak and strong duality relations under assumptions of (strictly) generalized convexity. Examples are also designed to analyze and illustrate the obtained results.

(16)

Optimal grasping manipulation for multifingered robots using semismooth Newton method

Chun-Hsu Ko

Department of Electrical Engineering I-Shou University

Kaohsiung 840, Taiwan E-mail: chko@isu.edu.tw

Abstract. Multifinered robots play an important role in manipulation tasks. They can grasp various shaped objects to perform point-to-point movement. It is important to plan the manipulation path and appropriately control the grasping forces for multifin- gered robot manipulation. In this paper, we perform the optimal grasping control to find both optimal motion path of the object and minimum grasping forces. The rigid body dynamics of the object and the grasping forces subjected to the second-order cone (SOC) constraints are considered in optimal control problem. The minimum principle is applied to obtain the system equalities and the SOC complementarity problems. The SOC com- plementarity problems are further recast as the equations with the Fischer-Burmeister (FB) function. Since the FB function is semismooth, the semismooth Newton method with the generalized Jacobian of FB function is used to solve the nonlinear equations.

The simulations of optimal grasping manipulation are performed to demonstrate the effectiveness of the proposed approach.

(17)

Multicriteria minimax programming problem in complex space

Hang-Chin Lai

Department of Applied Mathematics Chung Yuan Christian University

Chungli 32023, Taiwan E-mail: hclai@cycu.edu.tw

Abstract. We overview the various types of complex variable functions in the objec- tive of minimax complex programming. It includs : linear, nonlinear, nonfractional to fractional nondifferentiable functions with two complex variable minimax programming problems.

The main tasks are to establish the Necessary and the sufficient optimality conditions by extra assumptions to the necessary conditions.In this work the duality problems is also an important part. In this talk we give some interpretation to duality forms only.

(18)

On mathematical programs with equilibrium constraints

Gue Myung Lee

Department of Applied Mathematics Pukyong National University

Busan 608-737, Korea E-mail: gmlee@pknu.ac.kr

Abstract. Mathematical programs with equilibrium constraints (MPECs), which are formulated as optimization problems with complementarity constraints, have been the subject of intensive research during the last decades. In this talk, we introduce a re- laxed version of the MPEC constant positive linear dependence constraint qualification (MPEC-CPLD) for MPECs, which we call MPEC-RCPLD. We show that the MPEC- RCPLD is strictly weaker but easier to check than MPEC-CPLD and is stronger than the MPEC Abadie constraint qualification (thus, it is an MPEC constraint qualification for M -stationarity), and ensures the existence of local MPEC error bounds under certain ad- ditional assumptions. We present that under the MPEC-RCPLDs, the sequences of sta- tionary points, which are produced from regularization schemes of Kanzow and Schwartz, and Kadrani, Dussault and Benchakroun for MPECs, converge to M -stationary points of MPECs. Furthermore, we give examples illustrating our main results.

Mathematics Subject Classification (2010). 49K30, 90C30, 90C33, 90C46.

Keywords. mathematical programs with equilibrium constraints, stationary points, con- straint qualifications, error bounds, regularization schemes.

(19)

Bregman distance and related results on Banach spaces

Lai-Jiu Lin

Department of Mathematics

National Changhua University of Education Changhua 50058, Taiwan

E-mail: maljlin@cc.ncue.edu.tw

Abstract. In this paper, we first study the properties of Bregman distance and an ex- istence and uniqueness theorem of solution for an optimization problem which is related to Bregman distance. From these results, we study fixed point problems for nonlinear mappings, contractive type mappings, Caritsti type mappings, graph contractive type mappings with the Bregman distance on Banach spaces. We also study some properties of Bregman projection. Our results on the properties of Bregman projection improve re- cent results of Honda and Takahashi. In fact, we combine the techniques of optimization theory and fixed point theory to study these problems in this paper. Our results and techniques are different from any result and technique on fixed point theorems of non- linear mappings, contractive type mappings, graph contractive mappings. Furthermore, the results in this paper will have many applications on fixed point theory, optimization problems and nonlinear analysis.

Keywords: Bregman distance; Banach limit; fixed point; conjugate function; Gˆateaux differentiable.

Co-author: Chih-Sheng Chuang.

(20)

Optimization and applications for some tomography

Yu-Guo Liu

Department of Mathematics National Taiwan University

Taipei 10617, Taiwan E-mail: d97221004@ntu.edu.tw

Abstract. In this talk, we will introduce some optimization problems in application to X-Ray CT, Optical Tomography, Impedance Tomography and discuss corresponding numerical methods, especially Raw-Action Methods like Kaczmarz Method and Hildreth Method.

(21)

Tightening a copositive relaxation for standard quadratic optimization problems

Ruey-Lin Sheu

Department of Mathematics National Cheng Kung University

Tainan 70101, Taiwan E-mail: rsheu@mail.ncku.edu.tw

Abstract. In this talk, we focus on the problem of improving the semidefinite program- ming (SDP) relaxations for the standard quadratic optimization problem (standard QP in short) that concerns with minimizing a quadratic form over a simplex. We first an- alyze the duality gap between the standard QP and one of its SDP relaxations known as “strengthened Shor’s relaxation”. To estimate the duality gap, we utilize the duality information of the SDP relaxation to construct a graph G. The estimation can be then reduced to a two-phase problem of enumerating first all the minimal vertex covers of G and solving next a family of second-order cone programming problems. When there is a nonzero duality gap, this duality gap estimation can lead to a strictly tighter lower bound than the strengthened Shor’s SDP bound. With the duality gap estimation improving scheme, we develop further a heuristic algorithm for obtaining a good approximate solu- tion for standard QP.

(22)

Nonlinear analytic methods for linear operators in Banach spaces

Wataru Takahashi Tokyo Institute of Technology

and Keio University, Japan E-mail: wataru@is.titech.ac.jp

Abstract. Recently, two retractions (projections) which are different from the metric projection and the sunny nonexpansive retraction in a Banach space were found. In this talk, using nonlinear analytic methods and new retractions, we prove some theorems which are related to linear operators in Banach spaces.

(23)

Maximal exponents of polyhedral cones

Bit-Shun Tam

Department of Mathematics Tamkang University New Taipei City 25137, Taiwan E-mail: bsm01@mail.tku.edu.tw

Abstract. Let K be a proper (i.e., closed, pointed, full convex) cone in Rn. An n × n matrix A is said to be K-primitive if AK ⊆ K and there exists a positive integer k such that Ak(K \ {0}) ⊆ int K; the least such k is referred to as the exponent of A and is denoted by γ(A). For a polyhedral cone K, the maximum value of γ(A), taken over all K-primitive matrices A, is denoted by γ(K). It is proved that for any positive integers m, n, 3 ≤ n ≤ m, the maximum value of γ(K), as K runs through all n-dimensional polyhedral cones with m extreme rays, equals (n − 1)(m − 1) + 12 1 + (−1)(n−1)m. For the 3-dimensional case, the cones K and the corresponding K-primitive matrices A such that γ(K) and γ(A) attain the maximum value are identified up to respectively linear isomorphism and cone-equivalence modulo positive scalar multiplication.

This is a joint work with Raphael Loewy and Micha A. Perles.

(24)

Thomas’ Conjecture on Finite Distributive Lattices

Shu-Han Wu

Department of Mathematics National Taiwan Normal University

Taipei 11677, Taiwan E-mail: 895400015@ntnu.edu.tw

Abstract. In 1981, the biologist Ren´e Thomas conjectured that the presence of a neg- ative circuit in the interaction graph of a dynamical system is a necessary condition for this system to produce sustained oscillations. Shih and Dong stated and proved the Jacobian conjecture for boolean algebra. Shih-Dong’s theorem provides a framework for Thomas’ conjecture. We now present Shih-Dong’s theorem to finite distributive lattices.

This is a joint work with professor Juei-Ling Ho.

(25)

Gradient-based proximal methods for compressed sensing

Hong-Kun Xu

Department of Applied Mathematics National Sun Yat-sen University

Kaohsiung 80424, Taiwan E-mail: xuhk@math.nsysu.edu.tw

Abstract. Compressed sensing (CS) is a novel sensing/sampling technique which asserts that one can recover certain signals and images from far fewer samples or measurements than traditional methods use. The cornerstone of the CS theory consists of two principles:

sparsity and incoherence. Sparsity pertains to the signals of interest and incoherence to the sensing modality. Mathematically, one of CS amounts to recovering a possibly spars- est solution x from an underdetermined linear system Ax = b, where A is an m × n matrix such that m  n.

In this talk we will discuss how gradient-based proximal methods can be applied to iteratively recover the signal x after convexly relaxed as an `1 regularization problem.

參考文獻

相關文件

2013 Workshop on Nonlinear Analysis, Optimization and Their Applications, De- partment of Mathematics, National Kaohsiung Normal University, Kaohsiung, Tai- wan, December 30,

From the existence theorems of solution for variational relation prob- lems, we study equivalent forms of generalized Fan-Browder fixed point theorem, exis- tence theorems of

For different types of optimization problems, there arise various complementarity problems, for example, linear complemen- tarity problem, nonlinear complementarity problem

The purpose of this talk is to analyze new hybrid proximal point algorithms and solve the constrained minimization problem involving a convex functional in a uni- formly convex

For different types of optimization problems, there arise various complementarity problems, for example, linear complementarity problem, nonlinear complementarity problem,

In section 4, based on the cases of circular cone eigenvalue optimization problems, we study the corresponding properties of the solutions for p-order cone eigenvalue

It is well-known that, to deal with symmetric cone optimization problems, such as second-order cone optimization problems and positive semi-definite optimization prob- lems, this

Chen, “Alternative proofs for some results of vector- valued functions associated with second-order cone,” Journal of Nonlinear and Convex Analysis, vol.. Chen, “The convex and