Showing 1–26 of 26 results for author: Kao, C

Extremal Eigenvalues of Weighted Steklov Problems

Authors: Chiu Yen Kao, Seyyed Abbas Mohammadi

Abstract: We study the optimization of Steklov eigenvalues with respect to a boundary density function $ρ$ on a bounded Lipschitz domain $Ω\subset \mathbb{R}^N$. We investigate the minimization and maximization of $λ_k(ρ)$, the $k$th Steklov eigenvalue, over admissible densities satisfying pointwise bounds and a fixed integral constraint. Our analysis covers both first and higher-order eigenvalues and appli… ▽ More We study the optimization of Steklov eigenvalues with respect to a boundary density function $ρ$ on a bounded Lipschitz domain $Ω\subset \mathbb{R}^N$. We investigate the minimization and maximization of $λ_k(ρ)$, the $k$th Steklov eigenvalue, over admissible densities satisfying pointwise bounds and a fixed integral constraint. Our analysis covers both first and higher-order eigenvalues and applies to general, not necessarily convex or simply connected, domains. We establish the existence of optimal solutions and provide structural characterizations: minimizers are bang--bang functions and may have disconnected support, while maximizers are not necessarily bang--bang. On circular domains, the minimization problem admits infinitely many minimizers generated by rotational symmetry, while the maximization problem has infinitely many distinct maximizers that are not symmetry-induced. We also show that the maps $ρ\mapsto λ_k(ρ)$ and $ρ\mapsto 1/λ_k(ρ)$ are generally neither convex nor concave, limiting the use of classical convex optimization tools. To address these challenges, we analyze the objective functional and introduce a Fréchet differentiable surrogate that enables the derivation of optimality conditions. We further design an efficient numerical algorithm, with experiments illustrating the difficulty of recovering optimal densities when they lack smoothness or exhibit oscillations. △ Less

Submitted 26 September, 2025; originally announced September 2025.

MSC Class: 49M05; 49R05; 65K10; 65N25; 35J25

Extremal Steklov-Neumann Eigenvalues

Authors: Chiu-Yen Kao, Braxton Osting, Chee Han Tan, Robert Viator

Abstract: Let $Ω$ be a bounded open planar domain with smooth connected boundary, $Γ$, that has been partitioned into two disjoint components, $Γ= Γ_S \sqcup Γ_N$. We consider the Steklov-Neumann eigenproblem on $Ω$, where a harmonic function is sought that satisfies the Steklov boundary condition on $Γ_S$ and the Neumann boundary condition on $Γ_N$. We pose the extremal eigenvalue problems (EEPs) of minimi… ▽ More Let $Ω$ be a bounded open planar domain with smooth connected boundary, $Γ$, that has been partitioned into two disjoint components, $Γ= Γ_S \sqcup Γ_N$. We consider the Steklov-Neumann eigenproblem on $Ω$, where a harmonic function is sought that satisfies the Steklov boundary condition on $Γ_S$ and the Neumann boundary condition on $Γ_N$. We pose the extremal eigenvalue problems (EEPs) of minimizing/maximizing the $k$-th non-trivial Steklov-Neumann eigenvalue among boundary partitions of prescribed measure. We formulate a relaxation of these EEPs in terms of weighted Steklov eigenvalues where an $L^\infty(Γ)$ density replaces the boundary partition. For these relaxed EEPs, we establish existence, prove optimality conditions, show that the maximization problem is convex for $k=1$ and non-convex for $k\geq 2$, and establish symmetry properties for the maximizing densities for $k=1$. We also prove a homogenization result that allows us to use solutions to the relaxed EEPs to infer properties of solutions to the original EEPs. For a disk, we provide numerical and asymptotic evidence that the minimizing arrangement of $Γ_S\sqcup Γ_N$ for the $k$-th eigenvalue consists of $k+1$ connected components that are symmetrically arranged on the boundary. For a disk, we prove that for $k = 1$, the constant density is a maximizer for the relaxed problem; we also provide numerical and asymptotic evidence that for $k\ge 2$, the maximizing density for the relaxed problem is a non-trivial function; a sequence of rapidly oscillating Steklov/Neumann boundary conditions approach the supremum value. △ Less

Submitted 19 September, 2025; originally announced September 2025.

Comments: 23 pages, 6 figures, 2 pages appendix

MSC Class: 31A25; 35P15; 49M41; 65K10; 65N25; 49R05

Optimal Control For Anti-Abeta Treatment in Alzheimer's Disease using a Reaction-Diffusion Model

Authors: Wenrui Hao, Chiu-Yen Kao, Sun Lee, Zhiyuan Li

