[go: up one dir, main page]

Konjik et al., 2008 - Google Patents

Foundations of the calculus of variations in generalized function algebras

Konjik et al., 2008

View PDF
Document ID
6479189391049534391
Author
Konjik S
Kunzinger M
Oberguggenberger M
Publication year
Publication venue
Acta Applicandae Mathematicae

External Links

Snippet

We propose the use of algebras of generalized functions for the analysis of certain highly singular problems in the calculus of variations. After a general study of extremal problems on open subsets of Euclidean space in this setting we introduce the first and second variation of …
Continue reading at arxiv.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/504—Formal methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/18—Complex mathematical operations for evaluating statistical data, e.g. average values, frequency distributions, probability functions, regression analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/3061—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F17/30613—Indexing
    • G06F17/30619—Indexing indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30943—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type
    • G06F17/30946—Information retrieval; Database structures therefor; File system structures therefor details of database functions independent of the retrieved data type indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/46—Fuselage

Similar Documents

Publication Publication Date Title
Henning et al. Sobolev gradient flow for the Gross--Pitaevskii eigenvalue problem: Global convergence and computational efficiency
Luo et al. Global well-posedness for a class of semilinear hyperbolic equations with singular potentials on manifolds with conical singularities
Boldo et al. Formal proof of a wave equation resolution scheme: the method error
Konjik et al. Foundations of the calculus of variations in generalized function algebras
Han et al. Stochastic chebyshev gradient descent for spectral optimization
Tazaki et al. Discrete-state abstractions of nonlinear systems using multi-resolution quantizer
Liu et al. Numerical determination of limit loads for three-dimensional structures using boundary element method
Urbat et al. Nominal B\" uchi Automata with Name Allocation
Fornasier et al. Regularity and positivity of solutions of the Consensus-Based Optimization equation: unconditional global convergence
Choquet-Bruhat et al. Applications of theorems of Jean Leray to the Einstein-scalar field equations
Martínez et al. Non-integrability of Hamiltonian systems through high order variational equations: summary of results and examples
Krupa Finite time BV blowup for Liu-admissible solutions to $ p $-system via computer-assisted proof
Torre Symmetric criticality in classical field theory
Cui et al. The local Poincare inequality of stochastic dynamic and application to the Ising model
Cruzeiro et al. Nonergodicity of Euler fluid dynamics on tori versus positivity of the Arnold–Ricci tensor
Pavlovic et al. Smooth coalgebra: testing vector analysis
Sansom Geometric Invariants and Null Gluing Constructions in General Relativity
Marinov et al. Coefficient identification in euler-bernoulli equation from over–posed data
Sierra-Garcia On gravitational phase transitions, T-duality and symmetry breaking in AdS/CFT
Grübel et al. A successive linear relaxation method for MINLPs with multivariate lipschitz continuous nonlinearities with applications to bilevel optimization and gas transport
Deb et al. Computation of a new error bound for tensor complementarity problem with P tensor
ATHANASSOULIS et al. A NOVEL RELAXATION SCHEME FOR THE NUMERICAL APPROXIMATION OF SCHRÖDINGER-POISSON TYPE SYSTEMS
Bai et al. A smoothing Newton's method for the construction of a damped vibrating system from noisy test eigendata
Hirani et al. Conservative integrators for piecewise smooth systems with transversal dynamics
Antonietti et al. A DG-VEM method for the dissipative wave equation