Computing the constant in Friedrichs inequality
|
|
- Minna Brodersen
- 5 år siden
- Visninger:
Transkript
1 Computing the constant in Friedrichs inequality Tomáš Vejchodský Institute of Mathematics, Žitná 25, Praha 1 February 8, 212, SIGA 212, Prague
2 Motivation Classical formulation: u = f in Ω, u = on Ω Weak formulation: V = H 1(Ω) u V : a(u, v) = F(v) v V Error bound: u h V u u h y u h + C F f + div y y H(div, Ω) Notation: a(u, v) = ( u, v) F(v) = (f, v) (ϕ, ψ) = ϕψ dx Ω Energy norm: e 2 = a(e, e) = ( e, e) = e 2
3 Friedrichs inequality Standard: v C F v v H 1 (Ω)
4 Friedrichs inequality Standard: Generalization: v C F v v C F v v H 1 (Ω) v V
5 Friedrichs inequality Standard: Generalization: v C F v v C F v v H 1 (Ω) v V Variants: v 2 = u A = (A u, u)
6 Friedrichs inequality Standard: Generalization: v C F v v C F v v H 1 (Ω) v V Variants: v 2 = u A = (A u, u) v 2 = u 2 A + u 2 c = (A u, u) + (cu, u)
7 Friedrichs inequality Standard: Generalization: v C F v v C F v v H 1 (Ω) v V Variants: v 2 = u A = (A u, u) v 2 = u 2 A + u 2 c = (A u, u) + (cu, u) V = H 1 (Ω) Ω V = {v H 1 (Ω) : v = on Γ} Ω
8 Relation with eigenvalues Friedrichs inequality: v C F v v V C F = sup v V Laplace eigenvalue problem u i = λ i u i in Ω, u i = on Ω Theorem: C 2 F = 1 λ 1 where λ 1 = min i λ i. v v
9 Relation with eigenvalues Friedrichs inequality: v C F v v V C F = sup v V Laplace eigenvalue problem u i = λ i u i in Ω, u i = on Ω Theorem: C 2 F = 1 λ 1 where λ 1 = min i λ i. v v Proof: Weak formulation: u i V : ( u i, v) = λ i (u i, v) v V v 2 λ 1 = inf v V v 2 1 λ 1 = sup v V v 2 v 2
10 Rayleigh Ritz approximation of λ 1 Weak formulation: u i V : ( u i, v) = λ i (u i, v) v V Rayleigh Ritz method: V h V, dim V h < ui h V h : ( ui h, v h ) = λ h i (ui h, v h ) v h V h Theorem: λ 1 λ h 1
11 Rayleigh Ritz approximation of λ 1 Weak formulation: u i V : ( u i, v) = λ i (u i, v) v V Rayleigh Ritz method: V h V, dim V h < ui h V h : ( ui h, v h ) = λ h i (ui h, v h ) v h V h Theorem: λ 1 λ h 1 Proof: v 2 λ 1 = inf v V v 2 v 2 inf v h V h v 2 = λ h 1
12 Rayleigh Ritz approximation of λ 1 Weak formulation: u i V : ( u i, v) = λ i (u i, v) v V Rayleigh Ritz method: V h V, dim V h < ui h V h : ( ui h, v h ) = λ h i (ui h, v h ) v h V h Theorem: λ 1 λ h 1 Proof: v 2 λ 1 = inf v V v 2 v 2 inf v h V h v 2 = λ h 1 Corollary: C h F C F
13 Lower bound on λ 1 Method of a priori-a posteriori inequalities. Theorem (Kuttler and Sigillito, 1978): Let H be a separable Hilbert space. Let A : H H be a symmetric operator with dense domain D(A). Other technical assumptions on A. Let λ and u D(A) be arbitrary. Consider w D(A) such that Aw = Au λ u. Then min i λ i λ λ i w H. u H Ussage: H = L 2 (Ω), A = min λ i λ i λ i w w C F u u
14 Algorithm min i λ i λ λ i C F w u Theorem: w u q + C F λ u + div q q H(div, Ω).
15 Algorithm min i λ i λ λ i C F Theorem: w u q + C F λ u + div q ( ) u q λ u + div q + C F u u q H(div, Ω).
16 Algorithm min i λ i λ λ i C F Theorem: w u q + C F λ u + div q ( ) u q λ u + div q + C F u u q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1
17 Algorithm min i λ i λ λ i C F Theorem: w u q + C F λ u + div q ( ) u q λ u + div q + C F u u q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u h 1
18 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u h 1
19 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u h 1 Find approximate minimizer q h H(div, Ω)
20 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u h 1 Find approximate minimizer q h H(div, Ω)
21 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u1 h Find approximate minimizer q h H(div, Ω) u 1 h α = q h λ h 1 u1 h, β = uh 1 + div q h u1 h, C F = 1 λ1
22 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u1 h Find approximate minimizer q h H(div, Ω) u 1 h α = q h λ h 1 u1 h, β = uh 1 + div q h u1 h, C F = 1 λh 1 λ 1 1 ( α + 1 ) β λ 1 λ1 λ1 λ1
23 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u1 h Find approximate minimizer q h H(div, Ω) u 1 h α = q h λ h 1 u1 h, β = uh 1 + div q h u1 h, C F = 1 λh 1 λ 1 1 ( α + 1 ) β λ 1 λ1 λ1 X 2 + αx + β λ h 1, where X = λ 1 λ1
24 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u1 h Find approximate minimizer q h H(div, Ω) u 1 h α = q h λ h 1 u1 h, β = uh 1 + div q h u1 h, C F = 1 λh 1 λ 1 1 ( α + 1 ) β λ 1 λ1 λ1 λ1 X 2 + αx + β λ h 1, where X = λ 1 ) X2 2 λ 1, where X 2 = ( α 2 + 4(λ h1 β) α /2
25 Algorithm min i λ i λ h 1 λ i C F ( u h 1 q h u h 1 Theorem: w u q + C F λ u + div q λ h 1 + C uh 1 + div q ) h F u1 h q H(div, Ω). Compute Rayleigh Ritz approximations λ h 1 and uh 1 Set λ = λ h 1 and u = u1 h Find approximate minimizer q h H(div, Ω) u 1 h α = q h λ h 1 u1 h, β = uh 1 + div q h u1 h, C F = 1 λh 1 λ 1 1 ( α + 1 ) β λ 1 λ1 λ1 λ1 X 2 + αx + β λ h 1, where X = λ 1 ) X2 2 λ 1, where X 2 = ( α 2 + 4(λ h1 β) α /2 C F 1/X 2
26 Computing q h H(div, Ω) ( u q + C F λ u + div q ) 2 ) 2 ( u 1 h q + (λ h 1) 1/2 λ h 1u1 h + div q 1 + ϱ ϱ uh 1 q ϱ λ h λ h 1u1 h div q 2, ϱ > 1 Minimize over W h H(div, Ω): Find q h W h : (div q h, div ψ h ) + λh 1 ϱ (q h, ψ h ) = λh 1 ϱ ( uh 1, ψ h ) (λ h 1u h 1, div ψ h ) Solve by standard Raviart-Thomas finite elements. ψ h W h
27 Example 1 u = f in (, 2) (, 1) Γ N u = on Γ D n u = on Γ N Γ D f = 5π2 16 u u = sin πx 1 4 sin πx 2 2
28 Example 1 u = f in (, 2) (, 1) Γ N u = on Γ D n u = on Γ N f = 5π2 16 u u = sin πx 1 4 sin πx 2 2 C F = 4 5π. =.5694 C low C up F =.5693 F = Γ D Friedrichs constant Example 1.4 Upper bound p=1.2 Upper bound p=2 Exact value Lower bound Number of elements
29 Example 1 u = f in (, 2) (, 1) Γ N u = on Γ D n u = on Γ N Γ D Lower bound: reference solution Upper bound: error majorant 1 Error bounds Example Upper bound p=1 Upper bound p=2 Lower bound Number of elements
30 Example 2 u = f in (, 2) (, 1) u = on Γ D n u = on Γ N Γ D Γ N f = 5π2 16 sin πx 1 4 sin πx 2 2
31 Example 2 u = f in (, 2) (, 1) u = on Γ D n u = on Γ N Γ D Γ N f = 5π2 16 sin πx 1 4 sin πx 2 2 C F =? C low C up F =.775 F = Friedrichs constant Example 2.5 Upper bound p=1.25 Upper bound p=2 Lower bound Number of elements
32 Example 2 u = f in (, 2) (, 1) u = on Γ D n u = on Γ N Γ D Γ N Lower bound: reference solution Upper bound: error majorant 1 Error bounds Example 2 Upper bound p=1 Upper bound p=2 Lower bound Number of elements
33 Conclusions Practical method Guaranteed upper bound on Friedrichs constant Easy to generalize to similar inequalities Computationally demanding Exact representaion of the domain Ω curved elements Splines!
34 Thank you for your attention Tomáš Vejchodský Institute of Mathematics, Žitná 25, Praha 1 February 8, 212, SIGA 212, Prague
Pattern formation Turing instability
Pattern formation Turing instability Tomáš Vejchodský Centre for Mathematical Biology Mathematical Institute Summer school, Prague, 6 8 August, 213 Outline Motivation Turing instability general conditions
Læs mereParticle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints
Particle-based T-Spline Level Set for 3D Object Reconstruction with Range and Volume Constraints Robert Feichtinger (joint work with Huaiping Yang, Bert Jüttler) Institute of Applied Geometry, JKU Linz
Læs mereSemi-smooth Newton method for Solving Unilateral Problems in Fictitious Domain Formulations
Semi-smooth Newton method for Solving Unilateral Problems in Fictitious Domain Formulations Jaroslav Haslinger, Charles University, Prague Tomáš Kozubek, VŠB TU Ostrava Radek Kučera, VŠB TU Ostrava SNA
Læs mereEric Nordenstam 1 Benjamin Young 2. FPSAC 12, Nagoya, Japan
Eric 1 Benjamin 2 1 Fakultät für Matematik Universität Wien 2 Institutionen för Matematik Royal Institute of Technology (KTH) Stockholm FPSAC 12, Nagoya, Japan The Aztec Diamond Aztec diamonds of orders
Læs mereExercise 6.14 Linearly independent vectors are also affinely independent.
Affine sets Linear Inequality Systems Definition 6.12 The vectors v 1, v 2,..., v k are affinely independent if v 2 v 1,..., v k v 1 is linearly independent; affinely dependent, otherwise. We first check
Læs mereOn Magnus integrators for time-dependent Schrödinger equations
On Magnus integrators for time-dependent Schrödinger equations Marlis Hochbruck, University of Düsseldorf, Germany Christian Lubich, University of Tübingen, Germany FoCM conference, August 22 Outline Time
Læs mereFrequency Dispersion: Dielectrics, Conductors, and Plasmas
1/23 Frequency Dispersion: Dielectrics, Conductors, and Plasmas Carlos Felipe Espinoza Hernández Professor: Jorge Alfaro Instituto de Física Pontificia Universidad Católica de Chile 2/23 Contents 1 Simple
Læs mereSKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 19. juni 2003 kl Alle hjælpemidler er tilladt
SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 9. juni 23 kl. 9.-3. Alle hjælpemidler er tilladt OPGAVE f(x) x Givet funktionen f(x) x, x [, ] Spørgsmål (%)
Læs mereNon-Linear Image Registration on OcTrees
Non-Linear Image Registration on OcTrees Eldad Haber Joint work with Stefan Heldmann Jan Modersitzki Outline Part I: Introduction to Image Registration Outline Part I: Introduction to Image Registration
Læs merePontryagin Approximations for Optimal Design of Elastic Structures
Pontryagin Approximations for Optimal Design of Elastic Structures Jesper Carlsson NADA, KTH jesperc@nada.kth.se Collaborators: Anders Szepessy, Mattias Sandberg October 5, 2005 A typical optimal design
Læs mereSampling real algebraic varieties for topological data analysis
Sampling real algebraic varieties for topological data analysis Joint with: Emilie Dufresne (U. York) Heather Harrington (U. Oxford) Jonathan Hauenstein (U. Notre Dame) AG19, July 2019 Sampling real varieties
Læs mereParallel Finite Element Methods with Weighted Linear B-Splines
Parallel Finite Element Methods with Weighted Linear B-Splines K. Höllig, J. Hörner, and M. Pfeil http://www.web-spline.de Stuttgart, October 5, 2007 Cooperation partners: Prof. Dr. U. Reif, Dr. J. Wipper
Læs mereMultivariate Extremes and Dependence in Elliptical Distributions
Multivariate Extremes and Dependence in Elliptical Distributions Filip Lindskog, RiskLab, ETH Zürich joint work with Henrik Hult, KTH Stockholm I II III IV V Motivation Elliptical distributions A class
Læs mereProbabilistic properties of modular addition. Victoria Vysotskaya
Probabilistic properties of modular addition Victoria Vysotskaya JSC InfoTeCS, NPK Kryptonite CTCrypt 19 / June 4, 2019 vysotskaya.victory@gmail.com Victoria Vysotskaya (Infotecs, Kryptonite) Probabilistic
Læs mereMONOTONE POSITIVE SOLUTIONS FOR p-laplacian EQUATIONS WITH SIGN CHANGING COEFFICIENTS AND MULTI-POINT BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 22, No. 22, pp. 2. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MONOTONE POSITIVE SOLUTIONS FOR
Læs mereSKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 8. semester Fredag den 30. juni 2005, kl Alle hjælpemidler er tilladt
SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 8. semester Fredag den 3. juni 5, kl. 8.3-.3 Alle hjælpemidler er tilladt OPGAVE u = y B u = u C A x c u = D u = Figuren viser en homogen
Læs mereSpørgsmål 1 (5%) Forklar med relevant argumentation, at den stationære temperaturfordeling i områdets indre er bestemt ved følgende randværdiproblem
SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 8. semester Fredag den 9. juni 006, kl. 09.00-3.00 Alle hjælpemidler er tilladt OPGAVE y u = 0 isoleret rand r u = u 0 θ 0 θ c c u = 0
Læs mereNumerische Mathematik
Numer. Math. 89: 69 74 (2) Digital Object Identifier (DOI).7/s2277 Numerische Mathematik An analysis of finite element locking in a parameter dependent model problem V. Havu, J. Pitkäranta University of
Læs mereAdaptive Algorithms for Blind Separation of Dependent Sources. George V. Moustakides INRIA, Sigma 2
Adaptive Algorithms for Blind Separation of Dependent Sources George V. Moustakides INRIA, Sigma 2 Problem definition-motivation Existing adaptive scheme-independence General adaptive scheme-dependence
Læs mereNoter til kursusgang 9, IMAT og IMATØ
Noter til kursusgang 9, IMAT og IMATØ matematik og matematik-økonomi studierne 1. basissemester Esben Høg 4. november 013 Institut for Matematiske Fag Aalborg Universitet Esben Høg Noter til kursusgang
Læs mereSign variation, the Grassmannian, and total positivity
Sign variation, the Grassmannian, and total positivity arxiv:1503.05622 Slides available at math.berkeley.edu/~skarp Steven N. Karp, UC Berkeley FPSAC 2015 KAIST, Daejeon Steven N. Karp (UC Berkeley) Sign
Læs mereModel Order Reduction with pymor and NGSolve Stephan Rave
Münster Model Order Reduction with pymor and NGSolve Stephan Rave living knowledge WWU Münster NGSolve User Meeting Vienna June 15 2017 Outline Münster Model Order Reduction with pymor and NGSolve 2 /19
Læs mereChapter 6. Hydrogen Atom. 6.1 Schrödinger Equation. The Hamiltonian for a hydrogen atom is. Recall that. 1 r 2 sin 2 θ + 1. and.
Chapter 6 Hydrogen Atom 6. Schrödinger Equation The Hamiltonian for a hydrogen atom is Recall that Ĥ = h e m e 4πɛ o r = r ) + r r r r sin θ sin θ ) + θ θ r sin θ φ and [ ˆL = h sin θ ) + )] sin θ θ θ
Læs mereSome results for the weighted Drazin inverse of a modified matrix
International Journal of Applied Mathematics Computation Journal homepage: www.darbose.in/ijamc ISSN: 0974-4665 (Print) 0974-4673 (Online) Volume 6(1) 2014 1 9 Some results for the weighted Drazin inverse
Læs mereThe Size of the Selberg Zeta-Function at Places Symmetric with Respect to the Line Re(s)= 1/2
Results Math 7 16, 71 81 c 15 Springer Basel 14-6383/16/171-11 published online July, 15 DOI 117/s5-15-486-7 Results in Mathematics The Size of the Selberg Zeta-Function at Places Symmetric with Respect
Læs mereCirculating Beams Søren Pape Møller ISA / DANFYSIK A/S Chapter 4 i Wilson - 1 hour
Circulating Beams Søren Pape Møller ISA / DANFYSIK A/S Chapter 4 i Wilson - 1 hour Particles in space En partikel har to transversale koordinater og en longitudinal og tilsvarende hastigheder. Ofte er
Læs mereCombined concave convex effects in anisotropic elliptic equations with variable exponent
Nonlinear Differ. Equ. Appl. 22 (205), 39 40 c 204 Springer Basel 02-9722/5/03039-20 published online October 4, 204 DOI 0.007/s00030-04-0288-8 Nonlinear Differential Equations and Applications NoDEA Combined
Læs mereRotational Properties of Bose - Einstein Condensates
Rotational Properties of Bose - Einstein Condensates Stefan Baumgärtner April 30, 2013 1 / 27 Stefan Baumgärtner Rotational Properties of Bose - Einstein Condensates Outline 2 / 27 Stefan Baumgärtner Rotational
Læs mereOn the Relations Between Fuzzy Topologies and α Cut Topologies
S Ü Fen Ed Fak Fen Derg Sayı 23 (2004) 21-27, KONYA On the Relations Between Fuzzy Topologies and α Cut Topologies Zekeriya GÜNEY 1 Abstract: In this study, some relations have been generated between fuzzy
Læs mereConstrained and SNR-Based Solutions for TV-Hilbert Space Image Denoising
J Math Imaging Vis 26: 217 237, 2006 c 2006 Springer Science + Business Media, LLC. Manufactured in The Netherlands. DOI: 10.1007/s10851-006-7801-6 Constrained and SNR-Based Solutions for TV-Hilbert Space
Læs merep-laplacian problems with nonlinearities interacting with the spectrum
Nonlinear Differ. Equ. Appl. 20 (2013), 1701 1721 c 2013 Springer Basel 1021-9722/13/051701-21 published online March 24, 2013 DOI 10.1007/s00030-013-0226-1 Nonlinear Differential Equations and Applications
Læs mereThe Sperner Property
The Sperner Property Richard P. Stanley M.I.T. and U. Miami January 20, 2019 Sperner s theorem Theorem (E. Sperner, 1927). Let S 1,S 2,...,S m be subsets of an n-element set X such that S i S j for i j,
Læs mereBasic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Læs mereEngineering of Chemical Register Machines
Prague International Workshop on Membrane Computing 2008 R. Fassler, T. Hinze, T. Lenser and P. Dittrich {raf,hinze,thlenser,dittrich}@minet.uni-jena.de 2. June 2008 Outline 1 Motivation Goal Realization
Læs mereEconomic MPC for large and distributed energy systems
Economic MPC for large and distributed energy systems WP4 March 24, 2014 1 / 27 Outline Problem definition Economic MPC Decomposition techniques Dantzig-Wolfe Reduced Dantzig-Wolfe algorithm Computational
Læs mereGlobal attractor for the Navier Stokes equations with fractional deconvolution
Nonlinear Differ. Equ. Appl. 5), 8 848 c 4 Springer Basel -97/5/48-38 published online December 5, 4 DOI.7/s3-4-35-y Nonlinear Differential Equations and Applications NoDEA Global attractor for the Navier
Læs mereUniversity of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs mereDoodleBUGS (Hands-on)
DoodleBUGS (Hands-on) Simple example: Program: bino_ave_sim_doodle.odc A simulation example Generate a sample from F=(r1+r2)/2 where r1~bin(0.5,200) and r2~bin(0.25,100) Note that E(F)=(100+25)/2=62.5
Læs mereInstructor: Jessica Wu Harvey Mudd College
Kernels Instructor: Jessica Wu Harvey Mudd College The instructor gratefully acknowledges Andrew Ng (Stanford), Eric Eaton (UPenn), Tommi Jaakola (MIT) and the many others who made their course materials
Læs mereKurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium
Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium Lisbeth Fajstrup Institut for Matematiske Fag Aalborg Universitet Kurver og Flader 2013 Lisbeth Fajstrup (AAU)
Læs mereOn the Fučik spectrum of non-local elliptic operators
Nonlinear Differ. Equ. Appl. 21 (2014), 567 588 c 2014 Springer Basel 1021-9722/14/040567-22 published online January 7, 2014 DOI 10.1007/s00030-013-0258-6 Nonlinear Differential Equations and Applications
Læs mereErratum to: Closed-Range Composition Operators on A 2 and the Bloch Space
Integr. Equ. Oper. Theory 76 (2013), 131 143 DOI 10.1007/s00020-013-2043-7 Published online March 9, 2013 c Springer Basel 2013 Integral Equations and Operator Theory Erratum Erratum to: Closed-Range Composition
Læs merePositive solutions of Kirchhoff type elliptic equations involving a critical Sobolev exponent
Nonlinear Differ. Equ. Appl. 1 (014, 885 914 c 014 Springer Basel 101-97/14/060885-30 published online April 18, 014 DOI 10.1007/s00030-014-071-4 Nonlinear Differential Equations and Applications NoDEA
Læs meren=1 er veldefineret for alle følger for hvilke højresiden er endelig. F.eks. tilhører følgen
2 Hilbert rum 2. Eksempler på Hilbert rum Vi skal nu først forsøge at begrunde, at de indre produkt rum af funktioner eller følger, som blev indført i Kapitel, ikke er omfattende nok til vores formål.
Læs mere19.3. Second Order ODEs. Introduction. Prerequisites. Learning Outcomes
Second Order ODEs 19.3 Introduction In this Section we start to learn how to solve second-order differential equations of a particular type: those that are linear and that have constant coefficients. Such
Læs mereBesvarelser til Lineær Algebra Reeksamen Februar 2017
Besvarelser til Lineær Algebra Reeksamen - 7. Februar 207 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en sådan. Dette dokument har udelukkende
Læs mereCritical exponent for semilinear wave equation with critical potential
Nonlinear Differ. Equ. Appl. (13), 1379 1391 c 1 Springer Basel 11-97/13/31379-13 published online December 16, 1 DOI 1.17/s3-1-14-x Nonlinear Differential Equations and Applications NoDEA Critical exponent
Læs mereIntroduction Ronny Bismark
Introduction 1 Outline Motivation / Problem Statement Tool holder Sensor calibration Motion primitive Concatenation of clouds Segmentation Next possible pose Problems and Challenges Future Work 2 Motivation
Læs mereCISM COURSE COMPUTATIONAL ACOUSTICS
CISM COURSE COMPUTATIONAL ACOUSTICS Solvers Part 5: Multigrid II Ulrich Langer and Martin Neumüller Institute of Computational Mathematics Johannes Kepler University Linz Udine, May 23-27, 2016 Outline
Læs mereINTERVAL VALUED FUZZY IDEALS OF GAMMA NEAR-RINGS
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 8(2018), 301-314 DOI: 10.7251/BIMVI1802301C Former BULLETIN
Læs mereIntelligent Glazed Facades
Frederik V. Winther M.Sc. Indoor Environmental Engineering PhD Fellow (2009-2012) fvw@ramboll.dk / fvw@civil.aau.dk Rambøll Danmark / Aalborg Universitet Institut for Byggeri og Anlæg 25-01-2013 www.zeb.aau.dk
Læs mereHvad er IT i matematikundervisningen egentlig? Professor, Ph.d. Morten Misfeldt, Aalborg Universitet, København
Hvad er IT i matematikundervisningen egentlig? Professor, Ph.d. Morten Misfeldt, Aalborg Universitet, København Spørgsmål der afsøges Hvilke udfordringer og muligheder stiller digitale teknologier matematikuddannelsen
Læs mereLøsningsforslag til opgavesæt 5
Matematik F Matematik F Løsningsforslag til opgavesæt 5 Opgave : Se kursushjemmesiden. Opgave : a) π dθ 5 + 4 sin θ = e iθ, = ie iθ dθ, dθ = i sin θ = eiθ e iθ i = i(5 + 4( / )) = i = + 5i Integranden
Læs mereExtreme Eigenvalues of Sample Covariance and Correlation Matrices
Extreme Eigenvalues of Sample Covariance and Correlation Matrices Johannes Heiny PhD Thesis This thesis has been submitted to the PhD School of the Faculty of Science, University of Copenhagen January
Læs mereDen moderne grundlagsdiskussion. Tirsdag den 22. November 2011
Den moderne grundlagsdiskussion Tirsdag den 22. November 2011 The empirical law of epistemology!"#$%"&'()*"+,"-(#./%&"0%1-2"+,"('3+*#"!"#$"%&'("'')*"'+(0.#"+,"%$*,'$-+(-,.,$/0( %'12/4"5"6/+6+*%"#+"/%,%/"#+"#$%"+0*%/7(8+-")$19$"#$%*%"%:(36'%*"1''.*#/(#%"(*"#$%"
Læs mereBreaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11
Breaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11 Story line 1 HiTag2: reverse-engineered proprietary cipher 2 Analytic tools are needed to investigate them 3 CryptoMiniSat: free software
Læs mereDecomposition theorem for the cd-index of Gorenstein* posets
J Algebr Comb (2007) 26:225 251 DOI 10.1007/s10801-006-0055-y Decomposition theorem for the cd-index of Gorenstein* posets Richard Ehrenborg Kalle Karu Received: 20 June 2006 / Accepted: 15 December 2006
Læs merePartial symmetry and existence of least energy solutions to some nonlinear elliptic equations on Riemannian models
Nonlinear Differ. Equ. Appl. 22 (2015), 1167 1193 c 2015 Springer Basel 1021-9722/15/051167-27 published online arch 12, 2015 DOI 10.1007/s00030-015-0318-1 Nonlinear Differential Equations and Applications
Læs mereNodal set of strongly competition systems with fractional Laplacian
Nonlinear Differ. Equ. Appl. 22 (2015), 1483 1513 c 2015 Springer Basel 1021-9722/15/051483-31 published online June 2, 2015 DOI 10.1007/s00030-015-0332-3 Nonlinear Differential Equations and Applications
Læs mereUniversity of Copenhagen Faculty of Science Written Exam April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 16. April 2010 Algebra This exam contains 5 exercises which are to be solved in hours. The exercises are posed in an English and in a Danish version.
Læs mereExtended quasi-homogeneous polynomial system in R 3
Nonlinear Differ. Equ. Appl. 2 213, 1771 1794 c 213 Springer Basel 121-9722/13/61771-24 published online May 1, 213 DOI 1.17/s3-13-23-5 Nonlinear Differential Equations and Applications NoDEA Extended
Læs mereDet er muligt at chekce følgende opg. i CodeJudge: og
Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs mereMultiple solutions for a class of Kirchhoff type problems with concave nonlinearity
Nonlinear Differ. Equ. Al. 9 (202), 52 537 c 20 Sringer Basel AG 02-9722/2/05052-7 ublished online November 8, 20 DOI 0.007/s00030-0-04-2 Nonlinear Differential Equations and Alications NoDEA Multile solutions
Læs mereLinear Programming ١ C H A P T E R 2
Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation
Læs mereSTRUCTURAL DYNAMICS, VOL. 9. Computational Dynamics
STRUCTURAL DYNAMICS, VOL. 9 Computational Dynamics Søren R. K. Nielsen P (λ) y(λ) =P (µ k )+ ( P (µ k ) P (µ k ) ) λ µ k µ k µ k µ k µ k µ k+ λ λ λ 3 λ Aalborg tekniske Universitetsforlag June 005 Contents
Læs mereMethods for Inverse Problems In Biology. John Bartels, Immunetrics, Inc.
Methods for Inverse Problems In Biology John Bartels, Immunetrics, Inc. Problem statement Modelers create rules or equations to capture essential biological interactions ODE example: P' = gp * P dp * P
Læs mereStrings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +
Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation
Læs mereLarge Scale Sequencing By Hybridization. Tel Aviv University
Large Scale Sequencing By Hybridization Ron Shamir Dekel Tsur Tel Aviv University Outline Background: SBH Shotgun SBH Analysis of the errorless case Analysis of error-prone Sequencing By Hybridization
Læs mereOne-dimensional chemotaxis kinetic model
Nonlinear Differ. Equ. Appl. 18 (211), 139 172 c 21 Springer Basel AG 121-9722/11/2139-34 published online November 11, 21 DOI 1.17/s3-1-88-8 Nonlinear Differential Equations and Applications NoDEA One-dimensional
Læs mereKnudelinjen for en anden Dirichlet-egenfunktion
Knudelinjen for en anden Dirichlet-egenfunktion over pæne områder i Ê 2 Af Louis Pedersen og Ann-Eva Christensen Juni 2007 Institut for Matematiske Fag Aalborg Universitet Institut for Matematiske Fag
Læs mereRe: Indstilling af specialet Burnside rings of fusion systems udarbejdet af Sune Precht Reeh til DMFs specialepris 2011
D E P A R T M E N T O F M A T H E M A T I C A L S C I E N C E S U N I V E R S I T Y O F C O P E N H A G E N Dansk Matematisk Forening att: Formand Professor V. L. Hansen Re: Indstilling af specialet Burnside
Læs mereSkriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)
Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler
Læs mereMÅLESTOKSFORHOLD HFB 2012 / 13. Målestoksforhold OP SL AG. Byggecentrum
MÅLESTOKSFORHOLD Målestoksforhold 340 MÅLEENHEDER Måleenheder Omsætning: Gl. dansk mål metermål gl. engelsk mål (= amerikansk mål). Se også: Målesystemer og enheder. Gl. dansk mål Metermål Gl. engelsk
Læs mereA multimodel data assimilation framework for hydrology
A multimodel data assimilation framework for hydrology Antoine Thiboult, François Anctil Université Laval June 27 th 2017 What is Data Assimilation? Use observations to improve simulation 2 of 8 What is
Læs mereSingular limits in higher order Liouville-type equations
Nonlinear Differ. Equ. Appl. 22 (2015), 1545 1571 c 2015 Springer Basel 1021-9722/15/061545-27 published online July 14, 2015 DOI 10.1007/s00030-015-0335-0 Nonlinear Differential Equations and Applications
Læs mereMat 1. 2-timersprøve den 17. maj 2016.
Opgave restart; Givet funktionen f:=x-sqrt(*x-); Spørgsmål Mat -timersprøve den 7 maj 6 JE 6 f := x/ x K Funktionen er defineret for x K R x R Dvs Dm f er intervallet [ ;N[ diff(f(x),x,x,x,x); K x K 7/
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 31 Oktober 2011, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs mereNonlinear Nonhomogeneous Dirichlet Equations Involving a Superlinear Nonlinearity
Results. Math. 70 2016, 31 79 c 2015 Springer Basel 1422-6383/16/010031-49 published online May 19, 2015 DOI 10.1007/s00025-015-0461-3 Results in Mathematics Nonlinear Nonhomogeneous Dirichlet Equations
Læs mereUniversity of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3
University of Copenhagen Faculty of Science Written Exam - 8. April 2008 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs mereHuseftersynsordningen plus, minus ti år -
Huseftersynsordningen plus, minus ti år - ! # # # % & # ( ( #! # ) # ( & # # # # +! #!# %, # # #! %.# / # # 0#( # # # # # # %, # # # 1 # # % 2 # & # # 0#( # # # # # 2 # #! 2 ( # # 3 ( & # # # (#! #, #
Læs mereNATURVIDENSKABELIG KANDIDATEKSAMEN VED KØBENHAVNS UNIVERSITET. MI 2007 Obligatorisk opgave 4
NATURVIDENSKABELIG KANDIDATEKSAMEN VED KØBENHAVNS UNIVERSITET. MI 2007 Obligatorisk opgave 4 Sættet består af 3 opgaver med ialt 15 delopgaver. Besvarelsen vil blive forkastet, medmindre der er gjort et
Læs mereDM559/DM545 Linear and integer programming
Department of Mathematics and Computer Science University of Southern Denmark, Odense June 10, 2017 Marco Chiarandini DM559/DM545 Linear and integer programming Sheet 12, Spring 2017 [pdf format] The following
Læs mereAdditive Property of Drazin Invertibility of Elements in a Ring
Filomat 30:5 (2016), 1185 1193 DOI 10.2298/FIL1605185W Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Additive Property of Drazin
Læs mereSpectrum of Non-planar Traveling Waves
Integr. Equ. Oper. Theory 2018) 90:30 https://doi.org/10.1007/s00020-018-2447-5 Published online April 30, 2018 c Springer International Publishing AG, part of Springer Nature 2018 Integral Equations and
Læs mereA Strategic Partnership between Aarhus University, Nykredit & PwC. - Focusing on Small and Medium-sized Enterprises
A Strategic Partnership between Aarhus University, Nykredit & PwC - Focusing on Small and Medium-sized Enterprises 04-12-2013 1 Why Danmark vinder bronze i innovation, men sakker bagud i forhold til vores
Læs mereNetværk og Algoritmer A215. 28. juni 2010
Netværk og Algoritmer Aalborg Universitet 28. juni 2010 Ernö Rubik Født i Ungarn i 1944 Ingeniør med speciale i arkitektur Patent i 1977 Varemærke Rubik s Terningen 26 cubies 6 faces 9 facelets pr. face
Læs mereA C 1,α partial regularity result for non-autonomous convex integrals with discontinuous coefficients
Nonlinear Differ. Equ. Appl. (015), 1319 1343 c 015 Springer Basel 101-97/15/051319-5 published online April 9, 015 DOI 10.1007/s00030-015-034-3 Nonlinear Differential Equations and Applications NoDEA
Læs mereTranscendental values of the incomplete gamma function and related questions
Arch. Math. c 2015 Springer Basel DOI 10.1007/s00013-015-0800-3 Archiv der Mathematik and related questions M. Ram Murty and Ekata Saha Abstract. For s, x > 0, the lower incomplete gamma function is defined
Læs mereInvestigation of «vortex self turbulence» and Reynolds number effects for wake decay and transport IGE
WakeNet-Europe 215 workshop Amsterdam, 21-22 April 215 Investigation of «vortex self turbulence» and Reynolds number effects for wake decay and transport IGE Olivier Thiry Matthieu Duponcheel Grégoire
Læs mereBlack Jack --- Review. Spring 2012
Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict
Læs mereOutline. Chapter 6: (cont d) Qijin Chen. November 21, 2013 NH = =6 CH = 15 4
Chapter 6: Qjn Chen Department of Physcs, Zhejang Unversty November 1, 013 Copyrght c 013 by Qjn Chen; all rghts reserved. ω 3 4 1. (cont d) 1 3 n3n3n 3n (x 1, y 1, z 1 )(x, y, z ) (x 1 x ) + (y 1 y )
Læs mereTRADEOFF LOWER LOUNDS FOR STACK MACHINES
comput. complex. c Springer Basel 2013 DOI 10.1007/s00037-013 0057-1 computational complexity TRADEOFF LOWER LOUNDS FOR STACK MACHINES Matei David and Periklis A. Papakonstantinou Abstract. A space-bounded
Læs mereSymplectic and contact properties of the Mañé critical value of the universal cover
Nonlinear Differ. Equ. Appl. 21 (214), 679 78 c 214 Springer Basel 121-9722/14/5679-3 published online January 7, 214 DOI 1.17/s3-13-262-x Nonlinear Differential Equations and Applications NoDEA Symplectic
Læs mereBelief Merging-based Case Combination
Author manuscript, published in "8th International Conference on Case-Based Reasoning - ICCBR 2009 5650 (2009) 105-119" DOI : 10.1007/978-3-642-02998-1_9 Belief Merging-based Case Combination Julien Cojan
Læs mereEffect of hyperviscosity on the geometry of the vorticity
Nonlinear Differ. Equ. Appl. 0 (03), 673 685 c 0 Springer Basel AG 0-97/3/030673-3 published online May 7, 0 DOI 0.007/s00030-0-073- Nonlinear Differential Equations and Applications NoDEA Effect of hyperviscosity
Læs mere= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).
Analyse 2 Øvelser Rasmus Sylvester Bryder 17. og 20. september 2013 Supplerende opgave 1 Lad λ være Lebesgue-målet på R og lad A B(R). Definér en funktion f : [0, ) R ved f(x) = λ(a [ x, x]). Vis, at f(x)
Læs mereAvancerede bjælkeelementer med tværsnitsdeformation
Avancerede bjælkeelementer med tværsnitsdeformation Advanced beam element with distorting cross sections Kandidatprojekt Michael Teilmann Nielsen, s062508 Foråret 2012 Under vejledning af Jeppe Jönsson,
Læs mereThe Online Median Problem
The Online Median Problem Ramgopal R. Mettu C. Greg Plaxton November 1999 Abstract We introduce a natural variant of the (metric uncapacitated) k-median problem that we call the online median problem.
Læs mere