Abstract: Alzheimer's disease is a progressive neurodegenerative disorder that significantly impairs patient survival and quality of life. While current pharmacological treatments aim to slow disease progression, they remain insufficient in halting cognitive decline. Mathematical modeling has emerged as a powerful tool for understanding the dynamics of AD and optimizing treatment strategies. However, most e… ▽ More Alzheimer's disease is a progressive neurodegenerative disorder that significantly impairs patient survival and quality of life. While current pharmacological treatments aim to slow disease progression, they remain insufficient in halting cognitive decline. Mathematical modeling has emerged as a powerful tool for understanding the dynamics of AD and optimizing treatment strategies. However, most existing models focus on temporal dynamics using ordinary differential equation-based approaches, often neglecting the critical role of spatial heterogeneity in disease progression. In this study, we employ a spatially explicit reaction-diffusion model to describe amyloid-beta (A beta) dynamics in the brain, incorporating treatment optimization while accounting for potential side effects. Our objective is to minimize amyloid-beta plaque concentration while balancing therapeutic efficacy against adverse effects, such as amyloid-related imaging abnormalities (ARIA). Under specific assumptions, we establish the well-posedness and uniqueness of the optimal solution. We employ numerical methods based on the Finite Element Method to compute personalized treatment strategies, leveraging real patient amyloid-beta positron emission tomography (PET) scan data. Our results demonstrate that optimal treatment strategies outperform constant dosing regimens, achieving significant reductions in amyloid burden while minimizing side effects. By integrating spatial dynamics and personalized treatment planning, our framework offers a novel approach to refining therapeutic interventions for Alzheimer's disease. △ Less

Submitted 10 April, 2025; originally announced April 2025.

A Semi-definite Optimization Method for Maximizing the Shared Band Gap of Topological Photonic Crystals

Authors: Chiu-Yen Kao, Junshan Lin, Braxton Osting

Abstract: Topological photonic crystals (PCs) can support robust edge modes to transport electromagnetic energy in an efficient manner. Such edge modes are the eigenmodes of the PDE operator for a joint optical structure formed by connecting together two photonic crystals with distinct topological invariants, and the corresponding eigenfrequencies are located in the shared band gap of two individual photoni… ▽ More Topological photonic crystals (PCs) can support robust edge modes to transport electromagnetic energy in an efficient manner. Such edge modes are the eigenmodes of the PDE operator for a joint optical structure formed by connecting together two photonic crystals with distinct topological invariants, and the corresponding eigenfrequencies are located in the shared band gap of two individual photonic crystals. This work is concerned with maximizing the shared band gap of two photonic crystals with different topological features in order to increase the bandwidth of the edge modes. We develop a semi-definite optimization framework for the underlying optimal design problem, which enables efficient update of dielectric functions at each time step while respecting symmetry constraints and, when necessary, the constraints on topological invariants. At each iteration, we perform sensitivity analysis of the band gap function and the topological invariant constraint function to linearize the optimization problem and solve a convex semi-definite programming (SDP) problem efficiently. Numerical examples show that the proposed algorithm is superior in generating optimized optical structures with robust edge modes. △ Less

Submitted 29 July, 2024; originally announced July 2024.

Determine the Number of States in Hidden Markov Models via Marginal Likelihood

Authors: Yang Chen, Cheng-Der Fuh, Chu-Lan Michael Kao

Abstract: Hidden Markov models (HMM) have been widely used by scientists to model stochastic systems: the underlying process is a discrete Markov chain and the observations are noisy realizations of the underlying process. Determining the number of hidden states for an HMM is a model selection problem, which is yet to be satisfactorily solved, especially for the popular Gaussian HMM with heterogeneous covar… ▽ More Hidden Markov models (HMM) have been widely used by scientists to model stochastic systems: the underlying process is a discrete Markov chain and the observations are noisy realizations of the underlying process. Determining the number of hidden states for an HMM is a model selection problem, which is yet to be satisfactorily solved, especially for the popular Gaussian HMM with heterogeneous covariance. In this paper, we propose a consistent method for determining the number of hidden states of HMM based on the marginal likelihood, which is obtained by integrating out both the parameters and hidden states. Moreover, we show that the model selection problem of HMM includes the order selection problem of finite mixture models as a special case. We give rigorous proof of the consistency of the proposed marginal likelihood method and provide an efficient computation method for practical implementation. We numerically compare the proposed method with the Bayesian information criterion (BIC), demonstrating the effectiveness of the proposed marginal likelihood method. △ Less

Submitted 17 July, 2024; v1 submitted 20 May, 2024; originally announced May 2024.

Steklov Eigenvalue Problems on Nearly Spherical and Nearly Annular Domains

Authors: Nathan Schroeder, Weaam Alhejaili, Chiu-Yen Kao

Abstract: We consider Steklov eigenvalues on nearly spherical and nearly annular domains in $d$ dimensions. By using the Green-Beltrami identity for spherical harmonic functions, the derivatives of Steklov eigenvalues with respect to the domain perturbation parameter can be determined by the eigenvalues of a matrix involving the integral of the product of three spherical harmonic functions. By using the add… ▽ More We consider Steklov eigenvalues on nearly spherical and nearly annular domains in $d$ dimensions. By using the Green-Beltrami identity for spherical harmonic functions, the derivatives of Steklov eigenvalues with respect to the domain perturbation parameter can be determined by the eigenvalues of a matrix involving the integral of the product of three spherical harmonic functions. By using the addition theorem for spherical harmonic functions, we determine conditions when the trace of this matrix becomes zero. These conditions can then be used to determine when spherical and annular regions are critical points while we optimize Steklov eigenvalues subject to a volume constraint. In addition, we develop numerical approaches based on particular solutions and show that numerical results in two and three dimensions are in agreement with our analytic results. △ Less

Submitted 30 October, 2023; originally announced October 2023.

Harmonic functions on finitely-connected tori

Authors: Chiu-Yen Kao, Braxton Osting, Édouard Oudet

Abstract: In this paper, we prove a Logarithmic Conjugation Theorem on finitely-connected tori. The theorem states that a harmonic function can be written as the real part of a function whose derivative is analytic and a finite sum of terms involving the logarithm of the modulus of a modified Weierstrass sigma function. We implement the method using arbitrary precision and use the result to find approximate… ▽ More In this paper, we prove a Logarithmic Conjugation Theorem on finitely-connected tori. The theorem states that a harmonic function can be written as the real part of a function whose derivative is analytic and a finite sum of terms involving the logarithm of the modulus of a modified Weierstrass sigma function. We implement the method using arbitrary precision and use the result to find approximate solutions to the Laplace problem and Steklov eigenvalue problem. Using a posteriori estimation, we show that the solution of the Laplace problem on a torus with a few circular holes has error less than $10^{-100}$ using a few hundred degrees of freedom and the Steklov eigenvalues have similar error. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 19 pages, 12 figures

MSC Class: 30F15; 31A25; 35C10; 65N25

Simultaneous activity and attenuation estimation in TOF-PET with TV-constrained nonconvex optimization

Authors: Zhimei Ren, Emil Y. Sidky, Rina Foygel Barber, Chien-Min Kao, Xiaochuan Pan

Abstract: An alternating direction method of multipliers (ADMM) framework is developed for nonsmooth biconvex optimization for inverse problems in imaging. In particular, the simultaneous estimation of activity and attenuation (SAA) problem in time-of-flight positron emission tomography (TOF-PET) has such a structure when maximum likelihood estimation (MLE) is employed. The ADMM framework is applied to MLE… ▽ More An alternating direction method of multipliers (ADMM) framework is developed for nonsmooth biconvex optimization for inverse problems in imaging. In particular, the simultaneous estimation of activity and attenuation (SAA) problem in time-of-flight positron emission tomography (TOF-PET) has such a structure when maximum likelihood estimation (MLE) is employed. The ADMM framework is applied to MLE for SAA in TOF-PET, resulting in the ADMM-SAA algorithm. This algorithm is extended by imposing total variation (TV) constraints on both the activity and attenuation map, resulting in the ADMM-TVSAA algorithm. The performance of this algorithm is illustrated using the penalized maximum likelihood activity and attenuation estimation (P-MLAA) algorithm as a reference. Additional results on step-size tuning and on the use of unconstrained ADMM-SAA are presented in the previous arXiv submission: arXiv:2303.17042v1. △ Less

Submitted 9 February, 2024; v1 submitted 29 March, 2023; originally announced March 2023.

Comments: Manuscript accepted at IEEE transactions on medical imaging. This version contains the appendix for the ADMM-TVSAA pseudocode

Kullback-Leibler Divergence and Akaike Information Criterion in General Hidden Markov Models

Authors: Cheng-Der Fuh, Chu-Lan Michael Kao, Tianxiao Pang

Abstract: To characterize the Kullback-Leibler divergence and Fisher information in general parametrized hidden Markov models, in this paper, we first show that the log likelihood and its derivatives can be represented as an additive functional of a Markovian iterated function system, and then provide explicit characterizations of these two quantities through this representation. Moreover, we show that Kull… ▽ More To characterize the Kullback-Leibler divergence and Fisher information in general parametrized hidden Markov models, in this paper, we first show that the log likelihood and its derivatives can be represented as an additive functional of a Markovian iterated function system, and then provide explicit characterizations of these two quantities through this representation. Moreover, we show that Kullback-Leibler divergence can be locally approximated by a quadratic function determined by the Fisher information. Results relating to the Cramér-Rao lower bound and the Hájek-Le Cam local asymptotic minimax theorem are also given. As an application of our results, we provide a theoretical justification of using Akaike information criterion (AIC) model selection in general hidden Markov models. Last, we study three concrete models: a Gaussian vector autoregressive-moving average model of order $(p,q)$, recurrent neural networks, and temporal restricted Boltzmann machine, to illustrate our theory. △ Less

Submitted 14 March, 2023; originally announced March 2023.

Comments: 26 pages, 1 figure

Exact Instability Margin Analysis and Minimum-Norm Strong Stabilization -- phase change rate maximization --

Authors: Shinji Hara, Chung-Yao Kao, Sei Zhen Khong, Tetsuya Iwasaki, Yutaka Hori

Abstract: This paper is concerned with a new optimization problem named "phase change rate maximization" for single-input-single-output linear time-invariant systems. The problem relates to two control problems, namely robust instability analysis against stable perturbations and minimum-norm strong stabilization. We define an index of the instability margin called "robust instability radius (RIR)" as the sm… ▽ More This paper is concerned with a new optimization problem named "phase change rate maximization" for single-input-single-output linear time-invariant systems. The problem relates to two control problems, namely robust instability analysis against stable perturbations and minimum-norm strong stabilization. We define an index of the instability margin called "robust instability radius (RIR)" as the smallest $H_\infty$-norm of a stable perturbation that stabilizes a given unstable system. This paper has two main contributions. It is first shown that the problem of finding the exact RIR via the small-gain condition can be transformed into the problem of maximizing the phase change rate at the peak frequency with a phase constraint. Then, we show that the maximum is attained by a constant or a first-order all-pass function and derive conditions, under which the RIR can be exactly characterized, in terms of the phase change rate. Two practical applications are provided to illustrate the utility of our results. △ Less

Submitted 8 October, 2023; v1 submitted 18 February, 2022; originally announced February 2022.

Journal ref: IEEE Transactions on Automatic Control, vol. 69, No. 4, pp. 2084-2099, 2024

Flat tori with large Laplacian eigenvalues in dimensions up to eight

Authors: Chiu-Yen Kao, Braxton Osting, Jackson C. Turner

Abstract: We consider the optimization problem of maximizing the $k$-th Laplacian eigenvalue, $λ_{k}$, over flat $d$-dimensional tori of fixed volume. For $k=1$, this problem is equivalent to the densest lattice sphere packing problem. For larger $k$, this is equivalent to the NP-hard problem of finding the $d$-dimensional (dual) lattice with longest $k$-th shortest lattice vector. As a result of extensive… ▽ More We consider the optimization problem of maximizing the $k$-th Laplacian eigenvalue, $λ_{k}$, over flat $d$-dimensional tori of fixed volume. For $k=1$, this problem is equivalent to the densest lattice sphere packing problem. For larger $k$, this is equivalent to the NP-hard problem of finding the $d$-dimensional (dual) lattice with longest $k$-th shortest lattice vector. As a result of extensive computations, for $d \leq 8$, we obtain a sequence of flat tori, $T_{k,d}$, each of volume one, such that the $k$-th Laplacian eigenvalue of $T_{k,d}$ is very large; for each (finite) $k$ the $k$-th eigenvalue exceeds the value in (the $k\to \infty$ asymptotic) Weyl's law by a factor between 1.54 and 2.01, depending on the dimension. Stationarity conditions are derived and numerically verified for $T_{k,d}$ and we describe the degeneration of the tori as $k \to \infty$. △ Less

Submitted 16 February, 2022; originally announced February 2022.

Comments: 18 pages, 3 figures

MSC Class: 35P15; 49K35; 58J50; 52C17

A Semi-Lagrangian Computation of Front Speeds of G-equation in ABC and Kolmogorov Flows with Estimation via Ballistic Orbits

Authors: Chou Kao, Yu-Yu Liu, Jack Xin

Abstract: The Arnold-Beltrami-Childress (ABC) flow and the Kolmogorov flow are three dimensional periodic divergence free velocity fields that exhibit chaotic streamlines. We are interested in front speed enhancement in G-equation of turbulent combustion by large intensity ABC and Kolmogorov flows. We give a quantitative construction of the ballistic orbits of ABC and Kolmogorov flows, namely those with max… ▽ More The Arnold-Beltrami-Childress (ABC) flow and the Kolmogorov flow are three dimensional periodic divergence free velocity fields that exhibit chaotic streamlines. We are interested in front speed enhancement in G-equation of turbulent combustion by large intensity ABC and Kolmogorov flows. We give a quantitative construction of the ballistic orbits of ABC and Kolmogorov flows, namely those with maximal large time asymptotic speeds in a coordinate direction. Thanks to the optimal control theory of G-equation (a convex but non-coercive Hamilton-Jacobi equation), the ballistic orbits serve as admissible trajectories for front speed estimates. To study the tightness of the estimates, we compute the front speeds of G-equation based on a semi-Lagrangian (SL) scheme with Strang splitting and weighted essentially non-oscillatory (WENO) interpolation. Time step size is chosen so that the Courant number grows sublinearly with the flow intensity. Numerical results show that the front speed growth rate in terms of the flow intensity may approach the analytical bounds from the ballistic orbits. △ Less

Submitted 5 November, 2021; v1 submitted 21 December, 2020; originally announced December 2020.

Computation of free boundary minimal surfaces via extremal Steklov eigenvalue problems

Authors: Chiu-Yen Kao, Braxton Osting, Èdouard Oudet

Abstract: Recently Fraser and Schoen showed that the solution of a certain extremal Steklov eigenvalue problem on a compact surface with boundary can be used to generate a free boundary minimal surface, i.e., a surface contained in the ball that has (i) zero mean curvature and (ii) meets the boundary of the ball orthogonally (doi:10.1007/s00222-015-0604-x). In this paper, we develop numerical methods that u… ▽ More Recently Fraser and Schoen showed that the solution of a certain extremal Steklov eigenvalue problem on a compact surface with boundary can be used to generate a free boundary minimal surface, i.e., a surface contained in the ball that has (i) zero mean curvature and (ii) meets the boundary of the ball orthogonally (doi:10.1007/s00222-015-0604-x). In this paper, we develop numerical methods that use this connection to realize free boundary minimal surfaces. Namely, on a compact surface, $Σ$, with genus $γ$ and $b$ boundary components, we maximize $σ_j(Σ,g) \ L(\partial Σ, g)$ over a class of smooth metrics, $g$, where $σ_j(Σ,g)$ is the $j$-th nonzero Steklov eigenvalue and $L(\partial Σ, g)$ is the length of $\partial Σ$. Our numerical method involves (i) using conformal uniformization of multiply connected domains to avoid explicit parameterization for the class of metrics, (ii) accurately solving a boundary-weighted Steklov eigenvalue problem in multi-connected domains, and (iii) developing gradient-based optimization methods for this non-smooth eigenvalue optimization problem. For genus $γ=0$ and $b=2,\dots, 9, 12, 15, 20$ boundary components, we numerically solve the extremal Steklov problem for the first eigenvalue. The corresponding eigenfunctions generate a free boundary minimal surface, which we display in striking images. For higher eigenvalues, numerical evidence suggests that the maximizers are degenerate, but we compute local maximizers for the second and third eigenvalues with $b=2$ boundary components and for the third and fifth eigenvalues with $b=3$ boundary components. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Comments: 29 pages, 18 figures

MSC Class: 35P05; 35P15; 49Q05; 65N25

Integral quadratic constraints for asynchronous sample-and-hold links

Authors: Michael Cantoni, Chung-Yao Kao, Mark A. Fabbro

Abstract: A model is proposed for a class of asynchronous sample-and-hold operators that is relevant in the analysis of embedded and networked systems. The model is parametrized by characteristics of the corresponding time-varying input-output delay. Uncertainty in the relationship between the timing of zero-order-hold update events at the output and the possibly aperiodic sampling events at the input means… ▽ More A model is proposed for a class of asynchronous sample-and-hold operators that is relevant in the analysis of embedded and networked systems. The model is parametrized by characteristics of the corresponding time-varying input-output delay. Uncertainty in the relationship between the timing of zero-order-hold update events at the output and the possibly aperiodic sampling events at the input means that the delay does not always reset to a fixed value. This is distinct from the well-studied synchronous case in which the delay intermittently resets to zero at output update times. The main result provides a family of integral quadratic constraints that covers the proposed model. To demonstrate an application of this result, robust $\mathbf{L}_2$ stability and performance certificates are devised for an asynchronous sampled-data implementation of a feedback loop around given linear time-invariant continuous-time open-loop dynamics. Numerical examples are also presented. △ Less

Submitted 1 January, 2020; v1 submitted 21 December, 2019; originally announced December 2019.

Reply to on some problems in the article "Efficient likelihood estimation in state space models" by Cheng-Der Fuh [Ann, Statist. 34 (2006) 2026-2068]

Authors: Cheng-Der Fuh, Chu-Lan Kao

Abstract: This note replies Dr. Jensen (2010) comments on Problem 2.3, which was left in Fuh (2010). In the following, we use the same notations and definitions in Fuh (2006) unless specified. This note replies Dr. Jensen (2010) comments on Problem 2.3, which was left in Fuh (2010). In the following, we use the same notations and definitions in Fuh (2006) unless specified. △ Less

Submitted 2 November, 2019; originally announced November 2019.

Converse Theorems for Integral Quadratic Constraints

Authors: Sei Zhen Khong, Chung-Yao Kao

Abstract: A collection of converse theorems for integral quadratic constraints (IQCs) is established for linear time-invariant systems. It is demonstrated that when a system interconnected in feedback with an arbitrary system satisfying an IQC is stable, then the given system must necessarily satisfy the complementary IQC. These theorems are specialized to derive multiple versions of converse passivity resu… ▽ More A collection of converse theorems for integral quadratic constraints (IQCs) is established for linear time-invariant systems. It is demonstrated that when a system interconnected in feedback with an arbitrary system satisfying an IQC is stable, then the given system must necessarily satisfy the complementary IQC. These theorems are specialized to derive multiple versions of converse passivity results. They cover standard notions of strict passivity as well as passivity indices that characterize the trade-offs between passivity surplus and deficit. Converse frequency-weighted small-gain and passivity theorems are also established. △ Less

Submitted 3 May, 2021; v1 submitted 25 May, 2019; originally announced May 2019.

Extremal Spectral Gaps for Periodic Schrödinger Operators

Authors: Chiu-Yen Kao, Braxton Osting

Abstract: The spectrum of a Schrödinger operator with periodic potential generally consists of bands and gaps. In this paper, for fixed m, we consider the problem of maximizing the gap-to-midgap ratio for the m-th spectral gap over the class of potentials which have fixed periodicity and are pointwise bounded above and below. We prove that the potential maximizing the m-th gap-to-midgap ratio exists. In one… ▽ More The spectrum of a Schrödinger operator with periodic potential generally consists of bands and gaps. In this paper, for fixed m, we consider the problem of maximizing the gap-to-midgap ratio for the m-th spectral gap over the class of potentials which have fixed periodicity and are pointwise bounded above and below. We prove that the potential maximizing the m-th gap-to-midgap ratio exists. In one dimension, we prove that the optimal potential attains the pointwise bounds almost everywhere in the domain and is a step-function attaining the imposed minimum and maximum values on exactly m intervals. Optimal potentials are computed numerically using a rearrangement algorithm and are observed to be periodic. In two dimensions, we develop an efficient rearrangement method for this problem based on a semi-definite formulation and apply it to study properties of extremal potentials. We show that, provided a geometric assumption about the maximizer holds, a lattice of disks maximizes the first gap-to-midgap ratio in the infinite contrast limit. Using an explicit parametrization of two-dimensional Bravais lattices, we also consider how the optimal value varies over all equal-volume lattices. △ Less

Submitted 10 May, 2018; originally announced May 2018.

Comments: 34 pages, 14 figures

MSC Class: 35P05; 35B10; 35Q93; 49R05; 65N25

A Numerical Study of Steklov Eigenvalue Problem via Conformal Mapping

Authors: Weaam Alhejaili, Chiu-Yen Kao

Abstract: In this paper, a spectral method based on conformal mappings is proposed to solve Steklov eigenvalue problems and their related shape optimization problems in two dimensions. To apply spectral methods, we first reformulate the Steklov eigenvalue problem in the complex domain via conformal mappings. The eigenfunctions are expanded in Fourier series so the discretization leads to an eigenvalue probl… ▽ More In this paper, a spectral method based on conformal mappings is proposed to solve Steklov eigenvalue problems and their related shape optimization problems in two dimensions. To apply spectral methods, we first reformulate the Steklov eigenvalue problem in the complex domain via conformal mappings. The eigenfunctions are expanded in Fourier series so the discretization leads to an eigenvalue problem for coefficients of Fourier series. For shape optimization problem, we use the gradient ascent approach to find the optimal domain which maximizes $k-$th Steklov eigenvalue with a fixed area for a given $k$. The coefficients of Fourier series of mapping functions from a unit circle to optimal domains are obtained for several different $k$ △ Less

Submitted 4 May, 2018; originally announced May 2018.

Development of a New Spectral Collocation Method Using Laplacian Eigenbasis for Elliptic Partial Differential Equations in an Extended Domain

Authors: Po-Yi Wu, Cheng-Hong Robert Kao, Tony Wen-Hann Sheu

Abstract: The recent development of spectral method has been praised for its high-order convergence in simulating complex physical problems. The combination of embedded boundary method and spectral method becomes a mainstream way to tackle geometrically complicated problems. However, the convergence is deteriorated when embedded boundary strategies are employed. Owing to the loss of regularity, in this pape… ▽ More The recent development of spectral method has been praised for its high-order convergence in simulating complex physical problems. The combination of embedded boundary method and spectral method becomes a mainstream way to tackle geometrically complicated problems. However, the convergence is deteriorated when embedded boundary strategies are employed. Owing to the loss of regularity, in this paper we propose a new spectral collocation method which retains the regularity of solutions to solve differential equations in the case of complex geometries. The idea is rooted in the basis functions defined in an extended domain, which leads to a useful upper bound of the Lebesgue constant with respect to the Fourier best approximation. In particular, how the stretching of the domain defining basis functions affects the convergence rate directly is detailed. Error estimates chosen in our proposed method show that the exponential decay convergence for problems with analytical solutions can be retained. Moreover, two-dimensional Poisson equations and convection-diffusion equations with simple and complex geometrical domains will be simulated. The predicted results justify the advantages of applying our method to tackle geometrically complicated problems. △ Less

Submitted 7 March, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

A New Algorithm to Simulate the First Exit Times of a Vector of Brownian Motions, with an Application to Finance

Authors: Chiu-Yen Kao, Qidi Peng, Henry Schellhorn, Lu Zhu

Abstract: We provide a new methodology to simulate the first exit times of a vector of Brownian motions from an orthant. This new approach can be used to simulate the first exit times of dimension higher than two. When at least one Brownian motion has non-zero drift, the joint density function of the first exit times in N dimensions needs to be known, or approximated. However, when the drifts are all zero,… ▽ More We provide a new methodology to simulate the first exit times of a vector of Brownian motions from an orthant. This new approach can be used to simulate the first exit times of dimension higher than two. When at least one Brownian motion has non-zero drift, the joint density function of the first exit times in N dimensions needs to be known, or approximated. However, when the drifts are all zero, a simpler simulation algorithm is obtained without using the joint density function. △ Less

Submitted 5 February, 2016; originally announced February 2016.

Journal ref: Journal of Applied Probability and Statistics, Volume 10, Number 2, Pages 41 - 65 (2015)

Computational Methods For Extremal Steklov Problems

Authors: Eldar Akhmetgaliyev, Chiu-Yen Kao, Braxton Osting

Abstract: We develop a computational method for extremal Steklov eigenvalue problems and apply it to study the problem of maximizing the $p$-th Steklov eigenvalue as a function of the domain with a volume constraint. In contrast to the optimal domains for several other extremal Dirichlet- and Neumann-Laplacian eigenvalue problems, computational results suggest that the optimal domains for this problem are v… ▽ More We develop a computational method for extremal Steklov eigenvalue problems and apply it to study the problem of maximizing the $p$-th Steklov eigenvalue as a function of the domain with a volume constraint. In contrast to the optimal domains for several other extremal Dirichlet- and Neumann-Laplacian eigenvalue problems, computational results suggest that the optimal domains for this problem are very structured. We reach the conjecture that the domain maximizing the $p$-th Steklov eigenvalue is unique (up to dilations and rigid transformations), has p-fold symmetry, and an axis of symmetry. The $p$-th Steklov eigenvalue has multiplicity 2 if $p$ is even and multiplicity 3 if $p\geq3$ is odd. △ Less

Submitted 4 January, 2016; originally announced January 2016.

Comments: 14 pages, 8 figures

Journal ref: SIAM Journal on Control and Optimization 55(2), p.1226-1240 (2017)

Maximization of Laplace-Beltrami eigenvalues on closed Riemannian surfaces

Authors: Chiu-Yen Kao, Rongjie Lai, Braxton Osting

Abstract: Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the mapping $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ f… ▽ More Let $(M,g)$ be a connected, closed, orientable Riemannian surface and denote by $λ_k(M,g)$ the $k$-th eigenvalue of the Laplace-Beltrami operator on $(M,g)$. In this paper, we consider the mapping $(M, g)\mapsto λ_k(M,g)$. We propose a computational method for finding the conformal spectrum $Λ^c_k(M,[g_0])$, which is defined by the eigenvalue optimization problem of maximizing $λ_k(M,g)$ for $k$ fixed as $g$ varies within a conformal class $[g_0]$ of fixed volume $textrm{vol}(M,g) = 1$. We also propose a computational method for the problem where $M$ is additionally allowed to vary over surfaces with fixed genus, $γ$. This is known as the topological spectrum for genus $γ$ and denoted by $Λ^t_k(γ)$. Our computations support a conjecture of N. Nadirashvili (2002) that $Λ^t_k(0) = 8 πk$, attained by a sequence of surfaces degenerating to a union of $k$ identical round spheres. Furthermore, based on our computations, we conjecture that $Λ^t_k(1) = \frac{8π^2}{\sqrt{3}} + 8π(k-1)$, attained by a sequence of surfaces degenerating into a union of an equilateral flat torus and $k-1$ identical round spheres. The values are compared to several surfaces where the Laplace-Beltrami eigenvalues are well-known, including spheres, flat tori, and embedded tori. In particular, we show that among flat tori of volume one, the $k$-th Laplace-Beltrami eigenvalue has a local maximum with value $λ_k = 4π^2 \left\lceil \frac{k}{2} \right\rceil^2 \left( \left\lceil \frac{k}{2} \right\rceil^2 - \frac{1}{4}\right)^{-\frac{1}{2}}$. Several properties are also studied computationally, including uniqueness, symmetry, and eigenvalue multiplicity. △ Less

Submitted 25 March, 2016; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 43 pages, 18 figures

MSC Class: 35P15; 49Q10; 65N25; 58J50; 58C40

Convergent finite difference methods for one-dimensional fully nonlinear second order partial differential equations

Authors: Xiaobing Feng, Chiu-Yen Kao, Thomas Lewis

Abstract: This paper develops a new framework for designing and analyzing convergent finite difference methods for approximating both classical and viscosity solutions of second order fully nonlinear partial differential equations (PDEs) in 1-D. The goal of the paper is to extend the successful framework of monotone, consistent, and stable finite difference methods for first order fully nonlinear Hamilton-J… ▽ More This paper develops a new framework for designing and analyzing convergent finite difference methods for approximating both classical and viscosity solutions of second order fully nonlinear partial differential equations (PDEs) in 1-D. The goal of the paper is to extend the successful framework of monotone, consistent, and stable finite difference methods for first order fully nonlinear Hamilton-Jacobi equations to second order fully nonlinear PDEs such as Monge-Ampère and Bellman type equations. New concepts of consistency, generalized monotonicity, and stability are introduced; among them, the generalized monotonicity and consistency, which are easier to verify in practice, are natural extensions of the corresponding notions of finite difference methods for first order fully nonlinear Hamilton-Jacobi equations. The main component of the proposed framework is the concept of "numerical operator", and the main idea used to design consistent, monotone and stable finite difference methods is the concept of "numerical moment". These two new concepts play the same roles as the "numerical Hamiltonian" and the "numerical viscosity" play in the finite difference framework for first order fully nonlinear Hamilton-Jacobi equations. In the paper, two classes of consistent and monotone finite difference methods are proposed for second order fully nonlinear PDEs. The first class contains Lax-Friedrichs-like methods which also are proved to be stable and the second class contains Godunov-like methods. Numerical results are also presented to gauge the performance of the proposed finite difference methods and to validate the theoretical results of the paper. △ Less

Submitted 27 February, 2013; v1 submitted 2 December, 2012; originally announced December 2012.

Comments: 23 pages, 8 figues, 11 tables

MSC Class: 65N06; 65N12

Bounded domain problem for the modified Buckley-Leverett equation

Authors: Ying Wang, Chiu-Yen Kao

Abstract: The focus of the present study is the modified Buckley-Leverett (MBL) equation describing two-phase flow in porous media. The MBL equation differs from the classical Buckley-Leverett (BL) equation by including a balanced diffusive-dispersive combination. The dispersive term is a third order mixed derivatives term, which models the dynamic effects in the pressure difference between the two phases.… ▽ More The focus of the present study is the modified Buckley-Leverett (MBL) equation describing two-phase flow in porous media. The MBL equation differs from the classical Buckley-Leverett (BL) equation by including a balanced diffusive-dispersive combination. The dispersive term is a third order mixed derivatives term, which models the dynamic effects in the pressure difference between the two phases. The classical BL equation gives a monotone water saturation profile for any Riemann problem; on the contrast, when the dispersive parameter is large enough, the MBL equation delivers non-monotone water saturation profile for certain Riemann problems as suggested by the experimental observations. In this paper, we first show that the solution of the finite interval [0,L] boundary value problem converges to that of the half-line [0,+\infty) boundary value problem for the MBL equation as L-> +\infty. This result provides a justification for the use of the finite interval boundary value problem in numerical studies for the half line problem. Furthermore, we extend the classical central schemes for the hyperbolic conservation laws to solve the MBL equation which is of pseudo-parabolic type. Numerical results confirm the existence of non-monotone water saturation profiles consisting of constant states separated by shocks. △ Less

Submitted 15 September, 2011; originally announced September 2011.

MSC Class: 35L65; 35L67; 35K70; 76S05; 65M06; 65M08

Numerical study of the KP equation for non-periodic waves

Authors: Chiu-Yen Kao, Yuji Kodama

Abstract: The Kadomtsev-Petviashvili (KP) equation describes weakly dispersive and small amplitude waves propagating in a quasi-two dimensional situation. Recently a large variety of exact soliton solutions of the KP equation has been found and classified. Those soliton solutions are localized along certain lines in a two-dimensional plane and decay exponentially everywhere else, and they are called line-so… ▽ More The Kadomtsev-Petviashvili (KP) equation describes weakly dispersive and small amplitude waves propagating in a quasi-two dimensional situation. Recently a large variety of exact soliton solutions of the KP equation has been found and classified. Those soliton solutions are localized along certain lines in a two-dimensional plane and decay exponentially everywhere else, and they are called line-soliton solutions in this paper. The classification is based on the far-field patterns of the solutions which consist of a finite number of line-solitons. In this paper, we study the initial value problem of the KP equation with V- and X-shape initial waves consisting of two distinct line-solitons by means of the direct numerical simulation. We then show that the solution converges asymptotically to some of those exact soliton solutions. The convergence is in a locally defined $L^2$-sense. The initial wave patterns considered in this paper are related to the rogue waves generated by nonlinear wave interactions in shallow water wave problem. △ Less

Submitted 2 April, 2010; originally announced April 2010.

Comments: 32 pages, 25 figures, Submitted for the conference proceeding "The Sixth IMACS International Conference on Nonlinear Evolution Equations and Wave Phenomena" held at Athens, GA, March 23-26, 2009.

Panel Cointegration with Global Stochastic Trends

Authors: Jushan Bai, Chihwa Kao, Serena Ng

Abstract: This paper studies estimation of panel cointegration models with cross-sectional dependence generated by unobserved global stochastic trends. The standard least squares estimator is, in general, inconsistent owing to the spuriousness induced by the unobservable I(1) trends. We propose two iterative procedures that jointly estimate the slope parameters and the stochastic trends. The resulting est… ▽ More This paper studies estimation of panel cointegration models with cross-sectional dependence generated by unobserved global stochastic trends. The standard least squares estimator is, in general, inconsistent owing to the spuriousness induced by the unobservable I(1) trends. We propose two iterative procedures that jointly estimate the slope parameters and the stochastic trends. The resulting estimators are referred to respectively as CupBC (continuously-updated and bias-corrected) and the CupFM (continuously-updated and fully-modified) estimators. We establish their consistency and derive their limiting distributions. Both are asymptotically unbiased and asymptotically mixed normal and permit inference to be conducted using standard test statistics. The estimators are also valid when there are mixed stationary and non-stationary factors, as well as when the factors are all stationary. △ Less

Submitted 12 May, 2008; originally announced May 2008.